Proofpack

Proof-carrying CI gate for AI agent changes.

Status: MVP (pre-code)

Proofpack is a format + CLI + CI gate that accompanies changes made by AI agents with verifiable proof: contracts, receipts, and deterministic verification.

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