eth-wake>=4.0.0
fastmcp>=0.1.0
certora-cli>=8.0.0
