Security
Vulnerability scanning, dependency auditing, and security best practices
Not sure where to start? Start with a kit
A short, ordered list of what we'd install first.
58 tools
Gh Cli
Enforces authenticated gh CLI workflows over unauthenticated curl, WebFetch, and MCP fetch patterns. Use when working with GitHub URLs, API access, pull requests, or issues.
Report Regressions
Use when assembling or refreshing an evidence-linked regression report from saved campaign decisions.
Goal Prompt
Drafts copy-paste-ready /goal commands for goal mode in Claude Code and Codex. Use when the user asks to create, write, rewrite, improve, compress, clean up, or prepare a goal prompt, goal condition…
Modern Cpp
Guides C++ code toward modern idioms (C++20/23/26). Use when writing new C++ code, modernizing legacy patterns, or working on security-critical C++.
Rust Review
Performs comprehensive Rust security review for safe/unsafe boundary issues, memory safety in unsafe blocks, concurrency hazards, panic-induced DoS, FFI safety, and async runtime mistakes.
Dimensional Analysis
Audits code for unit and decimal-scaling bugs and annotates it with dimensional comments recording the units of each value.
Reproduce Bug
Use when a named runtime or compiler bug in a local repository needs independent reproduction.
Post Patch Validation
Validates security patches with reproducible baseline-versus-patched evidence, including original exploits, root-cause variants, behavior preservation, regressions, and newly introduced security…
Dwarf Expert
Analyzes DWARF debug information in compiled binaries. Use when inspecting .debug_* sections, DIE trees, or DW_TAG_/DW_AT_ entries with dwarfdump/llvm-dwarfdump or readelf, verifying debug info with…
Reproduce Regression
Use when deploying before/after systems and building a live-system PoC for a regression candidate.
Entry Point Analyzer
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 (public…
Prove Patch
Use when a local security patch commit needs independent scoped and three-arm proof.
Adjudicate Regression
Use when deciding whether source and live reproduction evidence establish a new regression or an exclusion.
Chrome Mcp Troubleshooting
Diagnose and fix Claude in Chrome MCP extension connectivity issues. Use when mcp__claude-in-chrome__* tools fail, return "Browser extension is not connected", or behave erratically.
Github Triage
Triages a repository's open GitHub issues and pull requests via the gh CLI. Optionally reviews and merges ready PRs — incrementally merging passing automated/bot PRs and maintainer-approved ones, and…
Regression Hunt
Use when investigating regressions in PRs or commits, coordinating a regression campaign, or resuming saved progress.
Solana Vulnerability Scanner
Scans Solana programs for 6 critical vulnerabilities including arbitrary CPI, improper PDA validation, missing signer/ownership checks, and sysvar spoofing. Use when auditing Solana/Anchor programs.
Firebase Apk Scanner
Scans Android APKs for Firebase security misconfigurations including open databases, storage buckets, authentication issues, and exposed cloud functions.
C Review
Performs comprehensive C/C++ security review for memory corruption, integer overflows, race conditions, and platform-specific vulnerabilities.
Audit Prep Assistant
Prepares codebases for security review using Trail of Bits' checklist. Helps set review goals, runs static analysis tools, increases test coverage, removes dead code, ensures accessibility, and…
Burpsuite Project Parser
Searches and explores Burp Suite project files (.burp) from the command line. Use when searching response headers or bodies with regex patterns, extracting security audit findings, dumping proxy…
Constant Time Analysis
Detects timing side-channel vulnerabilities in cryptographic code. Use when implementing or reviewing crypto code, encountering division on secrets, secret-dependent branches, or constant-time…
Fp Check
Systematically verifies suspected security bugs to eliminate false positives, producing a TRUE POSITIVE or FALSE POSITIVE verdict with documented evidence for each.
Guidelines Advisor
Smart contract development advisor based on Trail of Bits' best practices. Analyzes codebase to generate documentation/specifications, review architecture, check upgradeability patterns, assess…
Semgrep Rule Creator
Creates custom Semgrep rules for detecting security vulnerabilities, bug patterns, and code patterns. Use when writing Semgrep rules or building custom static analysis detections.
Semgrep Rule Variant Creator
Creates language variants of existing Semgrep rules. Use when porting a Semgrep rule to specified target languages.
Interpreting Culture Index
Interprets Culture Index (CI) surveys, behavioral profiles, and personality assessment data. Supports individual profile interpretation, team composition analysis (gas/brake/glue), burnout detection…
Mutation Testing
Configures mewt or muton campaigns, analyzes surviving mutants, and investigates bugs exposed by testing gaps.
Skill Improver
Runs an autonomous review-and-fix improvement loop over a Claude Code skill until a review comes back clean, with a cross-round findings ledger, escalation when fixes stop converging, and a…
Replay Regression
Use when independently verifying a supplied PoC against fresh live before/after deployments.
Pr Improver
Runs an autonomous review-and-fix improvement loop over the current branch's changes until a PR review comes back clean, scoped mechanically to the directories the branch touched.
Substrate Vulnerability Scanner
Scans Substrate/Polkadot pallets for 7 critical vulnerabilities including arithmetic overflow, panic DoS, incorrect weights, and bad origin checks.
Audit Context Building
Understand a codebase before looking for bugs in it - what each function assumes, what it guarantees, and what it depends on elsewhere.
Validate Bug
Use when a bug PoC package needs an independent rerun and judgment before patching.
Token Integration Analyzer
Token integration and implementation analyzer based on Trail of Bits' token integration checklist. Analyzes token implementations for ERC20/ERC721 conformity, checks for 20+ weird token patterns…
Patching Bugs
Use when a known bug or falsifiable bug hypothesis in a local codebase needs a patch commit and reviewable proof report.
Cairo Vulnerability Scanner
Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems, and signature replay.
Code Improver
Runs an autonomous review-and-fix improvement loop over any code target — a skill, plugin, module, or directory — using a reviewer the user names: any installed skill or agent.
Devcontainer Setup
Creates devcontainers with Claude Code, language-specific tooling (Python/Node/Rust/Go), and persistent volumes.
Secure Workflow Guide
Guides through Trail of Bits' 5-step secure development workflow. Runs Slither scans, checks special features (upgradeability/ERC conformance/token integration), generates visual security diagrams…
Prepare Regression
Use when pinning before/after sources and collecting PR or commit context for a regression investigation.
Review Walkthrough
Generates an interactive HTML walkthrough for reviewing code changes. Use only when explicitly called.
Implement Patch
Use when a confirmed local bug needs an invariant-level fix, variant search, tests, and one local commit.
Algorand Vulnerability Scanner
Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing field validations, and access control issues.
Let Fate Decide
Draws the 12 Houses of the Zodiac Tarot spread to inject entropy into planning when prompts are vague, ambiguous, or casually delegated. Interprets the spread to guide next steps.
Code Maturity Assessor
Systematic code maturity assessment using Trail of Bits' 9-category framework. Analyzes codebase for arithmetic safety, auditing practices, access controls, complexity, decentralization…
Cosmos Vulnerability Scanner
Scans Cosmos SDK blockchain modules and CosmWasm contracts for consensus-critical vulnerabilities — chain halts, fund loss, state divergence. 25 core + 16 IBC + 10 EVM + 3 CosmWasm patterns.
Ton Vulnerability Scanner
Scans TON (The Open Network) smart contracts for 3 critical vulnerabilities including integer-as-boolean misuse, fake Jetton contracts, and forward TON without gas checks.
Open Sourcing
This skill should be used when the user asks to "open source this project", "prepare this repository for public release", "make this repo public", "check open-source readiness", "choose a license for…
Hunt Regressions
Use when discovering possible regressions from a pinned change and its callers before reproduction.
Agentic Actions Auditor
Audits GitHub Actions workflows for security vulnerabilities in AI agent integrations including Claude Code Action, Gemini CLI, OpenAI Codex, and GitHub AI Inference.
Second Opinion
Gets independent code reviews from Codex or Antigravity for uncommitted changes, branch diffs, and commits.
Static Analysis
Static analysis with CodeQL, Semgrep, and SARIF for security scanning.
Insecure Defaults Scanner
Detect insecure defaults like hardcoded secrets and weak crypto settings.
Differential Security Review
Security-focused diff review with git history analysis.
Better Auth
Best practices for authentication with Better Auth library.
FFUF Web Fuzzing
Expert guidance for ffuf-based web penetration testing and result analysis.
sast-skills
Turn your LLM coding assistant into a fully featured SAST scanner.