Browse
Showing 13 of 13 components
Design high-value fuzzing dictionaries for structured inputs, parsers, protocols, file formats, and smart contract ABI s...
Token integration and implementation analyzer based on Trail of Bits' token integration checklist. Analyzes token implem...
Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, mis...
Smart contract development advisor based on Trail of Bits' best practices. Analyzes codebase to generate documentation/s...
Scans Cosmos SDK blockchain modules and CosmWasm contracts for consensus-critical vulnerabilities — chain halts, fund lo...
Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messagi...
Scans TON (The Open Network) smart contracts for 3 critical vulnerabilities including integer-as-boolean misuse, fake Je...
Analyzes smart contract codebases to identify state-changing entry points for security auditing. Detects externally call...
Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, revi...
GSA CALC+ awarded labor ceiling rates from 230K+ MAS contracts. 8 tools.
Driven Intent Negotiation — Contract-Oriented Deterministic Executable Runtime DinCoder brings the…
Single pure-markdown reverse-engineering skill that analyzes existing code and generates architectural specs, component...
Pure markdown legal and compliance analysis skill for reviewing contracts, CUAD-style due diligence, risk flagging, and...