io.github.Evozim/coq-proof-assistant-mcp · v2.0.0 · other
Execute coq-proof-assistant-mcp is failing the MCP handshake.
Premium agentic endpoint for coq-proof-assistant-mcp.
Endpoint: https://api.m2mcent.com/coq-proof-assistant-mcp/sse (sse)
No repository listed · JSON · Add to my inventory
| Users (last 30 days) | 0 |
| Handshake | Failing |
| Auth needed | – |
| Tool count | – |
| Latency | – |
| Last checked (UTC) | 2026-10-15T01:20:32.587Z |
| Checked (UTC) | Status | Latency | Error |
|---|---|---|---|
| 2026-10-15T01:20:32.587Z | Failing | 14 | SSE GET HTTP 402 |
Tools are listed after a successful handshake.