Project overview
product-prover reviews PRDs, feature specs, architecture documents, and design proposals before coding. It extracts states, transitions, actors, boundaries, invariants, safety, liveness, and rollback conditions, then ties each finding to a source location, trigger, consequence, and concrete fix. Unsupported conclusions stay marked as missing specification rather than invented. Full-spec and focused cross-link passes are available, with findings persisted by status; this repository is a read-only mirror of a larger pack.
Repository facts
- Primary language
- Not detected
- License
- MIT
- Repository updated
- Jul 6, 2026
- Default branch
- main
Resource types
General skill
Use cases
Project and product management
Platforms
Claude Code, Codex, and more
Capabilities
Verification and evals