GOLEMREACH

← all servers

Execute certora-rule-generator-mcp

Premium agentic endpoint for certora-rule-generator-mcp.

endpoint: https://api.m2mcent.com/certora-rule-generator-mcp/sse
registry: io.github.Evozim/certora-rule-generator-mcp

D   recent success 0% (30 probes) · MCP handshake FAILED · protocol —
TLS valid (39d left) · latency 83.0 ms · HTTP 402 · auth ? · tools —
manifest — · drift events seen here: 0

Embed this grade

<a href="https://golemreach.com/trust/s/6003">
<img src="https://golemreach.com/trust/badge/6003.svg" alt="golemreach trust grade"></a>

Recent probes

time (UTC)okgrademcp latencytlstoolshash
2026-10-13T09:48:30Z✗D✗83.0 ms39d——
2026-10-13T03:47:33Z✗D✗146.0 ms40d——
2026-10-12T21:46:56Z✗D✗220.0 ms40d——
2026-10-12T15:45:25Z✗D✗81.0 ms40d——
2026-10-12T09:44:47Z✗D✗76.0 ms40d——
2026-10-12T03:44:35Z✗D✗143.0 ms41d——
2026-10-11T21:42:56Z✗D✗172.0 ms41d——
2026-10-11T15:42:06Z✗D✗113.0 ms41d——
2026-10-11T09:40:32Z✗D✗104.0 ms41d——
2026-10-11T03:40:05Z✗D✗116.0 ms42d——
2026-10-10T21:39:18Z✗D✗85.0 ms42d——
2026-10-10T15:38:45Z✗D✗73.0 ms42d——
2026-10-10T09:38:07Z✗D✗97.0 ms42d——
2026-10-10T03:37:14Z✗D✗117.0 ms43d——
2026-10-09T21:36:12Z✗D✗121.0 ms43d——
2026-10-09T15:35:06Z✗D✗190.0 ms43d——
2026-10-09T09:33:37Z✗D✗103.0 ms43d——
2026-10-09T03:32:49Z✗D✗102.0 ms44d——
2026-10-08T21:31:30Z✗D✗94.0 ms44d——
2026-10-08T15:30:24Z✗D✗95.0 ms44d——
2026-10-08T09:28:56Z✗D✗52.0 ms44d——
2026-10-08T03:28:05Z✗D✗247.0 ms45d——
2026-10-07T21:26:28Z✗D✗163.0 ms45d——
2026-10-07T15:25:06Z✗D✗167.0 ms45d——
2026-10-07T09:23:06Z✗D✗181.0 ms45d——
2026-10-07T03:21:59Z✗D✗126.0 ms46d——
2026-10-06T21:20:36Z✗D✗79.0 ms46d——
2026-10-06T15:20:01Z✗D✗150.0 ms46d——
2026-10-06T09:19:23Z✗D✗87.0 ms46d——
2026-10-06T03:18:20Z✗D✗57.0 ms47d——