Data en zoeken · Lokale MCP-server
Leanforge MCP
MCP server for AI-driven formal proof search in Lean 4.
Wat de MCP Registry vermeldt
De vermelding zoals gepubliceerd in de officiële MCP Registry (geraadpleegd op 4 oktober 2026), nieuwste versie.
- Registernaam
io.github.sandraschi/leanforge-mcp- Versie
- 0.1.0
- Status
- Actief
- Categorie
- data en zoeken
- Transport
- stdio (lokaal proces)
- Pakket
- MCP Bundle (.mcpb)
- Gepubliceerd
- 28 augustus 2026
- Bijgewerkt
- 28 augustus 2026
- Uitgever
- sandraschi (GitHub) · 7 servers met een pagina hier
- Namespace
- Namespace door de MCP Registry geverifieerd via GitHub (github.com/sandraschi) · hoe
- Repository
- github.com/sandraschi/leanforge-mcp
- Bron
- Vermelding in de register-API
Pakketten
| Register | Pakket | Versie | Transport |
|---|---|---|---|
| MCP Bundle (.mcpb) | https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpbSHA-256-checksum vermeld | - | stdio |
Zo verbind je Leanforge MCP
Leanforge MCP draait lokaal vanuit een MCP Bundle: één downloadbaar archief met een lokale server en een manifest dat die beschrijft: https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb. Hij spreekt MCP via stdio, dus de client start hem als programma en communiceert ermee via standaardinvoer en -uitvoer. Hij vereist een client die MCP Bundles installeert; het bestand wordt in die client geopend of eraan toegevoegd.
Afgeleid van de registervermelding, hier niet getest. Wat de server doet en onder welke voorwaarden, bepaalt de uitgever; bekijk de repository of website voordat je de server toegang geeft tot je accounts of bestanden. Een MCP-server aan een assistent toevoegen · Voordat je verbinding maakt
Meer van sandraschi (GitHub)
| Server | Draait |
|---|---|
| Godot MCPGodot MCP server - Godot 4.x engine control via TCP bridge, STL/GLB/OBJ import, GPU particles, an... | Lokaal · stdio |
| Grandorgue MCPGrandOrgue pipe organ simulator MCP server - MIDI bridge, organ control, sample set management, m... | Lokaal · stdio |
| Mixx Dj MCPFastMCP server for Mixxx DJ software control via OSC protocol. | Lokaal · stdio |
| Overte MCPOverte (open-source Vircadia-lineage metaverse) Model Context Protocol server for domain administ... | Lokaal · stdio |
| Qcad MCPQCAD MCP server - DXF/DWG floor plans to SVG preview + STL extrusion via MCP tools and REST API. | Lokaal · stdio |
| Resonite MCPResonite social VR platform MCP server for natural language control of avatars, worlds, and Proto... | Lokaal · stdio |
Meer servers in de categorie data en zoeken
| Server | Draait |
|---|---|
| LeadProofVerified local-business lead lists: quote, sample and order. Raw data via our Apify actors. | Extern · HTTPLivecontrole: ✓ handshake |
| LeadsmartsQualify B2B leads: live-web research, Hot/Warm/Cold verdicts with evidence, and outreach drafts. | Extern · HTTPLivecontrole: inloggen vereist |
| LeafenginesAgricultural AI: Soil analysis, crop recommendations, weather forecasts. FREE TurboQuant. | Lokaal · stdio |
| League LoomFree fantasy sports AI: ESPN, Sleeper and Fantrax league data for Claude and ChatGPT. Read-only. | Extern · HTTPLivecontrole: inloggen vereist |
| LeanScale GTM KnowledgeGTM operations knowledge: delivery playbooks, field studies, benchmarks and operator interviews. | Extern · HTTPLivecontrole: ✓ handshake |
| Learn the Dao - Tao Te ChingRead, search and cite all 81 chapters of the Tao Te Ching, with per-rendering attribution. | Extern · HTTPLivecontrole: ✓ handshake |
| LeBonFoinFirst MCP for the European hemp & CBD market: real French CBD catalogue, producers, FR/EN wiki. | Extern · SSELivecontrole: ✗ geen handshake |
| LedgerfcGrounded sports predictions plus European soccer and tennis arbitrage data for AI agents. | Extern en lokaal · HTTP en stdioLivecontrole: ✓ handshake |