פיתוח · שרת MCP מקומי
Proof
Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.
מה ה-MCP Registry מציין
הרשומה כפי שפורסמה ב-MCP Registry הרשמי (נקרא ב-4 באוקטובר 2026), בגרסה האחרונה.
- שם במרשם
io.github.ToremLabs/proof- גרסה
- 1.0.0
- סטטוס
- פעיל
- קטגוריה
- פיתוח
- שכבת תעבורה
- stdio (תהליך מקומי)
- חבילה
- npm
- פורסם
- 28 ביולי 2026
- עודכן
- 28 ביולי 2026
- מפרסם
- ToremLabs (GitHub) · 2 שרתים עם דף כאן
- מרחב שמות
- מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/ToremLabs) · איך
- מאגר קוד
- github.com/ToremLabs/proof-mcp
- מקור
- הרשומה ב-API של המרשם
חבילות
| מרשם | חבילה | גרסה | שכבת תעבורה |
|---|---|---|---|
| npm | @toremlabs/proof-mcp | 1.0.0 | stdio |
איך מחברים את Proof
Proof רץ באופן מקומי מתוך חבילת Node.js שפורסמה במרשם npm: @toremlabs/proof-mcp, גרסה 1.0.0. הוא משתמש ב-MCP על גבי stdio, ולכן הלקוח מפעיל אותו כתוכנה ומתקשר איתו דרך קלט ופלט סטנדרטיים. כדי להריץ אותו צריך Node.js; לקוחות מפעילים אותו בדרך כלל עם npx - הפקודה המקובלת היא npx -y @toremlabs/proof-mcp@1.0.0.
בפורמט ה-JSON של mcpServers, שלקוחות MCP רבים לדסקטופ ולעורכי קוד קוראים, הרשומה נראית כך (מצייני מקום בסוגריים זוויתיים):
{
"mcpServers": {
"proof": {
"command": "npx",
"args": [
"-y",
"@toremlabs/proof-mcp@1.0.0"
]
}
}
}נגזר מהרשומה במרשם, ולא נבדק כאן. מה השרת עושה, ובאילו תנאים, נקבע על ידי המפרסם שלו; כדאי לבדוק את מאגר הקוד או את האתר שלו לפני שנותנים לו גישה לחשבונות או לקבצים שלך. איך מוסיפים שרת MCP לעוזר AI · לפני שמתחברים
עוד מ-ToremLabs (GitHub)
| שרת | הרצה |
|---|---|
| HeuresisRead & write your Heuresis idea graph and run TRIZ/C-K/ASIT operators from your AI assistant. | מקומי · stdio |
עוד שרתים בקטגוריה פיתוח
| שרת | הרצה |
|---|---|
| PromptSpendLLM pricing where every rate carries its source and the date it was last confirmed. | מקומי · stdio |
| 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 |
| Proof CLI (unofficial)Notarize, e-sign, and verify identity with the Proof API. Unofficial; not affiliated with Proof. | מקומי · 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בדיקה חיה: ✗ אין לחיצת יד |