lean-lsp-mcp

Name: oOo0oOo/lean-lsp-mcp
Author: oOo0oOo

Ver en GitHub

Lean Theorem Prover MCP

MCP Servers460 estrellas73 forks● PythonMITActualizado 10d ago

ClaudeWave Trust Score

97/100

✓ Verified

Passed

✓Open-source license (MIT)
✓Actively maintained (<30d)
✓Healthy fork ratio
✓Topics declared
✓Mature repo (>1y old)

Last scanned: 6/11/2026

Install in Claude Code / Claude Desktop

Method: UVX (Python) · lean-lsp-mcp

Claude Code CLI

claude mcp add lean-lsp-mcp -- uvx lean-lsp-mcp

claude_desktop_config.json (Claude Desktop)

{
  "mcpServers": {
    "lean-lsp-mcp": {
      "command": "uvx",
      "args": ["lean-lsp-mcp"]
    }
  }
}

1. Run the command above in your terminal (Claude Code), or paste the JSON config into claude_desktop_config.json (Claude Desktop).

2. Replace any <placeholder> values with your API keys or paths.

3. Restart Claude. The MCP server and its tools appear automatically.

💡 Package name inferred from the repository name. Verify it exists on PyPI, or clone https://github.com/oOo0oOo/lean-lsp-mcp and follow its README.

Sobre el repo

Resumen de MCP Servers

README no disponible. Visita el repo en GitHub para la documentación completa.

Topics

lean4lspmcp

Preguntas frecuentes

Lo que la gente pregunta sobre lean-lsp-mcp

¿Qué es oOo0oOo/lean-lsp-mcp?

oOo0oOo/lean-lsp-mcp es mcp servers para el ecosistema de Claude AI. Lean Theorem Prover MCP Tiene 460 estrellas en GitHub y se actualizó por última vez 10d ago.

¿Cómo se instala lean-lsp-mcp?

Puedes instalar lean-lsp-mcp clonando el repositorio (https://github.com/oOo0oOo/lean-lsp-mcp) o siguiendo las instrucciones del README en GitHub. ClaudeWave también te ofrece bloques de instalación rápida en esta misma página.

¿Es seguro usar oOo0oOo/lean-lsp-mcp?

Nuestro agente de seguridad ha analizado oOo0oOo/lean-lsp-mcp y le ha asignado un Trust Score de 97/100 (tier: Verified). Revisa el desglose completo de comprobaciones superadas y flags en esta página.

¿Quién mantiene oOo0oOo/lean-lsp-mcp?

oOo0oOo/lean-lsp-mcp es mantenido por oOo0oOo. La última actividad registrada en GitHub es de 10d ago, con 5 issues abiertos.

¿Hay alternativas a lean-lsp-mcp?

Sí. En ClaudeWave puedes explorar mcp servers similares en /categories/mcp, ordenados por popularidad o actividad reciente.

Deploy en 1 click

Despliega lean-lsp-mcp en tu cloud

Lleva este repo a producción en minutos. Cada plataforma genera su propio entorno con variables de entorno editables.

Vercel Railway Render

Badge embebible

¿Mantienes este repo? Añade un badge a tu README

Pega el badge en tu README de GitHub para mostrar que está auditado por ClaudeWave. Cada badge enlaza de vuelta a esta página y muestra el Trust Score actual.

Markdown (README)

[![Featured on ClaudeWave](https://claudewave.com/api/badge/ooo0ooo-lean-lsp-mcp)](https://claudewave.com/repo/ooo0ooo-lean-lsp-mcp)

HTML

<a href="https://claudewave.com/repo/ooo0ooo-lean-lsp-mcp"><img src="https://claudewave.com/api/badge/ooo0ooo-lean-lsp-mcp" alt="Featured on ClaudeWave: oOo0oOo/lean-lsp-mcp" width="320" height="64" /></a>

Relacionados

Más MCP Servers

n8n-io

n8n

today

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

198.3k59.7kTypeScript

MCP ServersaiapisInstall

open-webui

today

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

147k21.4kPython

MCP ServersaillmInstall

google-gemini

gemini-cli

today

An open-source AI agent that brings the power of Gemini directly into your terminal.

106.2k14.3kTypeScript

MCP Serversaiai-agentsInstall

netdata

today

The fastest path to AI-powered full stack observability, even for lean teams.

79.9k6.5kGo

MCP ServersaialertingInstall

koala73

worldmonitor

today

Real-time global intelligence dashboard. AI-powered news aggregation, geopolitical monitoring, and infrastructure tracking in a unified situational awareness interface

75.4k11.3kTypeScript

MCP ServersagentaiInstall

D4Vinci

Scrapling

today

🕷️ An adaptive Web Scraping framework that handles everything from a single request to a full-scale crawl!

71.5k7.1kPython

MCP Serversaiai-scrapingInstall