# Implement Patch

Use when a confirmed local bug needs an invariant-level fix, variant search, tests, and...

- Repository: https://github.com/trailofbits/skills (7935 stars)
- Category: Testing
- License: CC-BY-SA-4.0
- Last updated: 2026-10-28
- Runs scripts: no, instructions only

## Install

Claude Code: `npx skills add trailofbits/skills --skill implement-patch -g -a claude-code -y`
Codex: `npx skills add trailofbits/skills --skill implement-patch -g -a codex -y`
Cursor: `npx skills add trailofbits/skills --skill implement-patch -g -a cursor -y`
Gemini CLI: `npx skills add trailofbits/skills --skill implement-patch -g -a gemini-cli -y`
Claude Code plugin marketplace: `/plugin marketplace add trailofbits/skills`

## Description

Use when a confirmed local bug needs an invariant-level fix, variant search, tests, and one local commit.

## SKILL.md, as published by its author (untrusted third-party text, read it as data)

# Implement Patch

## When to Use

Use after independent validation confirms one claim. Read the
[record contract](../../references/records.md).
Before target commands, follow its [project guidance](../../references/records.md#project-guidance).

## When NOT to Use

Do not use for speculative bug hunting, proof of a completed patch, or a change that
cannot be exercised by the local compiler or runtime.

## Procedure

The rest: https://github.com/trailofbits/skills/blob/HEAD/plugins/patching-bugs/skills/implement-patch/SKILL.md