agentic-actions-audito…
Audits GitHub Actions workflows for security vulnerabilities in AI agent integrations including Claude Code Action, Gemini CLI,…
Use when independently verifying a supplied PoC against fresh live before/after deployments.
$ npx -y skills add trailofbits/skills --skill replay-regression --agent claude-codeHow it fires
How this skill gets triggered: by you, by Claude, or both.
/replay-regressionContext preview
The summary Claude sees to decide when to auto-load this skill.
Use when independently verifying a supplied PoC against fresh live before/after deployments.
name: replay-regression description: Use when independently verifying a supplied PoC against fresh live before/after deployments.
Input: candidate, frozen source records, complete sealed reproduction package and registry assignment. Use a fresh context distinct from the reproducer. Follow [project guidance](../../references/evidence.md#project-guidance) before target work.
Authoring or repairing the PoC. Return changes to the caller for reproduction; changed PoCs require new reproduction and replay.
1. Read the [standard](../../docs/regression-definition.md) and [file contract](../../references/evidence.md). Verify the package; read setup and security guidance. Stop execution if prerequisites fail. 2. Independently build and run actual S0/S1 only inside your attempt directory; never reuse another attempt's build output. List every build directory in `build_dirs`. Execute the unchanged PoC with the same input against both. Record whether S0 behaves correctly and S1 exhibits the claimed failure. 3. Check real interface reachability using only the claimed user's/attacker's access. Save setup, versions, commands, observations and separate logs. 4. Write and seal `replay.json`, referencing the reproduction record and original PoC/input. Record divergence or blockers; uncertainty stays unresolved. Release temporary resources without deleting evidence.
Keep detailed evidence in the sealed package. Return only:
Completion means the replay attempt finished, not that the regression is confirmed.
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…