Prove Patch
Use when a local security patch commit needs independent scoped and three-arm proof.
Install
npx skills add trailofbits/skills --skill prove-patch -g -a claude-code -y- Repository
- trailofbits/skills7.9k
- Category
- Security
- Updated
- 7d ago
- License
- CC-BY-SA-4.0
- Context cost
- Lightabout 1,088 tokens
- Runs scripts
- No, instructions only
What it does
Use when a local security patch commit needs independent scoped and three-arm proof.
Prove Patch
Use the original baseline, final patch commit, declared repair_scope, and unchanged
reproduction package. Read the record contract. Do not
edit the patch or validate an uncommitted tree. Return failures for a new attempt.
Before target commands, follow its project guidance.
