A research-grade tool that analyzes Solidity smart contracts for economic vulnerabilities such as unbounded minting, toxic fee mechanisms, liquidity traps, oracle manipulation, centralized control, and broken financial invariants. Focused on economic correctness, incentive risks, and DeFi system stability.
Automated Ethereum protocol compliance verification. Extracts obligations from EIPs, maps to execution-specs and client code (Geth, etc.), and generates gap reports. Built with Claude Agent SDK and GitHub Actions integration.