patching-bugs plugin
Agent-orchestrated workflow to reproduce, patch, prove and regression-check one known bug.
How to install the patching-bugs plugin
Run both commands inside Claude Code. The first adds the marketplace once; the second installs the plugin.
/plugin marketplace add trailofbits/skills
/plugin install patching-bugs@trailofbitsWhat's inside patching-bugs
5 parts read from the plugin's own files.
Skills 5
Claude loads it when the task matches- implement-patch
Fixes confirmed local bugs by implementing invariant-level repairs, writing regression tests, and generating structured patch records.
- patching-bugs
Creates local patch commits, independent proofs, and regression checks for known bugs in a local codebase.
- prove-patch
Verifies local security patch commits using scoped case execution and three-arm proof methodologies.
- reproduce-bug
Independently reproduces named runtime or compiler bugs within a local repository using specific proof-of-concept inputs and recorded observations.
- validate-bug
Independently rerun and verify bug proof-of-concept packages to confirm or reject reported findings.
Using patching-bugs in Claude Code
Skills need no command. Claude reads them when your request matches what they describe.
Update, turn off or remove
- Update the plugin (shell)
- claude plugin update patching-bugs@trailofbits
- Refresh the marketplace
- /plugin marketplace update trailofbits
- Turn it off for now
- /plugin disable patching-bugs@trailofbits
- Remove it
- /plugin uninstall patching-bugs@trailofbits
Skills in patching-bugs
- implement-patchtrailofbits/skills
Fixes confirmed local bugs by implementing invariant-level repairs, writing regression tests, and generating structured patch records.
8.1Kstars - patching-bugstrailofbits/skills
Creates local patch commits, independent proofs, and regression checks for known bugs in a local codebase.
8.1Kstars - prove-patchtrailofbits/skills
Verifies local security patch commits using scoped case execution and three-arm proof methodologies.
8.1Kstars - reproduce-bugtrailofbits/skills
Independently reproduces named runtime or compiler bugs within a local repository using specific proof-of-concept inputs and recorded observations.
8.1Kstars - validate-bugtrailofbits/skills
Independently rerun and verify bug proof-of-concept packages to confirm or reject reported findings.
8.1Kstars
patching-bugs plugin questions
How do I install the patching-bugs plugin?
In Claude Code run /plugin marketplace add trailofbits/skills, then /plugin install patching-bugs@trailofbits.
What does the patching-bugs plugin include?
patching-bugs bundles 5 skills.
How do I update or remove the patching-bugs plugin?
Update it with claude plugin update patching-bugs@trailofbits in your shell, or from the Installed tab of /plugin. Remove it with /plugin uninstall patching-bugs@trailofbits.