io.github.Evozim/coq-proof-assistant-mcpMCP Registry
Execute coq-proof-assistant-mcp
v2.0.0Premium agentic endpoint for coq-proof-assistant-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%2Fcoq-proof-assistant-mcp
Connections
sse
https://api.m2mcent.com/coq-proof-assistant-mcp/sse