English Français العربية

AtpMcp

Registre officiel IA et agents

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

Code source

Installation

Ajoutez ceci à la configuration MCP de votre client (Claude Desktop : claude_desktop_config.json ; Cursor : .cursor/mcp.json ; VS Code et les autres utilisent la même forme « mcpServers »).

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
Configuration JSON (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
Configuration JSON (Claude Desktop, Cursor, VS Code) 
{
    "mcpServers": {
        "atpmcp": {
            "command": "docker",
            "args": [
                "run",
                "-i",
                "--rm",
                "ghcr.io/jcschuster/atp_mcp:0.8.1-isabelle"
            ]
        }
    }
}

Questions fréquentes

Qu'est-ce que AtpMcp ?

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

Comment installer AtpMcp ?

Il s'exécute sur votre machine. Dans Claude Code : claude mcp add atpmcp -- docker run -i --rm ghcr.io/jcschuster/atp_mcp:0.8.1. Pour les autres clients, collez la configuration JSON de cette page dans leurs réglages MCP.

Faut-il une clé API pour AtpMcp ?

Son entrée au registre n'indique aucune clé ni secret obligatoire. Certaines fonctions peuvent tout de même demander un compte auprès du service auquel il se connecte.

AtpMcp est-il open source ?

Son code est public sur GitHub, mais le dépôt ne déclare pas de licence standard.

Qui maintient AtpMcp ?

Il est publié par jcschuster. AI.tn le référence sans le maintenir ni le recommander.

Issu du registre MCP officiel. Être listé n'est pas une recommandation : vérifiez le code et les permissions d'un serveur avant de lui donner accès à vos données.