Prove Patch

Trail of BitsOfficial

Use when a local security patch commit needs independent scoped and three-arm proof.

Install

npx skills add trailofbits/skills --skill prove-patch

npx skills add trailofbits/skills --skill prove-patch -a claude-code -g

npx skills add trailofbits/skills --skill prove-patch -a codex -g

gemini skills install https://github.com/trailofbits/skills.git --path plugins/patching-bugs/skills/prove-patch

gh skill install trailofbits/skills prove-patch

git 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

Install

Related