Awesome Verified Agents

Awesome Verified Agents [](https://awesome.re)

Tools that produce **evidence** about what an AI agent actually did — not tools that hope it behaves.

An agent that reports its own success is a witness testifying about itself. This list collects the projects that make that testimony checkable: gates that decide before an action runs, records that cannot be quietly edited afterwards, checks that test an output against a source, and benchmarks that put a number on reliability before you ship.

**The inclusion bar is one question: what artifact does it leave behind that a human can inspect later?** A signed record, a pass/fail, a score, a diff, a trace, a blocked call. Tools that only steer generation — better prompts, better instructions, "be careful" — are out of scope, however useful they are.

---

Contents

• Runtime enforcement — decides before the action happens
• Evidence and attestation — records that survive the agent
• Output verification — is the claim actually supported?
• Evaluation and benchmarks — a number before you ship
• Observability and tracing — what happened, in order
• Self-assessment — scoring your own setup
• How the numbers here work
• Contributing

---

Runtime enforcement

Authorization lives outside the model loop: the model proposes, something else decides.

Project	Evidence it produces	License	★	Last commit
Adrian	Analyzes tool calls and reasoning traces in-flight; runs in audit or block mode, so each decision is a logged allow/deny	Apache-2.0	538	2026-08-11
invariant	Guardrails plus a trace-analysis tool for agent runs	Apache-2.0	445