lean-lsp-mcp

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

Ver en GitHub

Lean Theorem Prover MCP

MCP Servers407 estrellas65 forks● PythonMITActualizado 3d 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 407 estrellas en GitHub y se actualizó por última vez 3d 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 3d ago, con 2 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.

192.2k58.5kTypeScript

MCP ServersaiapisInstall

open-webui

today

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

141.3k20.3kPython

MCP ServersaillmInstall

google-gemini

gemini-cli

today

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

105.2k14kTypeScript

MCP Serversaiai-agentsInstall

netdata

today

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

79.1k6.4kC

MCP ServersaialertingInstall

D4Vinci

Scrapling

5d ago

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

63.3k6.2kPython

MCP Serversaiai-scrapingInstall

sansan0

TrendRadar

today

⭐AI-driven public opinion & trend monitor with multi-platform aggregation, RSS, and smart alerts.🎯 告别信息过载，你的 AI 舆情监控助手与热点筛选工具！聚合多平台热点 + RSS 订阅，支持关键词精准筛选。AI 智能筛选新闻 + AI 翻译 + AI 分析简报直推手机，也支持接入 MCP 架构，赋能 AI 自然语言对话分析、情感洞察与趋势预测等。支持 Docker ，数据本地/云端自持。集成微信/飞书/钉钉/Telegram/邮件/ntfy/bark/slack 等渠道智能推送。

59.4k24.6kPython

MCP ServersaibarkInstall