Dati · Server MCP locale
Leanforge MCP
MCP server for AI-driven formal proof search in Lean 4.
Cosa indica il MCP Registry
La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.
- Nome nel registro
io.github.sandraschi/leanforge-mcp- Versione
- 0.1.0
- Stato
- Attivo
- Categoria
- dati
- Trasporto
- stdio (processo locale)
- Pacchetto
- MCP Bundle (.mcpb)
- Pubblicato
- 28 agosto 2026
- Aggiornato
- 28 agosto 2026
- Editore
- sandraschi (GitHub) · 7 server con una pagina qui
- Namespace
- Namespace verificato dal MCP Registry tramite GitHub (github.com/sandraschi) · come funziona
- Repository
- github.com/sandraschi/leanforge-mcp
- Fonte
- Voce nell’API del registro
Pacchetti
| Registro | Pacchetto | Versione | Trasporto |
|---|---|---|---|
| MCP Bundle (.mcpb) | https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpbChecksum SHA-256 indicato | - | stdio |
Come collegare Leanforge MCP
Leanforge MCP viene eseguito in locale a partire da un MCP Bundle: un unico archivio scaricabile che contiene un server locale e un manifest che lo descrive: https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb. Comunica via MCP su stdio, quindi il client lo avvia come programma e dialoga con esso tramite standard input e standard output. Richiede un client in grado di installare gli MCP Bundle; il file va aperto in quel client o aggiunto a esso.
Ricavato dalla voce del registro, non testato qui. Cosa fa il server, e a quali condizioni, lo stabilisce il suo editore; prima di concedergli l’accesso ai propri account o file conviene consultarne il repository o il sito web. Come aggiungere un server MCP a un assistente · Prima di collegare un server
Altri server di sandraschi (GitHub)
| Server | Esecuzione |
|---|---|
| Godot MCPGodot MCP server - Godot 4.x engine control via TCP bridge, STL/GLB/OBJ import, GPU particles, an... | Locale · stdio |
| Grandorgue MCPGrandOrgue pipe organ simulator MCP server - MIDI bridge, organ control, sample set management, m... | Locale · stdio |
| Mixx Dj MCPFastMCP server for Mixxx DJ software control via OSC protocol. | Locale · stdio |
| Overte MCPOverte (open-source Vircadia-lineage metaverse) Model Context Protocol server for domain administ... | Locale · stdio |
| Qcad MCPQCAD MCP server - DXF/DWG floor plans to SVG preview + STL extrusion via MCP tools and REST API. | Locale · stdio |
| Resonite MCPResonite social VR platform MCP server for natural language control of avatars, worlds, and Proto... | Locale · stdio |
Altri server della categoria dati
| Server | Esecuzione |
|---|---|
| LeadProofVerified local-business lead lists: quote, sample and order. Raw data via our Apify actors. | Remoto · HTTPVerifica live: ✓ handshake |
| LeadsmartsQualify B2B leads: live-web research, Hot/Warm/Cold verdicts with evidence, and outreach drafts. | Remoto · HTTPVerifica live: accesso richiesto |
| LeafenginesAgricultural AI: Soil analysis, crop recommendations, weather forecasts. FREE TurboQuant. | Locale · stdio |
| League LoomFree fantasy sports AI: ESPN, Sleeper and Fantrax league data for Claude and ChatGPT. Read-only. | Remoto · HTTPVerifica live: accesso richiesto |
| LeanScale GTM KnowledgeGTM operations knowledge: delivery playbooks, field studies, benchmarks and operator interviews. | Remoto · HTTPVerifica live: ✓ handshake |
| Learn the Dao - Tao Te ChingRead, search and cite all 81 chapters of the Tao Te Ching, with per-rendering attribution. | Remoto · HTTPVerifica live: ✓ handshake |
| LeBonFoinFirst MCP for the European hemp & CBD market: real French CBD catalogue, producers, FR/EN wiki. | Remoto · SSEVerifica live: ✗ nessun handshake |
| LedgerfcGrounded sports predictions plus European soccer and tennis arbitrage data for AI agents. | Remoto e locale · HTTP e stdioVerifica live: ✓ handshake |