self-verifying

generates self-verifying digital ob3ects

Verifiable AI-build governance you run on yourself — four modules (autonomy gate, build discipline, model fitness, code review) that prove themselves with one offline command. Stdlib-only, no install. Part of the Proof family.

Safety-first, offline-first autonomous coding agent with a zero-dependency core - guarded writes (critique, verify, rollback), learns from its own history, works with any LLM or fully local.

A self-verifying agentic loop harness: THINK→ACT→OBSERVE→UPDATE with Frobenius-closed tool calls