English Français العربية

AtpMcp

Official registry AI and agents

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

Source code

Install

Add this to your client's MCP configuration (Claude Desktop: claude_desktop_config.json; Cursor: .cursor/mcp.json; VS Code and others use the same "mcpServers" shape).

OCI package ghcr.io/jcschuster/atp_mcp:0.8.1
Claude Code 
claude mcp add atpmcp -- docker run -i --rm ghcr.io/jcschuster/atp_mcp:0.8.1
JSON configuration (Claude Desktop, Cursor, VS Code) 
{
    "mcpServers": {
        "atpmcp": {
            "command": "docker",
            "args": [
                "run",
                "-i",
                "--rm",
                "ghcr.io/jcschuster/atp_mcp:0.8.1"
            ]
        }
    }
}
OCI package ghcr.io/jcschuster/atp_mcp:0.8.1-isabelle
Claude Code 
claude mcp add atpmcp -- docker run -i --rm ghcr.io/jcschuster/atp_mcp:0.8.1-isabelle
JSON configuration (Claude Desktop, Cursor, VS Code) 
{
    "mcpServers": {
        "atpmcp": {
            "command": "docker",
            "args": [
                "run",
                "-i",
                "--rm",
                "ghcr.io/jcschuster/atp_mcp:0.8.1-isabelle"
            ]
        }
    }
}

Frequently asked questions

What is AtpMcp?

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

How do I install AtpMcp?

It runs on your machine. In Claude Code: claude mcp add atpmcp -- docker run -i --rm ghcr.io/jcschuster/atp_mcp:0.8.1. For other clients, paste the JSON configuration from this page into their MCP settings.

Does AtpMcp need an API key?

Its registry entry lists no required key or secret. Some features may still need an account with the service it connects to.

Is AtpMcp open source?

Its code is public on GitHub, but the repository does not declare a standard license.

Who maintains AtpMcp?

It is published by jcschuster. AI.tn lists it but does not maintain or endorse it.

From the official MCP Registry. Listing is not an endorsement: review a server's code and permissions before giving it access to your data.