lean-lsp-mcp

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%)

More MCP Server Tools

Explore other popular mcp server tools:

n8n ⭐ 189.3k
ECC ⭐ 187.4k
everything-claude-code ⭐ 186.6k
dify ⭐ 142.3k
open-webui ⭐ 138.2k
gemini-cli ⭐ 104.5k
awesome-mcp-servers ⭐ 86.1k
servers ⭐ 86.1k
ragflow ⭐ 79.0k
lobehub ⭐ 77.5k

View all MCP Server tools →

Popular Python Agent Tools

AutoGPT ⭐ 184.5k · Agent Tool
hermes-agent ⭐ 162.8k · Codex Skill
langflow ⭐ 148.7k · Agent Tool
open-webui ⭐ 138.2k · MCP Server
skills ⭐ 137.5k · Claude 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.

View on GitHub → Browse MCP Server tools