repair-proof
Installation
SKILL.md
/repair-proof is the repair step after /prove. It consumes the source
contract, the proof result, the matching candidate, and specific unresolved
requirement IDs. It repairs only those gaps and never replaces fresh proof.
Before repair, read the acceptance contract protocol. Make the smallest complete repair for the named requirements: narrow in scope, complete in depth.