pypiunclaimed
lean-lsp-mcp
pypi:lean-lsp-mcp
Observed usage
Public GitHub configs — re-verifiable by anyoneObserved in 2 public repositories. Ranks #881 of 8,792 servers observed in the wild. See all repos using this →
Adoption trend · 2026-06-01 → 2026-06-04 · flat
● center: this server━ inner ring: co-occurring servers (size = shared repos)┄ outer ring: consumer repos— hover a node for its name, click to open
Wired via: kiro · 1unknown · 1
Repos using this also use:
- sha256:25edde87f0436277da9ceaa359b28611ea2a3ffe9579ea4efc5912431b34f03e1 shared repos
- sha256:ff74ee867be07e0a4648f1caea814f939308193417e89b1eceb72279bdba9b731 shared repos
- @anthropic/mcp-server-brave-search1 shared repos
- @anthropic/mcp-server-wolfram-alpha1 shared repos
- @falkordb/mcpserver1 shared repos
- @modelcontextprotocol/server-everything1 shared repos
- @modelcontextprotocol/server-filesystem1 shared repos
- sha256:1bcdfbfcbc46900dd4a93d477e5883e537c3653b6a320a7ee102d0669cee55f31 shared repos
Seen in:
Aggregates count every public reference; repos that opt out of listing are counted but not named.
Static signals
Public sources — re-verifiable by anyone · updated unknown- Weekly downloads
- —
- GitHub stars
- —
- SECURITY.md
- —
- Versions
- 0
- Latest
- —
- License
- —
Author-declared
Not yet claimedNo author context yet. Are you the author? Claim this page.
Community-observed
Opt-in, anonymized signal from people who ran ax-rayNot enough signal yet — no community aggregate is shown below 5 contributors (k-anonymity floor). Run npx ax-ray --submit to contribute.
Embed a badge
Are you the author? Claim this page →Adoption
Live count of public repos observed wiring this server up.
[](/server/pypi/lean-lsp-mcp)Status
The band this page currently sits in — observed, never a verdict.
[](/server/pypi/lean-lsp-mcp)