https://github.com/heurema/proofpack
Proof-carrying CI gate for AI agent changes
https://github.com/heurema/proofpack
ai-agent anthropic ci claude claude-code proof-carrying verification
Last synced: about 7 hours ago
JSON representation
Proof-carrying CI gate for AI agent changes
- Host: GitHub
- URL: https://github.com/heurema/proofpack
- Owner: heurema
- License: mit
- Created: 2026-02-24T07:43:40.000Z (4 months ago)
- Default Branch: main
- Last Pushed: 2026-02-26T06:23:47.000Z (4 months ago)
- Last Synced: 2026-02-26T11:28:39.415Z (4 months ago)
- Topics: ai-agent, anthropic, ci, claude, claude-code, proof-carrying, verification
- Language: Python
- Size: 46.9 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
```
____ __
____ _________ ____ / __/___ ____ ______/ /__
/ __ \/ ___/ __ \/ __ \/ /_/ __ \/ __ `/ ___/ //_/
/ /_/ / / / /_/ / /_/ / __/ /_/ / /_/ / /__/ ,<
/ .___/_/ \____/\____/_/ / .___/\__,_/\___/_/|_|
/_/ /_/
```
**Proof-carrying CI gate for AI agent changes.**
[](LICENSE)
> 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
```bash
pip install proofpack
```
## Usage
```bash
proofpack init # Initialize proofpack in a repo
proofpack build # Build proofpack artifact from agent session
proofpack verify # Verify proofpack artifact
```
## See Also
Other [heurema](https://github.com/heurema) projects:
- **[signum](https://github.com/heurema/signum)** — risk-adaptive development pipeline with adversarial code review
- **[herald](https://github.com/heurema/herald)** — daily curated news digest plugin for Claude Code
- **[teams-field-guide](https://github.com/heurema/teams-field-guide)** — comprehensive guide to Claude Code multi-agent teams
- **[arbiter](https://github.com/heurema/arbiter)** — multi-AI orchestrator (Codex + Gemini)
## License
MIT