PyPI page
Home page
Author:
None
License:
MIT
Summary:
MCP server for Wake testing framework and Certora formal verification
Latest version:
0.2.0
Required dependencies:
certora-cli
|
eth-wake
|
fastmcp
Downloads last day:
5
Downloads last week:
22
Downloads last month:
31