agentic-actions-audito…
Audits GitHub Actions workflows for security vulnerabilities in AI agent integrations including Claude Code Action, Gemini CLI,…
Use when a named runtime or compiler bug in a local repository needs independent reproduction.
$ npx -y skills add trailofbits/skills --skill reproduce-bug --agent claude-codeHow it fires
How this skill gets triggered: by you, by Claude, or both.
/reproduce-bugContext preview
The summary Claude sees to decide when to auto-load this skill.
Use when a named runtime or compiler bug in a local repository needs independent reproduction.
name: reproduce-bug description: Use when a named runtime or compiler bug in a local repository needs independent reproduction.
Use for the reproduction step of `patching-bugs` with one `finding.json` and a local baseline checkout. Read the [record contract](../../references/records.md). Before target commands, follow its [project guidance](../../references/records.md#project-guidance).
Do not use for bug discovery, patching, or a claim that cannot be exercised locally. Report a blocker when the build or environment cannot exercise the claim.
1. Select `failure_type` from the record contract. Build the current baseline with the project's own command. Exercise the planned scoped inputs before any edit and retain their observations, including valid controls. Save raw stdout, stderr, exit status, and timing. If the behavior is absent with trustworthy evidence, report `not_reproduced`; if setup or observations are unreliable, report `blocked`. 2. Runtime: exercise the built `target_artifact` with a PoC that records `PATCH_LOADED` as defined in the contract, then prints `PATCH_REACHED` immediately before the assertion. Exit nonzero for the bug, zero otherwise; a setup crash is inconclusive. Compile: record the target `expected_diagnostic` from the failed compiler invocation; use empty `poc_argv` and null `target_artifact`. 3. Save any unchanged PoC source under `reproduce/poc/` and raw receipts under `reproduce/receipts/`. Write `reproduce.json` with the baseline commit, command argument arrays, artifact path, observed result, outcome, and your agent identity. Set `finding.status` to `reproduced` or `not_reproduced` from the result. If reproduction is `blocked`, leave `finding.status` as `hypothesis`.
[Reproduce record schema](../../schemas/reproduce.schema.json):
{
"schema_version": 1,
"failure_type": "runtime",
"outcome": "reproduced",
"baseline_commit": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
"build_argv": ["python", "build.py"],
"poc_argv": ["python", "poc.py"],
"target_artifact": "dist/app.py",
"observed": "The PoC wrote outside uploads after PATCH_REACHED.",
"blocker": null,
"agent": "reproducer-1"
}4. Manifest the complete `reproduce/` directory, including the PoC and record, using the [record helper](../../scripts/records.py): run `uv run --no-project <script> manifest <reproduce-step-dir>`. Then check the record before handoff. State `blocked` with the actual failure when build or setup prevents a valid run.
| Shortcut | Required action | | --- | --- | | A unit test imitates the bug. | Exercise the target compiler or built runtime artifact. | | A nonzero exit proves reproduction. | Require the target diagnostic, or runtime marker and assertion. |
A Claude Code plugin marketplace from Trail of Bits providing skills to enhance AI-assisted security analysis, testing, and development workflows. Codex can load this marketplace through its Claude marketplace compatibility.
Audits GitHub Actions workflows for security vulnerabilities in AI agent integrations including Claude Code Action, Gemini CLI,…
Understand a codebase before looking for bugs in it - what each function assumes, what it guarantees, and what it depends on…
Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing…
Prepares codebases for security review using Trail of Bits' checklist. Helps set review goals, runs static analysis tools,…
Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging…
Systematic code maturity assessment using Trail of Bits' 9-category framework. Analyzes codebase for arithmetic safety, auditing…