Use when a local security patch commit needs independent scoped and three-arm proof.
安装
npx skills add trailofbits/skills --skill prove-patchnpx skills add trailofbits/skills --skill prove-patch -a claude-code -gnpx skills add trailofbits/skills --skill prove-patch -a codex -ggemini skills install https://github.com/trailofbits/skills.git --path plugins/patching-bugs/skills/prove-patchgh skill install trailofbits/skills prove-patchgit clone --depth 1 https://github.com/trailofbits/skills /tmp/trailofbits__skills
mkdir -p ~/.claude/skills ~/.agents/skills
cp -R /tmp/trailofbits__skills/plugins/patching-bugs/skills/prove-patch ~/.claude/skills/prove-patch # Claude Code
cp -R /tmp/trailofbits__skills/plugins/patching-bugs/skills/prove-patch ~/.agents/skills/prove-patch # Codex, Cursor, Gemini CLI, Copilot, OpenCode