Analyzes smart contract codebases against Trail of Bits best practices, generating documentation and security recommendations.

Scan Substrate/FRAME pallets for 7 critical vulnerabilities: arithmetic overflow, panic DoS, weight miscalculation, unsafe storage writes, unsigned validation gaps, bad randomness, and origin checks.

Scans TON smart contracts for critical security vulnerabilities in FunC code including sender validation, integer overflow, and gas handling issues.

Scans Cosmos SDK blockchains for 9 consensus-critical vulnerabilities including non-determinism and rounding errors.

Scan Cairo/StarkNet smart contracts for 6 critical vulnerabilities including arithmetic overflow, L1-L2 messaging, and signature replay attacks.

Scans Algorand smart contracts for 11 critical vulnerabilities including rekeying attacks and access control issues.

Scans Solana programs for 6 critical vulnerabilities including CPI, PDA, and signer validation issues.

Identifies state-changing entry points in smart contracts for security auditing across multiple languages.

Verifies blockchain code implements exactly what specifications define, identifying gaps between documentation and implementation with evidence-based findings.

Analyze token implementations and integrations for ERC20/ERC721 conformity, detect 24+ weird token patterns, assess security risks.