About happysasha18/product-prover
A Claude Code skill that reads a spec, architecture document, or codebase and finds the structural gaps a normal review misses — the state with no exit, the operation that isn't atomic, the promise the code can't keep.