AtpMcp

io.github.jcschuster/atp_mcp

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

View repository →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

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

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
0.8.1
Registry
active
Published
10/29/2026

More Developer Tools servers

Browse all Developer Tools →

io.github.jcucci/dotnet-sherlock-mcp

jcucci

.NET assembly introspection MCP server with advanced reflection and type analysis capabilities

Developer ToolsAdded 1 month ago

io.github.jdhart81/agent-arbitration

jdhart81

Deterministic, machine-verifiable dispute resolution for A2A escrows.

Developer ToolsAdded 3 months ago

io.github.jdhart81/agent-compute-ledger

jdhart81

Compute-is-carbon energy/carbon ledger for agent work with Landauer-limit validation.

Developer ToolsAdded 3 months ago

io.github.jdhart81/agent-covenant

jdhart81

Deny-by-default authority leases for agents wielding real power.

Developer ToolsAdded 4 months ago

io.github.jdhart81/agent-erc8004-bridge

jdhart81

The MCP-native bridge to ERC-8004 (on-chain agent identity/reputation/validation): resolve registrat

Developer ToolsAdded 1 month ago

io.github.jdhart81/agent-escrow

jdhart81

Trustless escrow & settlement for A2A transactions: exactly-once state machine, frozen fees, tamper-

Developer ToolsAdded 3 months ago

Add the badge to your site

Show visitors that AtpMcp is listed here — it’s also the link we check for a free listing.

AtpMcp — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-jcschuster-atp-mcp?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="AtpMcp — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![AtpMcp — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-jcschuster-atp-mcp?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.