Execute coq-proof-assistant-mcp
Premium agentic endpoint for coq-proof-assistant-mcp.
endpoint: https://api.m2mcent.com/coq-proof-assistant-mcp/sse
registry: io.github.Evozim/coq-proof-assistant-mcp
D
recent success 0% (30 probes) ·
MCP handshake FAILED
· protocol —
TLS valid (39d left) · latency 107.0 ms ·
HTTP 402 · auth ? ·
tools —
manifest —
· drift events seen here: 0
Embed this grade
<a href="https://golemreach.com/trust/s/6052"> <img src="https://golemreach.com/trust/badge/6052.svg" alt="golemreach trust grade"></a>
Recent probes
| time (UTC) | ok | grade | mcp | latency | tls | tools | hash |
|---|---|---|---|---|---|---|---|
| 2026-10-13T09:48:32Z | ✗ | D | ✗ | 107.0 ms | 39d | — | — |
| 2026-10-13T03:47:36Z | ✗ | D | ✗ | 105.0 ms | 40d | — | — |
| 2026-10-12T21:46:59Z | ✗ | D | ✗ | 189.0 ms | 40d | — | — |
| 2026-10-12T15:45:28Z | ✗ | D | ✗ | 176.0 ms | 40d | — | — |
| 2026-10-12T09:44:50Z | ✗ | D | ✗ | 108.0 ms | 40d | — | — |
| 2026-10-12T03:44:38Z | ✗ | D | ✗ | 136.0 ms | 41d | — | — |
| 2026-10-11T21:42:58Z | ✗ | D | ✗ | 83.0 ms | 41d | — | — |
| 2026-10-11T15:42:10Z | ✗ | D | ✗ | 152.0 ms | 41d | — | — |
| 2026-10-11T09:40:35Z | ✗ | D | ✗ | 130.0 ms | 41d | — | — |
| 2026-10-11T03:40:09Z | ✗ | D | ✗ | 111.0 ms | 42d | — | — |
| 2026-10-10T21:39:20Z | ✗ | D | ✗ | 62.0 ms | 42d | — | — |
| 2026-10-10T15:38:48Z | ✗ | D | ✗ | 159.0 ms | 42d | — | — |
| 2026-10-10T09:38:09Z | ✗ | D | ✗ | 76.0 ms | 42d | — | — |
| 2026-10-10T03:37:18Z | ✗ | D | ✗ | 178.0 ms | 43d | — | — |
| 2026-10-09T21:36:15Z | ✗ | D | ✗ | 57.0 ms | 43d | — | — |
| 2026-10-09T15:35:10Z | ✗ | D | ✗ | 139.0 ms | 43d | — | — |
| 2026-10-09T09:33:39Z | ✗ | D | ✗ | 157.0 ms | 43d | — | — |
| 2026-10-09T03:32:53Z | ✗ | D | ✗ | 88.0 ms | 44d | — | — |
| 2026-10-08T21:31:33Z | ✗ | D | ✗ | 91.0 ms | 44d | — | — |
| 2026-10-08T15:30:28Z | ✗ | D | ✗ | 279.0 ms | 44d | — | — |
| 2026-10-08T09:28:59Z | ✗ | D | ✗ | 156.0 ms | 44d | — | — |
| 2026-10-08T03:28:08Z | ✗ | D | ✗ | 89.0 ms | 45d | — | — |
| 2026-10-07T21:26:31Z | ✗ | D | ✗ | 52.0 ms | 45d | — | — |
| 2026-10-07T15:25:10Z | ✗ | D | ✗ | 126.0 ms | 45d | — | — |
| 2026-10-07T09:23:09Z | ✗ | D | ✗ | 71.0 ms | 45d | — | — |
| 2026-10-07T03:22:04Z | ✗ | D | ✗ | 144.0 ms | 46d | — | — |
| 2026-10-06T21:20:41Z | ✗ | D | ✗ | 51.0 ms | 46d | — | — |
| 2026-10-06T15:20:10Z | ✗ | D | ✗ | 133.0 ms | 46d | — | — |
| 2026-10-06T09:19:29Z | ✗ | D | ✗ | 130.0 ms | 46d | — | — |
| 2026-10-06T03:18:26Z | ✗ | D | ✗ | 149.0 ms | 47d | — | — |