Reusable CLI and JSON proof infrastructure for spec-to-proof workflows in software repositories.
agentic-proofkit helps repositories validate structured requirements, bind
requirements to proof routes, plan selective checks, admit receipt-shaped
evidence, render human views, and give coding agents bounded next-action
packets without copying verifier logic between projects.
| Surface | State |
|---|---|
| Source visibility | Public |
| Current layer | Public source with admitted scoped npm release evidence |
| Runtime implementation | Go CLI with npm and Python wrapper packaging |
| Package release | @research-engineering/agentic-proofkit@0.1.138 is admitted; agentic-proofkit@0.1.135 remains the previous unscoped release |
| Public-source provenance | Admitted for v0.1.138 |
| License | MIT |
agentic-proofkit is intended to provide reusable proof-workflow mechanics for
repositories that want explicit requirements, proof bindings, deterministic
reports, and bounded guidance for coding agents.
Proofkit does not own a consuming repository's product requirements, native witness execution, receipt authenticity, proof freshness, merge admission, rollout, deployment, or production readiness.
| Need | Owner |
|---|---|
| Human orientation | This README |
| Coding-agent startup | AGENTS.md |
| Adoption and release-channel model | ADOPTION.md |
| Completion criteria and remaining work | BACKLOG.md |
| Contribution rules | CONTRIBUTING.md |
| Vulnerability reporting boundary | SECURITY.md |
| Explicit boundary denials | NON_CLAIMS.md |
LICENSE |
MIT license |
This README is a human landing page. It is not a CLI contract, release proof, package publication claim, security audit, or consumer readiness claim. CLI and package behavior are owned by their source, tests, machine-readable contracts, and release evidence, not by this overview.