recon-wake
MCP server for Wake testing framework and Certora formal verification
Activity
- Latest release
- 10mo ago
- Total releases
- 3
- Cadence
- ~daily
- Last 12 months
- 3
Details
- License
- MIT
- First release
- Nov 07, 2025
Releases
| Version | Released | |
|---|---|---|
0.2.0
minor
| ||
0.1.7
patch
| ||
0.1.6
initial
|