Back to Discover

skills

skill

trailofbits

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

View on GitHub
6,393 starsCC-BY-SA-4.0Synced Aug 2, 2026

Install to Claude Code

/plugin marketplace add trailofbits/skills

README

Trail of Bits Skills Marketplace

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.

Also see: claude-code-config · skills-curated · claude-code-devcontainer · dropkit

Installation

Claude Code Marketplace

/plugin marketplace add trailofbits/skills

Browse and Install Plugins

/plugin menu

Codex

Codex supports Claude plugin marketplaces directly, so this repository does not need Codex-specific sidecar metadata.

Install the marketplace with:

codex plugin marketplace add trailofbits/skills
codex plugin list
codex plugin add <plugin-name>@trailofbits

Local Development

To add the marketplace locally (e.g., for testing or development), navigate to the parent directory of this repository:

cd /path/to/parent  # e.g., if repo is at ~/projects/skills, be in ~/projects
/plugins marketplace add ./skills

Available Plugins

Smart Contract Security

PluginDescription
building-secure-contractsSmart contract security toolkit with vulnerability scanners for 6 blockchains
entry-point-analyzerIdentify state-changing entry points in smart contracts for security auditing

Code Auditing

PluginDescription
agentic-actions-auditorAudit GitHub Actions workflows for AI agent security vulnerabilities
audit-context-buildingBuild deep architectural context through ultra-granular code analysis
burpsuite-project-parserSearch and extract data from Burp Suite project files
c-reviewComprehensive C/C++ security review with clustered parallel workers and SARIF output
differential-reviewSecurity-focused differential review of code changes with git history analysis
dimensional-analysisAnnotate codebases with dimensional analysis comments to detect unit mismatches and formula bugs
fp-checkSystematic false positive verification for security bug analysis with mandatory gate reviews
insecure-defaultsDetect insecure default configurations, hardcoded credentials, and fail-open security patterns
rust-reviewComprehensive Rust security review covering safe/unsafe boundary, memory safety, concurrency, panic-DoS, FFI, and async runtime with SARIF output
semgrep-rule-creatorCreate and refine Semgrep rules for custom vulnerability detection
semgrep-rule-variant-creatorPort existing Semgrep rules to new target languages with test-driven validation
sharp-edgesIdentify error-prone APIs, dangerous configurations, and footgun designs
static-analysisStatic analysis toolkit with CodeQL, Semgrep, and SARIF parsing
supply-chain-risk-auditorAudit supply-chain threat landscape of project dependencies
testing-handbook-skillsSkills from the Testing Handbook: fuzzers, static analysis, sanitizers, coverage
trailmarkCode graph analysis, bounded subagent context slicing, Mermaid diagrams, mutation testing triage, and protocol verification
variant-analysisFind similar vulnerabilities across codebases using pattern-based analysis
vulnerability-triage-brocardsTriage vulnerability reports using 7 brocards to accept, dismiss, or request more info before deeper analysis

Malware Analysis

PluginDescription
yara-authoringYARA detection rule authoring with linting, atom analysis, and best practices

Verification

PluginDescription
constant-time-analysisDetect compiler-induced timing side-channels in cryptographic code
mutation-testingConfigure mewt/muton mutation testing campaigns — scope targets, tune timeouts, optimize long runs
property-based-testingProperty-based testing guidance for multiple languages and smart contracts
spec-to-code-complianceSpecification-to-code compliance checker for blockchain audits
zeroize-auditDetect missing or compiler-eliminated zeroization of secrets in C/C++ and Rust

Reverse Engineering

PluginDescription
dwarf-expertInteract with and understand the DWARF debugging format

Mobile Security

PluginDescription
firebase-apk-scannerScan Android APKs for Firebase security misconfigurations

Development

PluginDescription
ask-questions-if-underspecifiedClarify requirements before implementing
devcontainer-setupCreate pre-configured devcontainers with Claude Code and language-specific tooling
gh-cliIntercept GitHub URL fetches and redirect to the authenticated gh CLI
git-cleanupSafely clean up git worktrees and local branches with gated confirmation workflow
github-triageTriage open GitHub issues and PRs: merge ready bot/approved PRs, review unreviewed ones via subagents, close resolved issues with cited comments, cross-link pending fixes, and score the rest with local-only priority and change-size estimates
let-fate-decideDraw Tarot cards using cryptographic randomness to add entropy to vague planning
modern-pythonModern Python tooling and best practices with uv, ruff, and pytest
open-sourcingPrepare a repository for public release: secrets hygiene, licensing, CI readiness, and release automation
seatbelt-sandboxerGenerate minimal macOS Seatbelt sandbox configurations
second-opinionRun code reviews using external LLM CLIs (OpenAI Codex, Google Gemini) on changes, diffs, or commits. Bundles Codex's built-in MCP server.
skill-improverIterative skill refinement loop using automated fix-review cycles

