← Latest products

Guardians

Verify tool-using agent workflows before execution. an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026).

Open source

158 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Derive

    github.com

    An open home for AI artifacts and workflows

    Hacker News11 pts

  2. AxonFlow

    news.ycombinator.com

    governing LLM and agent workflows

    Hacker News11 pts

  3. The independent guide to agent orchestrators

    agentmgmt.dev

    A comparison of agentic IDEs and AI coding tools.

    Hacker News9 pts

  4. Wmux

    github.com

    A workspace multiplexer for AI agents

    Hacker News13 pts

  5. OpenFlow

    github.com

    AI Agent Workflow Builder

    Hacker News6 pts