$git clone https://github.com/metareflection/guardians
Installs into the current project.
Summary
an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026)