Team Management

PluginDescription
culture-indexInterpret Culture Index survey results for individuals and teams

Tooling

PluginDescription
claude-in-chrome-troubleshootingDiagnose and fix Claude in Chrome MCP extension connectivity issues

Infrastructure

PluginDescription
debug-buttercupDebug Buttercup Kubernetes deployments

Trophy Case

Bugs discovered using Trail of Bits Skills. Found something? Let us know!

When reporting bugs you've found, feel free to mention:

Found using Trail of Bits Skills

SkillBug
constant-time-analysisTiming side-channel in ML-DSA signing

Contributing

We welcome contributions! See AGENTS.md for skill authoring guidelines, and run make check before you push — it runs most of CI locally (see AGENTS.md for what it does not cover).

License

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. Made by Trail of Bits.

Rendered live from trailofbits/skills's GitHub README — not stored, always reflects the source repo.

42 Plugins

NameDescriptionCategorySource
ask-questions-if-underspecifiedClarify ambiguous requirements by asking questions before implementing. Only when invoked explicitly../plugins/ask-questions-if-underspecified
audit-context-buildingBuild deep architectural context through ultra-granular code analysis before vulnerability hunting./plugins/audit-context-building
building-secure-contractsComprehensive smart contract security toolkit based on Trail of Bits' Building Secure Contracts framework. Includes vulnerability scanners for 6 blockchains and 5 development guideline assistants../plugins/building-secure-contracts
burpsuite-project-parserSearch and extract data from Burp Suite project files (.burp) for security analysis./plugins/burpsuite-project-parser
claude-in-chrome-troubleshootingDiagnose and fix Claude in Chrome MCP extension connectivity issues./plugins/claude-in-chrome-troubleshooting
constant-time-analysisDetect compiler-induced timing side-channels in cryptographic code./plugins/constant-time-analysis
culture-indexInterprets Culture Index survey results for individuals and teams./plugins/culture-index
debug-buttercupDebug Buttercup Kubernetes deployments./plugins/debug-buttercup
devcontainer-setupCreate pre-configured devcontainers with Claude Code and language-specific tooling./plugins/devcontainer-setup
differential-reviewSecurity-focused differential review of code changes with git history analysis and blast radius estimation./plugins/differential-review
firebase-apk-scannerScan Android APKs for Firebase security misconfigurations including open databases, storage buckets, authentication issues, and exposed cloud functions. For authorized security research only../plugins/firebase-apk-scanner
gh-cliIntercepts GitHub URL fetches and curl/wget commands, redirecting to the authenticated gh CLI../plugins/gh-cli
dwarf-expertInteract with and understand the DWARF debugging format./plugins/dwarf-expert
entry-point-analyzerAnalyzes smart contract codebases to identify state-changing entry points for security auditing. Detects externally callable functions that modify state, categorizes them by access level, and generates structured audit reports../plugins/entry-point-analyzer
mutation-testingConfigures mewt or muton mutation testing campaigns — scopes targets, tunes timeouts, and optimizes long-running runs. Use when the user mentions mewt, muton, mutation testing, or wants to configure or optimize a mutation testing campaign../plugins/mutation-testing
property-based-testingProperty-based testing guidance for multiple languages and smart contracts./plugins/property-based-testing
semgrep-rule-creatorCreate custom Semgrep rules for detecting bug patterns and security vulnerabilities./plugins/semgrep-rule-creator
semgrep-rule-variant-creatorCreates language variants of existing Semgrep rules with proper applicability analysis and test-driven validation./plugins/semgrep-rule-variant-creator
sharp-edgesIdentify error-prone APIs, dangerous configurations, and footgun designs that enable security mistakes./plugins/sharp-edges
static-analysisStatic analysis toolkit with CodeQL, Semgrep, and SARIF parsing for security vulnerability detection./plugins/static-analysis
spec-to-code-complianceSpecification-to-code compliance checker for blockchain audits with evidence-based alignment analysis./plugins/spec-to-code-compliance
testing-handbook-skillsSkills from the Trail of Bits Application Security Testing Handbook (appsec.guide)./plugins/testing-handbook-skills
trailmarkBuilds multi-language source and binary code graphs for security analysis: call graphs, attack surface mapping, blast radius, taint propagation, complexity hotspots, entry point enumeration, proxy/unresolved-call tracking, type/reference analysis, and structural diffs. Creates bounded, graph-informed source packets for delegating focused work to constrained subagents. Generates Mermaid diagrams, runs graph-informed mutation testing triage (genotoxic), generates mutation-driven test vectors (vector-forge), extracts crypto protocol message flows, converts Mermaid diagrams to ProVerif models, projects SARIF/weAudit/binary findings onto code graphs, triages single findings with graph evidence, gates branch diffs for structural review regressions, and expands seed findings into variant-neighborhood candidates. Use when analyzing call paths, slicing source context for smaller models, mapping attack surface, visualizing code architecture, triaging survived mutants, generating cryptographic test vectors, diagramming crypto protocols, formally verifying protocols, augmenting audits with static analysis findings, deciding whether one candidate issue is reachable, reviewing graph-level PR risk, or seeding variant analysis../plugins/trailmark
variant-analysisFind similar vulnerabilities and bugs across codebases using pattern-based analysis./plugins/variant-analysis
c-reviewComprehensive C/C++ security code review with specialized bug-finding agents covering memory safety, type safety, concurrency, and Linux/Windows userspace-specific issues./plugins/c-review
rust-reviewComprehensive Rust security code review with specialized bug-finding agents covering the safe/unsafe boundary, memory safety in unsafe blocks, concurrency, panic-induced DoS, recursion-induced stack overflow, FFI, and async runtime hazards./plugins/rust-review
modern-pythonModern Python best practices. Use when creating new Python projects, and writing Python scripts, or migrating existing projects from legacy tools../plugins/modern-python
insecure-defaultsDetects insecure default configurations including hardcoded credentials, fallback secrets, weak authentication defaults, and dangerous values in production./plugins/insecure-defaults
second-opinionRuns code reviews using external LLM CLIs (OpenAI Codex, Google Gemini) on uncommitted changes, branch diffs, or specific commits. Bundles Codex's built-in MCP server for direct tool access../plugins/second-opinion
yara-authoringYARA-X detection rule authoring with linting and quality analysis./plugins/yara-authoring
git-cleanupSafely analyzes and cleans up local git branches and worktrees by categorizing them as merged, squash-merged, superseded, or active work../plugins/git-cleanup
seatbelt-sandboxerGenerate minimal macOS Seatbelt sandbox configurations for applications./plugins/seatbelt-sandboxer
supply-chain-risk-auditorAudit supply-chain threat landscape of project dependencies for exploitation or takeover risk./plugins/supply-chain-risk-auditor
zeroize-auditDetects missing or compiler-optimized zeroization of sensitive data with assembly and control-flow analysis./plugins/zeroize-audit
let-fate-decideDraws the 12 Houses of the Zodiac Tarot spread using cryptographic randomness to add 100+ bits of entropy to vague or underspecified planning. Interprets the spread to guide next steps. Use when feeling lucky, invoking heart-of-the-cards energy, or when prompts are ambiguous../plugins/let-fate-decide
agentic-actions-auditorAudits GitHub Actions workflows for security vulnerabilities in AI agent integrations (Claude Code Action, Gemini CLI, OpenAI Codex, GitHub AI Inference)./plugins/agentic-actions-auditor
skill-improverAutomatically reviews and fixes Claude Code skills through iterative refinement until they meet quality standards. Requires plugin-dev plugin../plugins/skill-improver
fp-checkSystematic false positive verification for security bug analysis with mandatory gate reviews./plugins/fp-check
dimensional-analysisAnnotates codebases with dimensional analysis comments documenting units, dimensions, and decimal scaling. Use when someone asks to annotate units in a codebase, perform a dimensional analysis, or find vulnerabilities in a DeFi protocol. Prevents dimensional mismatches and catches formula bugs early../plugins/dimensional-analysis
vulnerability-triage-brocardsPrincipled framework for triaging vulnerability reports using 7 brocards (rules of thumb). Evaluates incoming CVEs, bug bounty submissions, and security findings against structured dismissal/acceptance criteria before escalating to deeper analysis../plugins/vulnerability-triage-brocards
github-triageTriages a repository's open GitHub issues and pull requests via the gh CLI: optionally merges ready bot and maintainer-approved PRs and spawns review subagents for unreviewed ones, closes already-resolved issues with referenced explanations, cross-links issues with pending fix PRs, and assigns local-only priority and change-size estimates../plugins/github-triage
open-sourcingPrepares a repository for public open-source release: secrets-history hygiene, license selection, documentation and CI readiness checks, and language-specific packaging and release guidance../plugins/open-sourcing

0 Comments

Login required
Log in to post a comment or update on this repo.

No comments yet — be the first to share an update.