נתונים וחיפוש · שרת MCP מקומי
Leanforge MCP
MCP server for AI-driven formal proof search in Lean 4.
מה ה-MCP Registry מציין
הרשומה כפי שפורסמה ב-MCP Registry הרשמי (נקרא ב-4 באוקטובר 2026), בגרסה האחרונה.
- שם במרשם
io.github.sandraschi/leanforge-mcp- גרסה
- 0.1.0
- סטטוס
- פעיל
- קטגוריה
- נתונים וחיפוש
- שכבת תעבורה
- stdio (תהליך מקומי)
- חבילה
- MCP Bundle (.mcpb)
- פורסם
- 28 באוגוסט 2026
- עודכן
- 28 באוגוסט 2026
- מפרסם
- sandraschi (GitHub) · 7 שרתים עם דפים כאן
- מרחב שמות
- מרחב השמות אומת על ידי ה-MCP Registry דרך GitHub (github.com/sandraschi) · איך
- מאגר קוד
- github.com/sandraschi/leanforge-mcp
- מקור
- הרשומה ב-API של המרשם
חבילות
| מרשם | חבילה | גרסה | שכבת תעבורה |
|---|---|---|---|
| MCP Bundle (.mcpb) | https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpbצוין סכום בדיקה SHA-256 | - | stdio |
איך מחברים את Leanforge MCP
Leanforge MCP רץ באופן מקומי מתוך MCP Bundle: ארכיון יחיד להורדה שמכיל שרת מקומי ומניפסט שמתאר אותו: https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb. הוא משתמש ב-MCP על גבי stdio, ולכן הלקוח מפעיל אותו כתוכנה ומתקשר איתו דרך קלט ופלט סטנדרטיים. כדי להריץ אותו צריך לקוח שמתקין MCP Bundles; את הקובץ פותחים בלקוח הזה או מוסיפים אליו.
נגזר מהרשומה במרשם, ולא נבדק כאן. מה השרת עושה, ובאילו תנאים, נקבע על ידי המפרסם שלו; כדאי לבדוק את מאגר הקוד או את האתר שלו לפני שנותנים לו גישה לחשבונות או לקבצים שלך. איך מוסיפים שרת MCP לעוזר AI · לפני שמתחברים
עוד מ-sandraschi (GitHub)
| שרת | הרצה |
|---|---|
| Godot MCPGodot MCP server - Godot 4.x engine control via TCP bridge, STL/GLB/OBJ import, GPU particles, an... | מקומי · stdio |
| Grandorgue MCPGrandOrgue pipe organ simulator MCP server - MIDI bridge, organ control, sample set management, m... | מקומי · stdio |
| Mixx Dj MCPFastMCP server for Mixxx DJ software control via OSC protocol. | מקומי · stdio |
| Overte MCPOverte (open-source Vircadia-lineage metaverse) Model Context Protocol server for domain administ... | מקומי · stdio |
| Qcad MCPQCAD MCP server - DXF/DWG floor plans to SVG preview + STL extrusion via MCP tools and REST API. | מקומי · stdio |
| Resonite MCPResonite social VR platform MCP server for natural language control of avatars, worlds, and Proto... | מקומי · stdio |
עוד שרתים בקטגוריה נתונים וחיפוש
| שרת | הרצה |
|---|---|
| LeadProofVerified local-business lead lists: quote, sample and order. Raw data via our Apify actors. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| LeadsmartsQualify B2B leads: live-web research, Hot/Warm/Cold verdicts with evidence, and outreach drafts. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |
| LeafenginesAgricultural AI: Soil analysis, crop recommendations, weather forecasts. FREE TurboQuant. | מקומי · stdio |
| League LoomFree fantasy sports AI: ESPN, Sleeper and Fantrax league data for Claude and ChatGPT. Read-only. | מרוחק · HTTPבדיקה חיה: נדרשת התחברות |
| LeanScale GTM KnowledgeGTM operations knowledge: delivery playbooks, field studies, benchmarks and operator interviews. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| Learn the Dao - Tao Te ChingRead, search and cite all 81 chapters of the Tao Te Ching, with per-rendering attribution. | מרוחק · HTTPבדיקה חיה: ✓ לחיצת יד |
| LeBonFoinFirst MCP for the European hemp & CBD market: real French CBD catalogue, producers, FR/EN wiki. | מרוחק · SSEבדיקה חיה: ✗ אין לחיצת יד |
| LedgerfcGrounded sports predictions plus European soccer and tennis arbitrage data for AI agents. | מרוחק ומקומי · HTTP ו-stdioבדיקה חיה: ✓ לחיצת יד |