# lean-lsp-mcp (pypi)

- Status: active
- Latest stable version: 0.30.0 (published 2026-08-19T19:09:54.540643Z)
- Requires Python: >=3.10
- License: MIT
- Advisories on latest version: none known
- Verified: 2026-09-28T19:22:26.768Z
- Sources: https://pypi.org/pypi/lean-lsp-mcp/json

JSON: https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp