____ __ ____ _________ ____ / __/___ ____ ______/ /__ / __ \/ ___/ __ \/ __ \/ /_/ __ \/ __ `/ ___/ //_/ / /_/ / / / /_/ / /_/ / __/ /_/ / /_/ / /__/ ,< / .___/_/ \____/\____/_/ / .___/\__,_/\___/_/|_| /_/ /_/ 

Proof-carrying CI gate for AI agent changes.

Format + CLI + CI gate. Contracts, receipts, and deterministic verification.

Status: MVP (pre-code)

• Contract — what the agent promised to do
• Receipts — evidence of what was actually done (tool calls, tests, edits)
• Verification — deterministic CI replay that checks receipts against contract

pip install proofpack

proofpack init # Initialize proofpack in a repo proofpack build # Build proofpack artifact from agent session proofpack verify # Verify proofpack artifact

Other heurema projects:

• signum — risk-adaptive development pipeline with adversarial code review
• herald — daily curated news digest plugin for Claude Code
• teams-field-guide — comprehensive guide to Claude Code multi-agent teams
• arbiter — multi-AI orchestrator (Codex + Gemini)

MIT