Solidity smart contract security auditor CLI - Detect vulnerabilities, reentrancy, overflow, and common issues.
Retry-safety analyzer for Solana transactions using state diffing.