פיתוח · שרת 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 | - | stdio |
איך מחברים את 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 · לפני שמתחברים
עוד שרתים בקטגוריה פיתוח
| שרת | הרצה |
|---|---|
| PromptUIBuild a working web app from a prompt, then deploy it to a live URL. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| PrompyaiScores your prompts against your real codebase - context-aware prompt intelligence. | מקומי · stdio |
| PronounceHow engineers pronounce developer jargon - 1,903 confidence-tagged entries with citations. | מקומי · stdio |
| ProofGovern your AI coding agent: frame the work, review the changes, keep a signed decision record. | מקומי · stdio |
| ProofFlowAudit infrastructure for AI coding agents with evidence-backed review and policy gates. | מקומי · stdio |
| ProofhandHuman QA on real phones and browsers for your coding agent. Pass/fail per step, with screenshots. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |
| ProofRail MCP Release CertifierMCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight. | מרוחק · HTTPבדיקה חיה: ✗ אין לחיצת יד |
| Protectwith KbAI-security knowledge as MCP: standards-mapped tools (OWASP, NIST, MITRE) for AI agents. | מרוחק · HTTPבדיקה חיה: ✗ אין לחיצת יד |