English Français العربية

AtpMcp

السجل الرسمي الذكاء الاصطناعي والوكلاء

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

الشيفرة المصدرية

التثبيت

أضف هذا إلى إعدادات MCP في عميلك (Claude Desktop: claude_desktop_config.json، وCursor: ‏.cursor/mcp.json، ويستخدم VS Code وغيره الصيغة نفسها «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
إعداد 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
إعداد JSON (Claude Desktop وCursor وVS Code) 
{
    "mcpServers": {
        "atpmcp": {
            "command": "docker",
            "args": [
                "run",
                "-i",
                "--rm",
                "ghcr.io/jcschuster/atp_mcp:0.8.1-isabelle"
            ]
        }
    }
}

الأسئلة الشائعة

ما هو AtpMcp؟

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

كيف أثبّت AtpMcp؟

يعمل على جهازك. في Claude Code: claude mcp add atpmcp -- docker run -i --rm ghcr.io/jcschuster/atp_mcp:0.8.1. وفي العملاء الآخرين، الصق إعداد JSON من هذه الصفحة في إعدادات MCP الخاصة بهم.

هل يحتاج AtpMcp إلى مفتاح API؟

لا يذكر إدراجه في السجل أي مفتاح أو سر إلزامي. قد تتطلب بعض الميزات حسابًا لدى الخدمة التي يتصل بها.

هل AtpMcp مفتوح المصدر؟

شيفرته علنية على GitHub، لكن المستودع لا يعلن ترخيصًا قياسيًا.

من يصون AtpMcp؟

ينشره jcschuster. يدرجه AI.tn لكنه لا يصونه ولا يوصي به.

من سجل MCP الرسمي. الإدراج ليس توصية: راجع شيفرة الخادم وصلاحياته قبل منحه الوصول إلى بياناتك.