01Deterministic vulnerability detection focused on high-impact loss-of-funds risks
02Automated environment bootstrapping for Foundry, Hardhat, and Truffle projects
032 GitHub stars
04Automated patch generation with unified diffs for secure remediation
05Standardized report generation including risk hotspot maps and root cause analysis
06Local exploit validation and scaffolding using Anvil for proof-of-concept evidence