PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp active

Lean Theorem Prover MCP

Latest stable version	0.30.0
Published	2026-08-19 19:09:54 UTC
Requires	`python >=3.10`
License	MIT
Advisories on latest version	none known
Last verified	2026-09-28 19:22:26 UTC
Sources	pypi.org

Maintenance

Activity	active
Last stable release	2026-08-19 19:09:54 UTC · 40 days ago
Stable releases in the last 12 months	55
Published versions	81

Heuristic based only on release dates; it does not measure issue or security response times.

Showing the 20 most recent of 81 versions. JSON

What is the latest version of lean-lsp-mcp?

The latest stable version of lean-lsp-mcp is 0.30.0, published on 2026-08-19. Verified by Vigia on 2026-09-28.

Is lean-lsp-mcp deprecated?

No. lean-lsp-mcp is not marked as deprecated in the registry.

Which Python version does lean-lsp-mcp require?

lean-lsp-mcp 0.30.0 declares this requirement: python >=3.10.

Does lean-lsp-mcp 0.30.0 have known vulnerabilities?

No known advisories affect lean-lsp-mcp 0.30.0 according to the data Vigia checks.

Is lean-lsp-mcp still maintained?

lean-lsp-mcp published 55 stable releases in the last 12 months; the most recent was 40 days ago. Activity: active.

No changes observed yet since Vigia started tracking this package.

GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp
GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp/versions/{version}