AI agent output checker and workflow verification toolkit for turning agent text, pull requests, external inputs, and messages into auditable JSON reports with evidence routing, residual ledgers, provenance, and safe reuse checks.
Safe operations in Idris2 with dependent types, exposed via a Zig FFI. Aims at full formal verification; only partly proven today — see AFFIRMATION.adoc and PROOF-NEEDS.adoc for what is and isn't.
