Datos y búsqueda · Servidor MCP local
Leanforge MCP
MCP server for AI-driven formal proof search in Lean 4.
Lo que indica el MCP Registry
La entrada tal como está publicada en el MCP Registry oficial (consultada el 4 de octubre de 2026), última versión.
- Nombre en el registro
io.github.sandraschi/leanforge-mcp- Versión
- 0.1.0
- Estado
- Activo
- Categoría
- datos y búsqueda
- Transporte
- stdio (proceso local)
- Paquete
- MCP Bundle (.mcpb)
- Publicado
- 28 de agosto de 2026
- Actualizado
- 28 de agosto de 2026
- Editor
- sandraschi (GitHub) · 7 servidores con página aquí
- Espacio de nombres
- Espacio de nombres verificado por el MCP Registry mediante GitHub (github.com/sandraschi) · cómo
- Repositorio
- github.com/sandraschi/leanforge-mcp
- Fuente
- Entrada en la API del registro
Paquetes
| Registro | Paquete | Versión | Transporte |
|---|---|---|---|
| MCP Bundle (.mcpb) | https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpbIndica suma de comprobación SHA-256 | - | stdio |
Cómo conectar Leanforge MCP
Leanforge MCP se ejecuta en local a partir de un MCP Bundle: un único archivo descargable que contiene un servidor local y un manifiesto que lo describe: https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb. Usa MCP mediante stdio, así que el cliente lo inicia como programa y se comunica con él a través de la entrada y salida estándar. Necesita un cliente que instale MCP Bundles; el archivo se abre en ese cliente o se añade a él.
Obtenido de la entrada del registro, sin probar aquí. Lo que hace el servidor, y en qué condiciones, lo determina su editor; conviene revisar su repositorio o sitio web antes de darle acceso a cuentas o archivos propios. Cómo añadir un servidor MCP a un asistente · Antes de conectar
Más de sandraschi (GitHub)
| Servidor | Ejecución |
|---|---|
| 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 |
Más servidores de datos y búsqueda
| Servidor | Ejecución |
|---|---|
| LeadProofVerified local-business lead lists: quote, sample and order. Raw data via our Apify actors. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| LeadsmartsQualify B2B leads: live-web research, Hot/Warm/Cold verdicts with evidence, and outreach drafts. | Remoto · HTTPComprobación en directo: requiere inicio de sesión |
| 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. | Remoto · HTTPComprobación en directo: requiere inicio de sesión |
| LeanScale GTM KnowledgeGTM operations knowledge: delivery playbooks, field studies, benchmarks and operator interviews. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| Learn the Dao - Tao Te ChingRead, search and cite all 81 chapters of the Tao Te Ching, with per-rendering attribution. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| LeBonFoinFirst MCP for the European hemp & CBD market: real French CBD catalogue, producers, FR/EN wiki. | Remoto · SSEComprobación en directo: ✗ sin negociación inicial |
| LedgerfcGrounded sports predictions plus European soccer and tennis arbitrage data for AI agents. | Remoto y local · HTTP y stdioComprobación en directo: ✓ negociación inicial |