MCP servers
AtpMcp
Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.
Remotes
This server publishes no hosted endpoint. Run one of its packages locally.
Packages
ghcr.io/jcschuster/atp_mcp:0.8.1 · oci · stdio
claude mcp add --transport stdio atp-mcp -- docker run -i --rm ghcr.io/jcschuster/atp_mcp:0.8.1ghcr.io/jcschuster/atp_mcp:0.8.1-isabelle · oci · stdio
claude mcp add --transport stdio atp-mcp -- docker run -i --rm ghcr.io/jcschuster/atp_mcp:0.8.1-isabelle
