metareflection/guardians

an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026)

8 best points · 0 comments · 2 Hacker News posts · 158 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Guardians – Verify tool-using agent workflows before execution (8 points, 0 comments, by namin, 2026-04-09)
• Guardians: Static verification for AI agent workflows (2 points, 0 comments, by matt_d, 2026-04-30)