Search everything...

Stats

Actions

Available In

fp-check

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

Publisher marketplacefp-check@trailofbits · marketplace and plugin share one repository (michelabboud/trailofbits-skills)

npx claudepluginhub michelabboud/trailofbits-skills --plugin fp-check

Popularity

Stars

Med: 0·Avg: 488

Copy clicks

Med: 0·Avg: 1

What's Inside

Agents3

data-flow-analyzer

/data-flow-analyzer

Analyzes data flow from source to vulnerability sink, mapping trust boundaries, API contracts, environment protections, and cross-references. Spawned by fp-check during Phase 1 verification.

exploitability-verifier

/exploitability-verifier

Verifies whether a suspected vulnerability is actually exploitable by proving attacker control, mathematical bounds, and race condition feasibility. Spawned by fp-check during Phase 2 verification.

poc-builder

/poc-builder

Creates proof-of-concept exploits (pseudocode, executable, and unit tests) demonstrating a verified vulnerability, plus negative PoCs showing exploit preconditions. Spawned by fp-check during Phase 4 verification.

Skills1

fp-check

/fp-check

Systematically verifies suspected security bugs to eliminate false positives. Produces TRUE POSITIVE or FALSE POSITIVE verdicts with documented evidence for each bug.

Hooks1

Event Hooks

2 hooks across 2 events

Stats

Version1.0.0

LanguagePython

Stars0

MaintenancePoor

LicenseCC-BY-SA-4.0

Last CommitMar 3, 2026

AddedJul 18, 2026

Actions

View on GitHub View README Plugin Marketplace JSON

Own this plugin?

Verify ownership to unlock analytics, metadata editing, and a verified badge. GitHub access is read-only (username + org membership).

Available In

trailofbits

Safety Signals

Caution

Uses power tools

Uses Bash, Write, or Edit tools

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.

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

Installation

Add the Marketplace

/plugin marketplace add trailofbits/skills

Browse and Install Plugins

/plugin menu

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

Plugin	Description
building-secure-contracts	Smart contract security toolkit with vulnerability scanners for 6 blockchains
entry-point-analyzer	Identify state-changing entry points in smart contracts for security auditing

Code Auditing

Plugin	Description
agentic-actions-auditor	Audit GitHub Actions workflows for AI agent security vulnerabilities
audit-context-building	Build deep architectural context through ultra-granular code analysis
burpsuite-project-parser	Search and extract data from Burp Suite project files
differential-review	Security-focused differential review of code changes with git history analysis
fp-check	Systematic false positive verification for security bug analysis with mandatory gate reviews
insecure-defaults	Detect insecure default configurations, hardcoded credentials, and fail-open security patterns
semgrep-rule-creator	Create and refine Semgrep rules for custom vulnerability detection
semgrep-rule-variant-creator	Port existing Semgrep rules to new target languages with test-driven validation
sharp-edges	Identify error-prone APIs, dangerous configurations, and footgun designs
static-analysis	Static analysis toolkit with CodeQL, Semgrep, and SARIF parsing
supply-chain-risk-auditor	Audit supply-chain threat landscape of project dependencies
testing-handbook-skills	Skills from the Testing Handbook: fuzzers, static analysis, sanitizers, coverage
variant-analysis	Find similar vulnerabilities across codebases using pattern-based analysis

Malware Analysis

Plugin	Description
yara-authoring	YARA detection rule authoring with linting, atom analysis, and best practices

Verification

Plugin	Description
constant-time-analysis	Detect compiler-induced timing side-channels in cryptographic code
property-based-testing	Property-based testing guidance for multiple languages and smart contracts
spec-to-code-compliance	Specification-to-code compliance checker for blockchain audits
zeroize-audit	Detect missing or compiler-eliminated zeroization of secrets in C/C++ and Rust

Reverse Engineering

Plugin	Description
dwarf-expert	Interact with and understand the DWARF debugging format

Mobile Security

Plugin	Description
firebase-apk-scanner	Scan Android APKs for Firebase security misconfigurations

Development

View full README on GitHub

fp-check

Popularity

What's Inside

Confidence

README

Trail of Bits Skills Marketplace

Installation

Add the Marketplace

Browse and Install Plugins

Local Development

Available Plugins

Smart Contract Security

Code Auditing

Malware Analysis

Verification

Reverse Engineering

Mobile Security

Development

Similar Plugins

ecc

everything-claude-code

cc-polymath

More by michelabboud

sentinel

sentinel

claude-opus-4-5-migration

explanatory-output-style

learning-output-style

Trail of Bits Skills Marketplace

Installation

Add the Marketplace

Browse and Install Plugins

Local Development

Available Plugins

Smart Contract Security

Code Auditing

Malware Analysis

Verification

Reverse Engineering

Mobile Security

Development

Popularity

Health & Quality

More by michelabboud

sentinel

sentinel

claude-opus-4-5-migration

explanatory-output-style

learning-output-style

Similar Plugins

ecc

everything-claude-code

cc-polymath