Automated smart contract security scanner — checks for reentrancy, oracle staleness, unchecked returns, proxy risks, and more. Returns risk score and actionable findings.