hevm argotorg/hevm Symbolic and concrete EVM execution engine Share Claimable funds Tokens ✨ ✨ ✨ ✨ Estimated value $... Claim funds ✨ ✨ USDCoin $... 0.0135 USDC ✨ ✨ Curve DAO Token $... 0.0135 CRV Support gustavo-grieco/echidna-xp Sep 14, 2025, 5:09 PM $0.00 Splits 5% of funds 0x84–e4D3/ Ethereum Deep Funding Nov 8, 2025, 6:55 PM $... Splits 0.27% of funds
✨✨USDCoin$...0.0135 USDC✨✨Curve DAO Token$...0.0135 CRV