Daten und Suche · Lokaler MCP-Server
Leanforge MCP
MCP server for AI-driven formal proof search in Lean 4.
Was die MCP Registry angibt
Der Eintrag, wie er in der offiziellen MCP Registry veröffentlicht ist (Stand: 4. Oktober 2026), neueste Version.
- Registry-Name
io.github.sandraschi/leanforge-mcp- Version
- 0.1.0
- Status
- Aktiv
- Kategorie
- Daten und Suche
- Transport
- stdio (lokaler Prozess)
- Paket
- MCP Bundle (.mcpb)
- Veröffentlicht
- 28. August 2026
- Aktualisiert
- 28. August 2026
- Herausgeber
- sandraschi (GitHub) · 7 Server mit eigener Seite hier
- Namensraum
- Namensraum von der MCP Registry über GitHub verifiziert (github.com/sandraschi) · So wird verifiziert
- Repository
- github.com/sandraschi/leanforge-mcp
- Quelle
- Eintrag in der Registry-API
Pakete
| Registry | Paket | Version | Transport |
|---|---|---|---|
| MCP Bundle (.mcpb) | https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpbSHA-256-Prüfsumme angegeben | - | stdio |
So verbinden Sie Leanforge MCP
Leanforge MCP wird lokal ausgeführt, und zwar aus einem MCP Bundle, also einem einzelnen herunterladbaren Archiv mit einem lokalen Server und einem Manifest, das ihn beschreibt: https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb. Der Server spricht MCP über stdio: Der Client startet ihn als Programm und kommuniziert mit ihm über Standardein- und -ausgabe. Benötigt wird ein Client, der MCP Bundles installiert; die Datei wird in diesem Client geöffnet oder ihm hinzugefügt.
Abgeleitet aus dem Registry-Eintrag, hier nicht getestet. Was der Server tut und zu welchen Bedingungen, legt sein Herausgeber fest; prüfen Sie sein Repository oder seine Website, bevor Sie ihm Zugriff auf Ihre Konten oder Dateien geben. So fügen Sie einem Assistenten einen MCP-Server hinzu · Vor dem Verbinden
Mehr von sandraschi (GitHub)
| Server | Ausführung |
|---|---|
| Godot MCPGodot MCP server - Godot 4.x engine control via TCP bridge, STL/GLB/OBJ import, GPU particles, an... | Lokal · stdio |
| Grandorgue MCPGrandOrgue pipe organ simulator MCP server - MIDI bridge, organ control, sample set management, m... | Lokal · stdio |
| Mixx Dj MCPFastMCP server for Mixxx DJ software control via OSC protocol. | Lokal · stdio |
| Overte MCPOverte (open-source Vircadia-lineage metaverse) Model Context Protocol server for domain administ... | Lokal · stdio |
| Qcad MCPQCAD MCP server - DXF/DWG floor plans to SVG preview + STL extrusion via MCP tools and REST API. | Lokal · stdio |
| Resonite MCPResonite social VR platform MCP server for natural language control of avatars, worlds, and Proto... | Lokal · stdio |
Weitere Server der Kategorie Daten und Suche
| Server | Ausführung |
|---|---|
| LeadProofVerified local-business lead lists: quote, sample and order. Raw data via our Apify actors. | Remote · HTTPLive-Prüfung: ✓ Handshake |
| LeadsmartsQualify B2B leads: live-web research, Hot/Warm/Cold verdicts with evidence, and outreach drafts. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |
| LeafenginesAgricultural AI: Soil analysis, crop recommendations, weather forecasts. FREE TurboQuant. | Lokal · stdio |
| League LoomFree fantasy sports AI: ESPN, Sleeper and Fantrax league data for Claude and ChatGPT. Read-only. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |
| LeanScale GTM KnowledgeGTM operations knowledge: delivery playbooks, field studies, benchmarks and operator interviews. | Remote · HTTPLive-Prüfung: ✓ Handshake |
| Learn the Dao - Tao Te ChingRead, search and cite all 81 chapters of the Tao Te Ching, with per-rendering attribution. | Remote · HTTPLive-Prüfung: ✓ Handshake |
| LeBonFoinFirst MCP for the European hemp & CBD market: real French CBD catalogue, producers, FR/EN wiki. | Remote · SSELive-Prüfung: ✗ kein Handshake |
| LedgerfcGrounded sports predictions plus European soccer and tennis arbitrage data for AI agents. | Remote und lokal · HTTP und stdioLive-Prüfung: ✓ Handshake |