MCP serverCommunity

AtpMcp

Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.

jcschuster · ↓ 0 installs

Install

Add the config to your client settings. Replace values in <angle brackets> with your own.

claude_desktop_config.json

{
  "mcpServers": {
    "atp_mcp": {
      "command": "docker",
      "args": [
        "run",
        "-i",
        "--rm",
        "ghcr.io/jcschuster/atp_mcp:0.8.1"
      ]
    }
  }
}

Or in one command — the CLI adds the server to your client config:

CLI

npx ai-point add io.github.jcschuster/atp_mcp

Tools

The tool list will appear once the server has a sandbox or the editors fill it in.

Report a problem ↗ (Opens GitHub in a new tab)