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.
security static-analysis ethereum smart-contracts solidity lending contract-analysis protocol-security economic-analysis defi tokenomics risk-modeling solidity-tools liquidity-risk amms oracle-security economic-security supply-risk fee-analysis onchain-risk
-
Updated
Nov 28, 2025 - Python