io.github.Evozim/certora-rule-generator-mcpMCP Registry
Execute certora-rule-generator-mcp
v2.0.0Premium agentic endpoint for certora-rule-generator-mcp.
Endpoint health
degraded- Last checked
- 10/5/2026, 10:16:19 AM
- Latency
- 11 ms
- Consecutive failures
- 4
- Endpoint reachable: pass
- Protocol valid: fail
- MCP handshake valid: fail
Machine-readable profile
mcp-server · schema v1 · callable
mcp-server:io.github.Evozim%2Fcertora-rule-generator-mcp
Connections
sse
https://api.m2mcent.com/certora-rule-generator-mcp/sse