PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp active

Lean Theorem Prover MCP

The latest stable version of lean-lsp-mcp is 0.33.0, published on 2026-11-03. Verified by Vigia on 2026-11-13.

Latest stable version	0.33.0
Published	2026-11-03 16:06:41 UTC
Install	`pip install --upgrade lean-lsp-mcp`
Requires	`python >=3.10`
License	MIT
Advisories on latest version	none known
Last verified	2026-11-13 10:16:18 UTC
Sources	pypi.org

Ask your AI assistant to check this

AI models are trained up to a date, so they can be wrong about versions, deprecations and vulnerabilities. Paste this into Claude, ChatGPT, Perplexity or Cursor and it will answer with the verified data on this page:

Before answering about the pypi package "lean-lsp-mcp", check Vigia (verified, dated facts): https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp . For my whole project use https://vigia.coredls.cloud/context

Check my whole package.json

Using an AI coding agent every day? Connect Vigia once and it checks this by itself.

Maintenance

Activity	active
Last stable release	2026-11-03 16:06:41 UTC · 9 days ago
Stable releases in the last 12 months	41
Published versions	84

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

Version history

Version	Published
`0.33.0`	2026-11-03 16:06:41 UTC
`0.32.0`	2026-10-26 19:50:40 UTC
`0.31.0`	2026-09-30 19:38:44 UTC
`0.30.0`	2026-08-19 19:09:54 UTC
`0.29.0`	2026-07-28 08:45:15 UTC
`0.28.1`	2026-07-17 18:09:01 UTC
`0.28.0`	2026-07-06 12:55:23 UTC
`0.27.0`	2026-06-09 15:31:17 UTC
`0.26.2`	2026-05-04 09:20:41 UTC
`0.26.1`	2026-04-10 14:52:14 UTC
`0.26.0`	2026-04-08 18:49:02 UTC
`0.25.1`	2026-03-17 13:55:14 UTC
`0.25.0`	2026-03-17 13:14:05 UTC
`0.24.0`	2026-03-11 14:23:15 UTC
`0.23.2`	2026-03-08 13:24:23 UTC
`0.23.1`	2026-03-04 15:04:08 UTC
`0.23.0`	2026-03-04 14:12:17 UTC
`0.22.4`	2026-03-03 18:31:59 UTC
`0.22.3`	2026-03-02 20:28:51 UTC
`0.22.2`	2026-02-25 17:55:10 UTC

Showing the 20 most recent of 84 versions. JSON

Version compatibility

Newest stable version that declares support for each runtime version (from the requirements published with each version).

Runtime	Newest compatible version
`python 3.8`	none
`python 3.9`	none
`python 3.10`	`0.33.0`
`python 3.11`	`0.33.0`
`python 3.12`	`0.33.0`
`python 3.13`	`0.33.0`

Give your AI agent these facts

Vigia is a free MCP server: your coding agent checks versions, breaking changes and vulnerabilities before it writes code. No signup, no API key.

claude mcp add --transport http vigia https://vigia.coredls.cloud/mcp

Add to Cursor Add to VS Code ★ Star on GitHub

Any other MCP client

{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Agent skill (SKILL.md): tells the agent when to use Vigia · GitHub Action for pull requests

Frequently asked questions

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

The latest stable version of lean-lsp-mcp is 0.33.0, published on 2026-11-03. Verified by Vigia on 2026-11-13.

How do I install the latest version of lean-lsp-mcp?

Run pip install --upgrade lean-lsp-mcp. The latest stable version is 0.33.0 (verified 2026-11-13).

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.33.0 declares this requirement: python >=3.10.

Does lean-lsp-mcp 0.33.0 have known vulnerabilities?

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

Is lean-lsp-mcp still maintained?

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

Observed changes

ue Nov 03 2026 16:08:26 GMT+0000 (Coordinated Universal Time) — released 0.32.0 → 0.33.0
Mon Oct 26 2026 19:51:50 GM +0000 (Coordinated Universal Time) — released 0.31.0 → 0.32.0
Wed Sep 30 2026 19:41:14 GM +0000 (Coordinated Universal Time) — released 0.30.0 → 0.31.0

Related packages

Badges for your README

Show the latest version, maintenance status and deprecation status of this package. Copy the Markdown:

[![version](https://vigia.coredls.cloud/badge/pypi/lean-lsp-mcp/version.svg)](https://vigia.coredls.cloud/pypi/lean-lsp-mcp)
[![maintained](https://vigia.coredls.cloud/badge/pypi/lean-lsp-mcp/maintained.svg)](https://vigia.coredls.cloud/pypi/lean-lsp-mcp)
[![status](https://vigia.coredls.cloud/badge/pypi/lean-lsp-mcp/status.svg)](https://vigia.coredls.cloud/pypi/lean-lsp-mcp)

For agents

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