Lean Theorem Prover MCP
- ✓Open-source license (MIT)
- ✓Actively maintained (<30d)
- ✓Healthy fork ratio
- ✓Topics declared
- ✓Mature repo (>1y old)
claude mcp add lean-lsp-mcp -- uvx lean-lsp-mcp{
"mcpServers": {
"lean-lsp-mcp": {
"command": "uvx",
"args": ["lean-lsp-mcp"]
}
}
}MCP Servers overview
What people ask about lean-lsp-mcp
What is oOo0oOo/lean-lsp-mcp?
+
oOo0oOo/lean-lsp-mcp is mcp servers for the Claude AI ecosystem. Lean Theorem Prover MCP It has 407 GitHub stars and was last updated 3d ago.
How do I install lean-lsp-mcp?
+
You can install lean-lsp-mcp by cloning the repository (https://github.com/oOo0oOo/lean-lsp-mcp) or following the README instructions on GitHub. ClaudeWave also provides quick install blocks on this page.
Is oOo0oOo/lean-lsp-mcp safe to use?
+
Our security agent has analyzed oOo0oOo/lean-lsp-mcp and assigned a Trust Score of 97/100 (tier: Verified). See the full breakdown of passed checks and flags on this page.
Who maintains oOo0oOo/lean-lsp-mcp?
+
oOo0oOo/lean-lsp-mcp is maintained by oOo0oOo. The last recorded GitHub activity is from 3d ago, with 2 open issues.
Are there alternatives to lean-lsp-mcp?
+
Yes. On ClaudeWave you can browse similar mcp servers at /categories/mcp, sorted by popularity or recent activity.
Deploy lean-lsp-mcp to your cloud
Ship this repo to production in minutes. Each platform spins up its own environment with editable env vars.
Maintain this repo? Add a badge to your README
Drop the badge into your GitHub README to show it's tracked on ClaudeWave. Each badge links back to this page and reflects the live Trust Score.
[](https://claudewave.com/repo/ooo0ooo-lean-lsp-mcp)<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>More MCP Servers
Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.
User-friendly AI Interface (Supports Ollama, OpenAI API, ...)
An open-source AI agent that brings the power of Gemini directly into your terminal.
The fastest path to AI-powered full stack observability, even for lean teams.
🕷️ An adaptive Web Scraping framework that handles everything from a single request to a full-scale crawl!
⭐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 等渠道智能推送。