Security-focused static analysis tool for Solidity smart contracts with AI-powered skills for auditing and secure development
Solidity static analysis with security skills for auditing and secure development