Get Started

Package · PyPI

lean-lsp-mcp

PyPI · v0.31.0 · MIT

Lean Theorem Prover MCP

Tentative categories were assigned with moderate confidence (0.5 to 0.75): they are shown, but they do not count toward a category’s momentum. How categories work

Technologies

Install

pip install lean-lsp-mcp

Adoption

Adoption
Not published by PyPI
Not published
Popularity
Not published by PyPI
Not published
Dependents
Not published by PyPI
Not published
Maintenance
0.98
DerivedRelease cadence and recency, 0 to 1
Releases per year
55
82 versions over its life

Growth by period

PyPI publishes no adoption figure, so there is no growth to derive. Nothing is estimated in its place.

7 days
Not published by PyPI
Not published
30 days
Not published by PyPI
Not published
90 days
Not published by PyPI
Not published
1 year
Not published by PyPI
Not published

Adoption history

PyPI publishes no adoption count, so there is no history to chart. That is a fact about the registry, not a gap in ours: the package’s releases and maintenance are measured instead.

Facts from the registry

Latest version
v0.31.0
82 versions
First published
MAR 31, 2025
Last release
SEP 30, 2026
24d ago
Licence
MIT
Links
PyPI page
Source · github.com

Repository

Not in the Crest catalog

ooo0ooo/lean-lsp-mcp

The catalog tracks GitHub repositories with more than 500 stars; this one has no Crest page, so its figures are not shown here.

Dependencies latest version · v0.31.0

Runtime 4

  • certifi>=2026.7.22
  • leanclient>=0.13.2
  • mcp==2.0.0
  • orjson>=3.11.9

Related packages

Related news

No published news event mentions this package or its repository yet.