Plugin patching-bugs
Agent-orchestrated workflow to reproduce, patch, prove and regression-check one known bug.
Comment installer le plugin patching-bugs
Exécutez les deux commandes dans Claude Code. La première ajoute la marketplace une seule fois ; la seconde installe le plugin.
/plugin marketplace add trailofbits/skills
/plugin install patching-bugs@trailofbitsContenu de patching-bugs
5 parties lues depuis les fichiers du plugin.
Skills 5
Claude le charge quand la tâche correspond- 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.
Utiliser patching-bugs dans Claude Code
Les Skills ne nécessitent pas de commande. Claude les lit quand votre requête correspond à leur description.
Mettre à jour, désactiver ou supprimer
- Mettre à jour le plugin (shell)
- claude plugin update patching-bugs@trailofbits
- Actualiser le marketplace
- /plugin marketplace update trailofbits
- Le désactiver pour le moment
- /plugin disable patching-bugs@trailofbits
- Le supprimer
- /plugin uninstall patching-bugs@trailofbits
Skills dans patching-bugs
- implement-patchtrailofbits/skills
Fixes confirmed local bugs by implementing invariant-level repairs, writing regression tests, and generating structured patch records.
8,1 kétoiles - patching-bugstrailofbits/skills
Creates local patch commits, independent proofs, and regression checks for known bugs in a local codebase.
8,1 kétoiles - prove-patchtrailofbits/skills
Verifies local security patch commits using scoped case execution and three-arm proof methodologies.
8,1 kétoiles - reproduce-bugtrailofbits/skills
Independently reproduces named runtime or compiler bugs within a local repository using specific proof-of-concept inputs and recorded observations.
8,1 kétoiles - validate-bugtrailofbits/skills
Independently rerun and verify bug proof-of-concept packages to confirm or reject reported findings.
8,1 kétoiles
Questions sur le plugin patching-bugs
Comment installer le plugin patching-bugs ?
Dans Claude Code, exécutez /plugin marketplace add trailofbits/skills, puis /plugin install patching-bugs@trailofbits.
Que contient le plugin patching-bugs ?
patching-bugs regroupe 5 skills.
Comment mettre à jour ou supprimer le plugin patching-bugs ?
Mettez-le à jour avec claude plugin update patching-bugs@trailofbits dans votre shell, ou depuis l'onglet Installed de /plugin. Supprimez-le avec /plugin uninstall patching-bugs@trailofbits.