lean-lsp-mcp — MCP Server by oOo0oOo

Last updated: 2026-05-04 · Indexed by AgentSkillsHub · Auto-synced every 8h

About lean-lsp-mcp

Lean Theorem Prover MCP

Quick Facts

Stars	372
Forks	61
Language	Python
Category	MCP Server
License	MIT
Quality Score	37.45/100
Open Issues	9
Last Updated	2026-05-04
Created	2025-03-29
Platforms	mcp, python
Est. Tokens	~90k

Compatible Skills

These tools work well together with lean-lsp-mcp for enhanced workflows:

sf-skills — semantic(0.17)+complementary+same_lang+similar_pop+shared_platform (51%)
claude-code-lsps — semantic(0.47)+complementary+rare_topics+similar_pop (51%)
cclsp — semantic(0.68)+rare_topics+similar_pop+shared_platform (48%)
davinci-resolve-mcp — semantic(0.37)+same_lang+similar_pop+shared_platform (48%)
MCPTest — semantic(0.49)+same_lang+similar_pop+shared_platform (47%)

lean-lsp-mcp alternative? Top 6 similar tools

Looking for a lean-lsp-mcp alternative? If you're comparing lean-lsp-mcp with other mcp server tools, these 6 projects are the closest alternatives on Agent Skills Hub — ranked by topic overlap, star count, and community traction.

cclsp by ktnyt · ⭐ 580
Claude Code LSP: enhance your Claude Code experience with non-IDE dependent LSP integration.
agnix by agent-sh · ⭐ 224
The missing linter and lsp for AI coding assistants. Validate CLAUDE.md, AGENTS.md, SKILL.md, hooks, MCP. Plug
CodeMCP by SimplyLiz · ⭐ 90
Code intelligence for AI assistants - MCP server, CLI, and HTTP API with symbol navigation, impact analysis, a
vscode-mcp by tjx666 · ⭐ 75
MCP server for Claude Code/VSCode/Cursor/Windsurf to use editor self functionality. ⚡ Get real-time LSP diagno
soulforge by proxysoul · ⭐ 615
Graph-powered code intelligence, multi-agent coding with codebase-aware AI. No more grep & pray
claude-code-lsps by Piebald-AI · ⭐ 425
Claude Code Plugin Marketplace with LSP servers

More MCP Server Tools

Explore other popular mcp server tools:

n8n ⭐ 186.8k
everything-claude-code ⭐ 172.3k
dify ⭐ 140.2k
open-webui ⭐ 135.5k
gemini-cli ⭐ 103.2k
awesome-mcp-servers ⭐ 86.1k
servers ⭐ 84.0k
ragflow ⭐ 79.0k
lobehub ⭐ 76.1k
cc-switch ⭐ 57.8k

View all MCP Server tools →

Popular Python Agent Tools

AutoGPT ⭐ 184.0k · Agent Tool
langflow ⭐ 147.7k · Agent Tool
langchain ⭐ 135.8k · Agent Tool
open-webui ⭐ 135.5k · MCP Server
hermes-agent ⭐ 133.8k · Codex Skill

Frequently Asked Questions

What is lean-lsp-mcp?

lean-lsp-mcp is Lean Theorem Prover MCP. It is categorized as a MCP Server with 372 GitHub stars.

What programming language is lean-lsp-mcp written in?

lean-lsp-mcp is primarily written in Python. It covers topics such as lean4, lsp, mcp.

How do I install or use lean-lsp-mcp?

You can find installation instructions and usage details in the lean-lsp-mcp GitHub repository at github.com/oOo0oOo/lean-lsp-mcp. The project has 372 stars and 61 forks, indicating an active community.

What license does lean-lsp-mcp use?

lean-lsp-mcp is released under the MIT license, making it free to use and modify according to the license terms.

What are the best alternatives to lean-lsp-mcp?

The top alternatives to lean-lsp-mcp on Agent Skills Hub include cclsp, agnix, CodeMCP. Each offers a different approach to the same problem space — compare them side-by-side by stars, quality score, and community activity.

View on GitHub → Browse MCP Server tools