פיתוח · שרת MCP מקומי

Proof CLI (unofficial)

Notarize, e-sign, and verify identity with the Proof API. Unofficial; not affiliated with Proof.

מה ה-MCP Registry מציין

הרשומה כפי שפורסמה ב-MCP Registry הרשמי (נקרא ב-4 באוקטובר 2026), בגרסה האחרונה.

שם במרשם
io.github.tsarlewey/proof-cli
גרסה
0.3.1
סטטוס
פעיל
קטגוריה
פיתוח
שכבת תעבורה
stdio (תהליך מקומי)
חבילה
אימג' OCI (Docker)
פורסם
29 בספטמבר 2026
עודכן
29 בספטמבר 2026
מפרסם
tsarlewey (GitHub)
מרחב שמות
מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/tsarlewey) · איך
מאגר קוד
github.com/tsarlewey/proof-cli
מקור
הרשומה ב-API של המרשם

חבילות

מרשםחבילהגרסהשכבת תעבורהמשתני סביבה
אימג' OCI (Docker)ghcr.io/tsarlewey/proof-cli:0.3.1-stdioPROOF_API_KEY (חובה, סודי) ו-PROOF_API_ENDPOINT

איך מחברים את Proof CLI (unofficial)

Proof CLI (unofficial) רץ באופן מקומי מתוך אימג' של קונטיינר במרשם OCI כמו Docker Hub או GitHub Container Registry: ghcr.io/tsarlewey/proof-cli:0.3.1. הוא משתמש ב-MCP על גבי stdio, ולכן הלקוח מפעיל אותו כתוכנה ומתקשר איתו דרך קלט ופלט סטנדרטיים. כדי להריץ אותו צריך Docker או סביבת ריצה אחרת לקונטיינרים של OCI; ההפעלה היא עם docker run - הפקודה המקובלת היא docker run -i --rm -e PROOF_API_KEY -e PROOF_API_ENDPOINT ghcr.io/tsarlewey/proof-cli:0.3.1. הוא קורא את משתני הסביבה האלה: PROOF_API_KEY (חובה, סודי) ו-PROOF_API_ENDPOINT; יש להגדיר אותם בתצורת הלקוח עבור השרת הזה.

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

{
  "mcpServers": {
    "proof-cli": {
      "command": "docker",
      "args": [
        "run",
        "-i",
        "--rm",
        "-e",
        "PROOF_API_KEY",
        "-e",
        "PROOF_API_ENDPOINT",
        "ghcr.io/tsarlewey/proof-cli:0.3.1"
      ],
      "env": {
        "PROOF_API_KEY": "<סוד>",
        "PROOF_API_ENDPOINT": "<ערך>"
      }
    }
  }
}

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

עוד שרתים בקטגוריה פיתוח

כל ה-5,152 ←
שרתהרצהנקודת קצה או חבילה
PromptUIBuild a working web app from a prompt, then deploy it to a live URL.מרוחק · HTTPבדיקה חיה: ✓ לחיצת ידpromptui.co
PrompyaiScores your prompts against your real codebase - context-aware prompt intelligence.מקומי · stdionpm: prompyai-mcp
PronounceHow engineers pronounce developer jargon - 1,903 confidence-tagged entries with citations.מקומי · stdioPyPI: pronounce-mcp
ProofGovern your AI coding agent: frame the work, review the changes, keep a signed decision record.מקומי · stdionpm: @toremlabs/proof-mcp
ProofFlowAudit infrastructure for AI coding agents with evidence-backed review and policy gates.מקומי · stdioPyPI: proofflow-mcp
ProofhandHuman QA on real phones and browsers for your coding agent. Pass/fail per step, with screenshots.מרוחק · HTTPבדיקה חיה: נדרשת התחברותproofhand.dev
ProofRail MCP Release CertifierMCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight.מרוחק · HTTPבדיקה חיה: ✗ אין לחיצת ידdrkdm4jd-8767.uks1.devtunnels.ms
Protectwith KbAI-security knowledge as MCP: standards-mapped tools (OWASP, NIST, MITRE) for AI agents.מרוחק · HTTPבדיקה חיה: ✗ אין לחיצת ידprotectwith-kb.burademirung.workers.dev