io.github.jcschuster/atp_mcp
AtpMcp
Is the Atp MCP server down? Yes. It has given no valid answer since 2026-10-30: error.
Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.
error down since 2026-10-30 · probed 2026-11-14 · unchanged since 2026-11-04
MCP error -32602: Invalid params: _meta lacks io.modelcontextprotocol/protocolVersion; this server speaks MCP 2026-07-28
- Run it
- docker run -i --rm ghcr.io/jcschuster/atp_mcp:0.8.1 (stdio, probed in a container with the network off)
- Host
- ghcr.io
- Repository
- https://github.com/jcschuster/AtpMcp
- Registry
- active, updated 2026-10-29 · registry entry
Compare this server with others.
More servers
Other registry entries on ghcr.io, the ones next to this name; all of them.
- ProfitPlay io.github.jarvismaximum-hue/profitplay-mcp · alive
- Cairn io.github.jasondostal/cairn-mcp · crashed on start
- cuda4cpu io.github.javier-cabezas/cuda4cpu · alive
- Albumen io.github.jay-the-maker/albumen · timeout
- Audiobookshelf MCP io.github.jeeftor/abs-mcp · needs env
- Page Monitor io.github.jhfg31410-ai/page-monitor-mcp-server · alive
- AnchorDB io.github.jolovicdev/anchordb · alive
- Comunio io.github.josetorronteras/comunio · alive
Badge for the README
The result of the latest probe, the tool count and the token cost. The feed has an entry for every probe that changed them.
A mail when this server changes
Stops answering, comes back, tool set or cost changes. One confirmation mail first, a stop link in every mail.
For the publisher
- No valid answer since 2026-10-30, in every probe since then.
- The probe could not complete the handshake. The error output is above.