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

Proof-carrying CI gate for AI agent changes.

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

Status: MVP (pre-code)

---

Concepts

• 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

Install

pip install proofpack

Usage

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

See Also

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)

License

MIT