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)
Why this job: works in the areas we cover, but does not say which job it does
What it does
An implementation of the ideas in Erik Meijer's "Guardians of the Agents" (CACM, January 2026). The paper's thesis: the root cause of prompt injection in agentic systems is the same as SQL injection — code and data aren't separated. The fix is the same too.
Get started
pip install -e .
# core only (pydantic + z3-solver)
pip install -e ".[llm]"
# adds litellm for LLM planning- Maintenance
- Active
- Last commit 3 months ago
- Stars
- 158
- On GitHub
- Licence
- MIT
- Allows business use
- Downloads for
- None listed
- No release files
- Latest version
- None yet
- No releases
- Built with
- Python
- 100% of the code
Is it looked after?
- Contributors
- Not stated
- Last 90 days
- Issues
- 0% closed
- 1 still open
- Pull requests
- 0 merged
- 0 waiting
- Releases
- None
- Never published
- No contributing guide
- No security policy
- No code of conduct
Similar repos
| Repo | Stars | Last commit | Licence | Downloads for |
|---|---|---|---|---|
| midspiral / LemmaScript | 164 | yesterday | MIT | No downloads |
| aallan / vera | 421 | today | MIT | No downloads |
| namin / llm-verified-with-monte-carlo-tree-search | 297 | 3 months ago | MIT | No downloads |
More: languages, topics and project record
Languages
- Python 100%
Topics
- llm
- verification
Project record
- JobOther AI tools
- StatusListed
- Commits15
- Forks13
- Watching2
- Stars in 28 days+3
- CreatedApr 9, 2026
- First seen by usNov 7, 2026
- CheckedNov 8, 2026