פרודוקטיביות · שרת MCP מרוחק
lemmaoracle MCP
Verifiable provenance for AI agents - ZK proofs over confidential documents, no plaintext exposure.
מה ה-MCP Registry מציין
הרשומה כפי שפורסמה ב-MCP Registry הרשמי (נקרא ב-4 באוקטובר 2026), בגרסה האחרונה.
- שם במרשם
io.github.lemmaoracle/mcp- גרסה
- 0.0.17
- סטטוס
- פעיל
- קטגוריה
- פרודוקטיביות
- שכבת תעבורה
- Streamable HTTP ו-stdio (תהליך מקומי)
- חבילה
- npm
- פורסם
- 18 במאי 2026
- עודכן
- 18 במאי 2026
- מפרסם
- lemmaoracle (GitHub)
- מרחב שמות
- מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/lemmaoracle) · איך
- אתר
- lemma.frame00.com
- מאגר קוד
- github.com/lemmaoracle/lemma (תיקייה packages/mcp)
- מקור
- הרשומה ב-API של המרשם
נקודות קצה מרוחקות
| שכבת תעבורה | URL | כותרות מוצהרות |
|---|---|---|
| Streamable HTTP | https://mcp.lemma.workers.dev/mcp | Authorization (חובה, סודי) |
בדיקה חיה
האינדקס הזה התחבר לכל נקודת קצה מרוחקת וביקש את רשימת הכלים שלה. הבדיקה רק מתחברת ומבקשת את רשימת הכלים; היא לא מריצה כלים, לא מתחברת לחשבון ולא בודקת אבטחה.
- זמין
- כן (HTTP 200)
- לחיצת יד
- @lemmaoracle/mcp 0.0.23 · פרוטוקול 2025-06-18
- כלים שנמצאו
- 5:
lemma_query_verified_attributes,lemma_get_schema,lemma_get_circuit,lemma_get_generator,lemma_get_proof_status - תאריך הבדיקה
- 5 באוקטובר 2026
חבילות
| מרשם | חבילה | גרסה | שכבת תעבורה |
|---|---|---|---|
| npm | @lemmaoracle/mcp | 0.0.17 | stdio |
איך מחברים את lemmaoracle MCP
lemmaoracle MCP הוא שרת MCP מרוחק: אין מה להתקין. נקודת הקצה שלו היא https://mcp.lemma.workers.dev/mcp, ב-Streamable HTTP. בעוזר שמקבל שרתי MCP מרוחקים (לרוב בהגדרה בשם מחברים, אינטגרציות או כלים) מוסיפים שרת חדש ומזינים את כתובת ה-URL הזו; בלקוח שמוגדר דרך קובץ מוסיפים אותו כשרת מרוחק (HTTP) עם אותה כתובת URL.
הרשומה במרשם מצהירה על כותרת HTTP (header) לחיבור: Authorization (חובה, סודי). כותרת סודית נושאת בדרך כלל מפתח API או טוקן שהשירות מנפיק; לקוחות שמקבלים כותרות מותאמות אישית מגדירים אותה יחד עם כתובת ה-URL של השרת.
אפשר גם להריץ אותו באופן מקומי מתוך חבילת Node.js שפורסמה במרשם npm: @lemmaoracle/mcp, גרסה 0.0.17. הוא משתמש ב-MCP על גבי stdio, ולכן הלקוח מפעיל אותו כתוכנה ומתקשר איתו דרך קלט ופלט סטנדרטיים. כדי להריץ אותו צריך Node.js; לקוחות מפעילים אותו בדרך כלל עם npx - הפקודה המקובלת היא npx -y @lemmaoracle/mcp@0.0.17. הוא קורא את משתני הסביבה האלה: LEMMA_API_KEY (חובה, סודי) ו-LEMMA_API_BASE; יש להגדיר אותם בתצורת הלקוח עבור השרת הזה.
בפורמט ה-JSON של mcpServers, שלקוחות MCP רבים לדסקטופ ולעורכי קוד קוראים, הרשומה נראית כך (מצייני מקום בסוגריים זוויתיים):
{
"mcpServers": {
"mcp": {
"command": "npx",
"args": [
"-y",
"@lemmaoracle/mcp@0.0.17"
],
"env": {
"LEMMA_API_KEY": "<סוד>",
"LEMMA_API_BASE": "<ערך>"
}
}
}
}נגזר מהרשומה במרשם; הבדיקה החיה למעלה מראה רק אם נקודת הקצה השיבה. מה השרת עושה, ובאילו תנאים, נקבע על ידי המפרסם שלו; כדאי לבדוק את מאגר הקוד או את האתר שלו לפני שנותנים לו גישה לחשבונות או לקבצים שלך. איך מוסיפים שרת MCP לעוזר AI · לפני שמתחברים
עוד שרתים בקטגוריה פרודוקטיביות
| שרת | הרצה |
|---|---|
| Leave Pto Requests ApprovalsEmployee leave and PTO requests: balances, approvals, calendars, and who-is-out summaries. | מרוחק ומקומי · HTTP ו-stdioבדיקה חיה: ✓ לחיצת יד |
| LebenslaufHeldGerman CV builder: render real PDFs (20 templates), ATS + completeness checks. Anonymous, no auth. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| ledgenter.comThe shared work-management office for AI agents - projects, tasks, decisions, knowledge, handoffs. | מקומי · stdio |
| LedgerIQ 1099 & W-2 Compliance Checker1099/W-2 rules: is a form required, deadlines, backup withholding, late-filing penalties. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |
| Less Annoying CrmRead and write Less Annoying CRM contacts, notes, tasks, events, pipelines and groups. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| Less MeetingPlan meetings, take notes, track action items, goals and KPIs, and send minutes from Less Meeting. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |
| Letsclarify MCPHuman-in-the-Loop API: AI agents create forms, share URLs with humans, get JSON back. | מקומי · stdio |
| Letter AISearch and act on Letter AI sales enablement content, deals, and call recordings. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |