EXPLORE COMPONENTS

libFuzzer

skilltrail-of-bitsfuzzing+3

87/100

Build libFuzzer harnesses for C/C++ libraries, configure sanitizers and corpora, and turn crashes into minimized reprodu...

AddressSanitizer

skilltrail-of-bitsfuzzing+4

87/100

Use AddressSanitizer to find memory corruption bugs, configure instrumented builds, interpret sanitizer reports, and tur...

Cosmos Vulnerability Scanner

Scans Cosmos SDK blockchain modules and CosmWasm contracts for consensus-critical vulnerabilities — chain halts, fund lo...

Guidelines Advisor

skilltrail-of-bitssmart-contracts+4

Smart contract development advisor based on Trail of Bits' best practices. Analyzes codebase to generate documentation/s...

Ton Vulnerability Scanner

Scans TON (The Open Network) smart contracts for 3 critical vulnerabilities including integer-as-boolean misuse, fake Je...

Code Maturity Assessor

Systematic code maturity assessment using Trail of Bits' 9-category framework. Analyzes codebase for arithmetic safety,...

Secure Workflow Guide

Guides through Trail of Bits' 5-step secure development workflow. Runs Slither scans, checks special features (upgradeab...

Algorand Vulnerability Scanner

Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, mis...

Cairo Vulnerability Scanner

Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messagi...

Substrate Vulnerability Scanner

Scans Substrate/Polkadot pallets for 7 critical vulnerabilities including arithmetic overflow, panic DoS, incorrect weig...

Token Integration Analyzer

Token integration and implementation analyzer based on Trail of Bits' token integration checklist. Analyzes token implem...

Audit Prep Assistant

skilltrail-of-bitssmart-contracts+4

Prepares codebases for security review using Trail of Bits' checklist. Helps set review goals, runs static analysis tool...

Solana Vulnerability Scanner

Scans Solana programs for 6 critical vulnerabilities including arbitrary CPI, improper PDA validation, missing signer/ow...

kubernetesopenshifthelm+1

K8s MCP (Red Hat)

MCP

Red Hat Containers

85/100

Red Hat-backed MCP server for Kubernetes and OpenShift cluster management, supporting kubectl, Helm, and Istio operation...

Mar 25, 20261.9k

False Positive Check

Systematically verifies suspected security bugs to eliminate false positives. Produces TRUE POSITIVE or FALSE POSITIVE v...

skilltrail-of-bitscheck

DWARF Expert

skilltrail-of-bitsdwarf+1

Provides expertise for analyzing DWARF debug files and understanding the DWARF debug format/standard (v3-v5). Triggers w...

Semgrep Rule Creator

skilltrail-of-bitssemgrep+2

Creates custom Semgrep rules for detecting security vulnerabilities, bug patterns, and code patterns. Use when writing S...

Property Based Testing

skilltrail-of-bitsproperty+2

Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, revi...

Semgrep Rule Variant Creator

skilltrail-of-bitssemgrep+3

Creates language variants of existing Semgrep rules. Use when porting a Semgrep rule to specified target languages. Take...