trailofbits

Skills from the Trail of Bits Application Security Testing Handbook (appsec.guide)

15 skills

Detects missing or compiler-optimized zeroization of sensitive data with assembly and control-flow analysis

1 skill · 11 agents · 1 MCP server

Comprehensive smart contract security toolkit based on Trail of Bits' Building Secure Contracts framework. Includes vulnerability scanners for 6 blockchains and 5 development guideline assistants.

11 skills

Builds multi-language source code graphs for security analysis: call graphs, attack surface mapping, blast radius, taint propagation, complexity hotspots, and entry point enumeration. Generates Mermaid diagrams (call graphs, class hierarchies, dependency maps, heatmaps). Compares code graph snapshots for structural diff and evolution analysis. Runs graph-informed mutation testing triage (genotoxic). Generates mutation-driven test vectors (vector-forge). Extracts crypto protocol message flows and converts Mermaid diagrams to ProVerif models. Projects SARIF and weAudit findings onto code graphs. Use when analyzing call paths, mapping attack surface, visualizing code architecture, triaging survived mutants, generating cryptographic test vectors, diagramming crypto protocols, formally verifying protocols, or augmenting audits with static analysis findings.

10 skills

Annotates 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.

1 skill · 5 agents

Systematic false positive verification for security bug analysis with mandatory gate reviews

1 skill · 3 agents · hooks

Comprehensive C/C++ security code review with specialized bug-finding agents covering memory safety, type safety, concurrency, and Linux/Windows userspace-specific issues

1 skill · 3 agents

Comprehensive 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

1 skill · 3 agents

Automatically reviews and fixes Claude Code skills through iterative refinement until they meet quality standards. Requires plugin-dev plugin.

1 skill · 2 commands · hooks

Static analysis toolkit with CodeQL, Semgrep, and SARIF parsing for security vulnerability detection

3 skills · 1 agent

Build deep architectural context through ultra-granular code analysis before vulnerability hunting

1 skill · 1 command · 1 agent

Security-focused differential review of code changes with git history analysis and blast radius estimation

1 skill · 1 command · 1 agent

Specification-to-code compliance checker for blockchain audits with evidence-based alignment analysis

1 skill · 1 command · 1 agent

Search and extract data from Burp Suite project files (.burp) for security analysis

1 skill · 1 command

Detect compiler-induced timing side-channels in cryptographic code

1 skill · 1 command

Analyzes 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.

1 skill · 1 command

Scan Android APKs for Firebase security misconfigurations including open databases, storage buckets, authentication issues, and exposed cloud functions. For authorized security research only.

1 skill · 1 command

Intercepts GitHub URL fetches and curl/wget commands, redirecting to the authenticated gh CLI.

1 skill · hooks

Draws 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.

1 skill · 1 agent

Modern Python best practices. Use when creating new Python projects, and writing Python scripts, or migrating existing projects from legacy tools.

1 skill · hooks

Runs 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.

1 skill · 1 MCP server

Create custom Semgrep rules for detecting bug patterns and security vulnerabilities

1 skill · 1 command

Identify error-prone APIs, dangerous configurations, and footgun designs that enable security mistakes

1 skill · 1 agent

Find similar vulnerabilities and bugs across codebases using pattern-based analysis

1 skill · 1 command

Teaches design patterns for workflow-based Claude Code skills and provides a review agent for auditing existing skills

1 skill · 1 agent

Audits GitHub Actions workflows for security vulnerabilities in AI agent integrations (Claude Code Action, Gemini CLI, OpenAI Codex, GitHub AI Inference)

1 skill

Clarify ambiguous requirements by asking questions before implementing. Only when invoked explicitly.

1 skill

Diagnose and fix Claude in Chrome MCP extension connectivity issues

1 skill

Interprets Culture Index survey results for individuals and teams

1 skill

Debug Buttercup Kubernetes deployments

1 skill

Create pre-configured devcontainers with Claude Code and language-specific tooling

1 skill

Interact with and understand the DWARF debugging format

1 skill

Safely analyzes and cleans up local git branches and worktrees by categorizing them as merged, squash-merged, superseded, or active work.

1 skill

Detects insecure default configurations including hardcoded credentials, fallback secrets, weak authentication defaults, and dangerous values in production

1 skill

Configures 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.

1 skill

Property-based testing guidance for multiple languages and smart contracts

1 skill

Generate minimal macOS Seatbelt sandbox configurations for applications

1 skill

Creates language variants of existing Semgrep rules with proper applicability analysis and test-driven validation

1 skill

Audit supply-chain threat landscape of project dependencies for exploitation or takeover risk

1 skill

YARA-X detection rule authoring with linting and quality analysis

1 skill