Claude Code Skills·Claude Skills·The open SKILL.md registry for Claude
ClaudSkills › Arcade › MCP Servers › lean-lsp-mcp

lean-lsp-mcp

Lean Theorem Prover MCP

external MIT

Get this

External tool — open the project website for install instructions:

https://github.com/oOo0oOo/lean-lsp-mcp

Details

Websitehttps://github.com/oOo0oOo/lean-lsp-mcp
GitHubhttps://github.com/oOo0oOo/lean-lsp-mcp
LicenseMIT
Pricingfree
Tagslean4 lsp mcp
Sourcesgithub-mcp-topic
Discovered2026-05-25

More in MCP Servers

See all MCP Servers →

ClaudSkills Arcade · All categories · Catalog JSON · CC BY 4.0 · independent of Anthropic PBC