General skillProject and product management

product-prover

Find structural defects in PRDs and specs before implementation

Stars
0
Forks
0
License
MIT
Updated
Updated Jul 6, 2026

Checking live repository facts…

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

Related projects

Browse more similar projects