pypi / lean-lsp-mcp
lean-lsp-mcp
pypi package · source repo ↗ · registry ↗ · part of ⌾ ooo0ooo/lean-lsp-mcp
784k
downloads
0
downloads · 7d
+0.0%
growth · 7d
21.6k
downloads_daily
+19.7k
downloads_daily · 7d
+1079.0%
growth · 7d
529
stars
+6
stars · 7d
+1.1%
growth · 7d
downloads · history
4 change-day(s) recorded — hover for exact values⚠ last changed 2026-10-01 (14 days ago). This item's source hasn't refreshed since, so it doesn't rank as a current mover.
Versions
latest 10 releases (no per-version downloads for this source)| Version | Published |
|---|---|
| 0.31.0 | 2026-09-30 |
| 0.30.0 | 2026-08-19 |
| 0.29.0 | 2026-07-28 |
| 0.28.1 | 2026-07-17 |
| 0.28.0 | 2026-07-06 |
| 0.27.0 | 2026-06-09 |
| 0.26.2 | 2026-05-04 |
| 0.26.1 | 2026-04-10 |
| 0.26.0 | 2026-04-08 |
| 0.25.1 | 2026-03-17 |