Web3 security auditor for smart contract analysis and report generation.