PyPI page
Home page
Author:
Your Name
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:
0
Downloads last week:
3
Downloads last month:
16
7-day smoothing