A
licenseNot graded
qualityC
maintenanceProduction-grade Z3 SMT formal verification pay-per-proof MCP server on Base Mainnet USDC covering ERC-4626 vaults, Polymarket solvency, MEV sandwich bounds, Permit2, and Tarjan taint graphs.
MIT
116,828 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly npm Downloads ↓
Weekly PyPI Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