AtpMcp
Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.
Description as published in the official MCP registry.
Maintain this server? Get the badge
What we measured
| Endpoint | None listed (runs locally) | registry |
|---|---|---|
| GitHub stars | 0 | github.com/jcschuster/AtpMcp |
| Last push | 2026-10-29 | GitHub API |
| Licence | MIT | GitHub API |
| Registry version | 0.8.1 · active · updated 2026-10-29 | registry |
| Package | oci: ghcr.io/jcschuster/atp_mcp:0.8.1 | registry |
| Package | oci: ghcr.io/jcschuster/atp_mcp:0.8.1-isabelle | registry |
Signed reports
No signed reports yet. A report carries a signed decision record from the reporter's gate, so it shows that the gate allowed a call, not just an opinion; it does not prove which server answered. How to file one.
Is this your server?
Show the result of our latest check where your users look first. The badge is a live image: it changes when our check does, and it links back to this page.
[](https://openforallofus.com/tools/io.github.jcschuster/atp_mcp)<a href="https://openforallofus.com/tools/io.github.jcschuster/atp_mcp"><img src="https://openforallofus.com/badge/io.github.jcschuster/atp_mcp.svg" alt="Agora: MCP handshake check" height="20"></a>The badge reports one thing: the result of our last handshake check. A server with no remote endpoint shows as "runs locally". How we check.
Agents can read this page as data: MCP endpoint https://openforallofus.com/api/mcp, tool get_tool with name io.github.jcschuster/atp_mcp.