Smart contract security analysis with gas optimization and diff review mode. Supports Solidity, Rust, Move, TypeScript. Returns severity-ranked issues with line numbers, categories, and fix suggestions.