ProofFlow

ProofFlow רץ באופן מקומי מתוך חבילת Python שפורסמה ב-PyPI: proofflow-mcp, גרסה 0.1.2. הוא משתמש ב-MCP על גבי stdio, ולכן הלקוח מפעיל אותו כתוכנה ומתקשר איתו דרך קלט ופלט סטנדרטיים. כדי להריץ אותו צריך Python; לקוחות מפעילים אותו בדרך כלל עם uvx (מתוך uv) או אחרי pip install - הפקודה המקובלת היא uvx proofflow-mcp. הוא קורא את משתני הסביבה האלה: PROOFFLOW_BASE_URL ו-PROOFFLOW_API_KEY (סודי); יש להגדיר אותם בתצורת הלקוח עבור השרת הזה.

בפורמט ה-JSON של mcpServers, שלקוחות MCP רבים לדסקטופ ולעורכי קוד קוראים, הרשומה נראית כך (מצייני מקום בסוגריים זוויתיים):

{
  "mcpServers": {
    "proofflow": {
      "command": "uvx",
      "args": [
        "proofflow-mcp"
      ],
      "env": {
        "PROOFFLOW_BASE_URL": "<ערך>",
        "PROOFFLOW_API_KEY": "<סוד>"
      }
    }
  }
}

נגזר מהרשומה במרשם, ולא נבדק כאן. מה השרת עושה, ובאילו תנאים, נקבע על ידי המפרסם שלו; כדאי לבדוק את מאגר הקוד או את האתר שלו לפני שנותנים לו גישה לחשבונות או לקבצים שלך. איך מוסיפים שרת MCP לעוזר AI · לפני שמתחברים