Données et recherche · Serveur MCP local
Leanforge MCP
MCP server for AI-driven formal proof search in Lean 4.
Ce qu’indique le MCP Registry
L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.
- Nom dans le registre
io.github.sandraschi/leanforge-mcp- Version
- 0.1.0
- Statut
- Actif
- Catégorie
- données et recherche
- Transport
- stdio (processus local)
- Paquet
- MCP Bundle (.mcpb)
- Publié
- 28 août 2026
- Mis à jour
- 28 août 2026
- Éditeur
- sandraschi (GitHub) · 7 serveurs avec une page ici
- Espace de noms
- Espace de noms vérifié par le MCP Registry via GitHub (github.com/sandraschi) · comment
- Dépôt
- github.com/sandraschi/leanforge-mcp
- Source
- Entrée dans l’API du registre
Paquets
| Registre | Paquet | Version | Transport |
|---|---|---|---|
| MCP Bundle (.mcpb) | https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpbSomme de contrôle SHA-256 indiquée | - | stdio |
Comment connecter Leanforge MCP
Leanforge MCP s’exécute en local depuis un MCP Bundle : une archive unique à télécharger qui contient un serveur local et un manifeste qui le décrit : https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb. Il communique en MCP via stdio : le client le lance comme un programme et échange avec lui par l’entrée et la sortie standard. Il nécessite un client qui installe les MCP Bundles ; le fichier s’ouvre dans ce client ou s’y ajoute.
Déduit de l’entrée du registre, non testé ici. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur
Du même éditeur : sandraschi (GitHub)
| Serveur | Exécution |
|---|---|
| Godot MCPGodot MCP server - Godot 4.x engine control via TCP bridge, STL/GLB/OBJ import, GPU particles, an... | Local · stdio |
| Grandorgue MCPGrandOrgue pipe organ simulator MCP server - MIDI bridge, organ control, sample set management, m... | Local · stdio |
| Mixx Dj MCPFastMCP server for Mixxx DJ software control via OSC protocol. | Local · stdio |
| Overte MCPOverte (open-source Vircadia-lineage metaverse) Model Context Protocol server for domain administ... | Local · stdio |
| Qcad MCPQCAD MCP server - DXF/DWG floor plans to SVG preview + STL extrusion via MCP tools and REST API. | Local · stdio |
| Resonite MCPResonite social VR platform MCP server for natural language control of avatars, worlds, and Proto... | Local · stdio |
Autres serveurs : données et recherche
| Serveur | Exécution |
|---|---|
| LeadProofVerified local-business lead lists: quote, sample and order. Raw data via our Apify actors. | Distant · HTTPVérification en direct : ✓ poignée de main |
| LeadsmartsQualify B2B leads: live-web research, Hot/Warm/Cold verdicts with evidence, and outreach drafts. | Distant · HTTPVérification en direct : connexion requise |
| LeafenginesAgricultural AI: Soil analysis, crop recommendations, weather forecasts. FREE TurboQuant. | Local · stdio |
| League LoomFree fantasy sports AI: ESPN, Sleeper and Fantrax league data for Claude and ChatGPT. Read-only. | Distant · HTTPVérification en direct : connexion requise |
| LeanScale GTM KnowledgeGTM operations knowledge: delivery playbooks, field studies, benchmarks and operator interviews. | Distant · HTTPVérification en direct : ✓ poignée de main |
| Learn the Dao - Tao Te ChingRead, search and cite all 81 chapters of the Tao Te Ching, with per-rendering attribution. | Distant · HTTPVérification en direct : ✓ poignée de main |
| LeBonFoinFirst MCP for the European hemp & CBD market: real French CBD catalogue, producers, FR/EN wiki. | Distant · SSEVérification en direct : ✗ pas de poignée de main |
| LedgerfcGrounded sports predictions plus European soccer and tennis arbitrage data for AI agents. | Distant et local · HTTP et stdioVérification en direct : ✓ poignée de main |