io.github.kaattaallaa-sketch/proofrail

ProofRail MCP Release Certifier

io.github.kaattaallaa-sketch/proofrail did not answer the probe on 2026-10-03. Result: timeout.

MCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight.

timeout probed 2026-10-03

probe timed out after 15000 ms

Endpoint: https://drkdm4jd-8767.uks1.devtunnels.ms/mcp (streamable-http)
Host: drkdm4jd-8767.uks1.devtunnels.ms
Website: https://kaattaallaa-sketch.github.io/proofrail-mcp/
Registry: active, updated 2026-09-30 · registry entry
Reachable: 0 of the last 2 probes

History

We add a row when the result changes. A server with no change keeps its last row.

Probed	Result	Init	Tools	Tokens
2026-10-03 20:38	timeout
2026-10-03 17:54	timeout

Badge

[![mcp-pulse](https://mcp-pulse.ulehla.dev/badge/io.github.kaattaallaa-sketch/proofrail.svg)](https://mcp-pulse.ulehla.dev/s/io.github.kaattaallaa-sketch/proofrail)