skills
Security skills from Trail of Bits for Claude Code that audit GitHub Actions AI integrations, review smart contracts on Algorand and Cairo, and prepare codebases for security audits.

Security skills from Trail of Bits for Claude Code that audit GitHub Actions AI integrations, review smart contracts on Algorand and Cairo, and prepare codebases for security audits.
Opinionated Claude Code defaults and workflows from Trail of Bits, covering sandboxing, permissions, hooks, MCP servers, and usage patterns for security audits, development, and research.
Security skills for Claude Code from Trail of Bits, covering web fuzzing with ffuf, headless Ghidra binary reverse engineering, and threat modeling and vulnerability scanning, plus writing and research helpers.
Builds and runs code under AddressSanitizer to catch buffer overflows, use-after-free, and other memory errors during fuzzing or…
Use when deciding whether source and live reproduction evidence establish a new regression or an exclusion.
Sets up and runs AFL++ for multi-core fuzzing of C/C++ projects built with afl-clang-fast or afl-gcc-fast. Covers instrumentation…
Audits GitHub Actions workflows for security vulnerabilities in AI agent integrations including Claude Code Action, Gemini CLI,…
Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing…
Sets up and runs Atheris, the coverage-guided Python fuzzer built on libFuzzer. Covers TestOneInput harnesses,…
Augments Trailmark code graphs with external audit findings from SARIF static analysis results, weAudit annotation files, and…
Understand a codebase before looking for bugs in it - what each function assumes, what it guarantees, and what it depends on…
Prepares codebases for security review using Trail of Bits' checklist. Helps set review goals, runs static analysis tools,…
Searches and explores Burp Suite project files (.burp) from the command line. Use when searching response headers or bodies with…
Performs comprehensive C/C++ security review for memory corruption, integer overflows, race conditions, and platform-specific…
Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging…
Performs preflight validation, config merging, TU enumeration, and work directory setup for zeroize-audit. Produces…
Resolves symbol definitions, types, and cross-file references using Serena MCP for zeroize-audit. Runs before source analysis so…
Identifies sensitive objects, detects wipe calls, validates correctness, and performs data-flow/heap analysis for zeroize-audit.…
Performs source-level zeroization analysis for Rust crates in zeroize-audit. Generates rustdoc JSON for trait-aware analysis and…
Performs per-TU compiler-level analysis (IR diff, assembly, semantic IR, CFG) for zeroize-audit. One instance runs per…
Performs crate-level MIR and LLVM IR analysis for Rust in zeroize-audit. A single instance runs per crate (unlike…
Collects all findings from source and compiler analysis, applies supersessions and confidence gates, normalizes IDs, and produces…
Crafts bespoke proof-of-concept programs demonstrating that zeroize-audit findings are exploitable. Reads source code and finding…
Compiles and runs all PoCs for zeroize-audit findings. Produces poc_validation_results.json consumed by the verification agent…
Verifies that each zeroize-audit PoC actually proves the vulnerability it claims to demonstrate. Reads PoC source code, finding…
Generates runtime validation test harnesses (C tests, MSAN, Valgrind targets) for confirmed zeroize-audit findings. Produces a…
Models attacker perspectives and builds exploit scenarios for HIGH RISK code changes. Use when differential review identifies…
Audit a file, directory, or whole repo for insecure default configuration: fallback secrets, default credentials, fail-open…
Searches Burp Suite project files for security analysis
Detects timing side-channels in cryptographic code
Performs security-focused differential review of code changes
Identifies state-changing entry points in smart contracts
Safely analyzes and cleans up local git branches and worktrees, categorizing them as merged, squash-merged, superseded, or active…
Scans Android APKs for Firebase security misconfigurations
Creates Semgrep rules with test-first methodology
You are installing or updating Trail of Bits' Claude Code configuration into the user's `~/.claude/` directory.
@description End-to-end: plan, implement, test, review, fix, push, and PR for a GitHub issue. @arguments $ISSUE_NUMBER: GitHub…
@description Evaluate and merge dependabot PRs with parallel builds, dependency-aware batching, and transitive dep analysis.…
@description Review an existing PR with parallel agents, fix findings, and push. @arguments $PR_NUMBER: GitHub PR number to…
Is this you? Claim your profilePut a plugin at the top of Plugins, from $9