SERVER

lean-lsp-mcp

Rank #14,332

glama/r-irbe/lean4-lsp-mcp

Enables AI coding agents to perform Lean 4 formal verification, navigate project symbols offline, and inspect C FFI bindings.

Listed & last published
Sep 19, 2026
OVERVIEW

lean-lsp-mcp is a Model Context Protocol (MCP) server published by r-irbe. It ranks #14,332 of 137,492 servers tracked on MCP Toplist. lean-lsp-mcp is listed on Glama, with 3 release tags tracked from its GitHub repository. It was first listed on Sep 19, 2026 and most recently updated on Sep 19, 2026.

STANDING
#14,332of 137,492 tracked serversTop 25%

Ranks ahead of 123,160 of 137,492 servers on MCP Toplist.

CONNECT

Use lean-lsp-mcp

No setupRuns out of the box

No credentials or required configuration declared — add it to your MCP client and go.

This server doesn't publish a machine-readable install config — see the repository README for install instructions.

BADGE

Show your rank

Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.

MCP Toplist: Top 25% of 137,492
Markdown
[![MCP Toplist](https://mcptoplist.com/badge/glama%2Fr-irbe%2Flean4-lsp-mcp.svg)](https://mcptoplist.com/server/glama%2Fr-irbe%2Flean4-lsp-mcp)
HTML
<a href="https://mcptoplist.com/server/glama%2Fr-irbe%2Flean4-lsp-mcp"><img src="https://mcptoplist.com/badge/glama%2Fr-irbe%2Flean4-lsp-mcp.svg" alt="MCP Toplist: Top 25% of 137,492" /></a>

Variants: append ?metric=score or ?metric=stars to the image URL.

REGISTRIES

Listed on 1 registry

ORGANIZATION

r-irbe

Organization
Servers in org
1
Versions across org
3
VERSIONS

GitHub releases (3)

No registry surfaces explicit version metadata for this server. The list below shows release tags from the linked GitHub repository.

v0.1.0 · Sep 19, 2026v0.2.0 · Sep 19, 2026v0.3.0 · Sep 19, 2026Sep 19, 2026Sep 19, 2026
VersionPublished
v0.3.0Sep 19, 2026
v0.2.0Sep 19, 2026
v0.1.0Sep 19, 2026
FAQ

Frequently asked questions

Who maintains lean-lsp-mcp?
lean-lsp-mcp is maintained by r-irbe, which publishes 1 MCP server (3 total versions) tracked on MCP Toplist.
Is lean-lsp-mcp listed on the Official MCP Registry?
lean-lsp-mcp is not on the Official MCP Registry. It is listed on Glama.
How many versions does lean-lsp-mcp have?
No registry surfaces explicit version metadata for lean-lsp-mcp; MCP Toplist tracks 3 release tags from its GitHub repository, most recently published on Sep 19, 2026.
Where can I find the source code for lean-lsp-mcp?
The source code for lean-lsp-mcp is hosted at github.com/r-irbe/lean4-lsp-mcp.
Used in projects

Do you run this server?

Add to a project

Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.

EXPLORE