Trail of Bits Security

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

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

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

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

Interact with and understand the DWARF debugging format

Interprets Culture Index survey results for individuals and teams

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

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

Runs code reviews using external LLM CLIs (OpenAI Codex, Google Gemini) on uncommitted changes, branch diffs, or specific commits.

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

YARA-X detection rule authoring with linting and quality analysis

Debug Buttercup Kubernetes deployments

Draws Tarot cards using cryptographic randomness to add entropy to vague or underspecified planning. Interprets the spread to guide next steps.

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

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

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

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

Generate minimal macOS Seatbelt sandbox configurations for applications

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

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.

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

Create custom Semgrep rules for detecting bug patterns and security vulnerabilities

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

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

Detect compiler-induced timing side-channels in cryptographic code

Property-based testing guidance for multiple languages and smart contracts

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

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

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

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

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.

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

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

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

Diagnose and fix Claude in Chrome MCP extension connectivity issues