lean-lsp-mcp
Lean Theorem Prover MCP
0.29.0
2.4M downloads/mo
#3093 most downloaded on PyPI
oOo0oOo/lean-lsp-mcp
What this package is like to depend on
Last release 23 days ago
28 Jul 2026
Ships fairly regularly
a new release about every 2 weeks
No release notes found
nothing matched a version
Nothing withdrawn
no release was ever pulled
1 years old
80 releases · first in 2025
57 releases in the last 12 months
see the full history below
Release timeline
80 releases · Mar 2025 to Jul 2026Releases
latest 60 of 80-
0.29.028 Jul 2026Nothing published for this version
-
0.28.117 Jul 2026Nothing published for this version
-
0.28.006 Jul 2026Nothing published for this version
-
0.27.009 Jun 2026Nothing published for this version
-
0.26.204 May 2026Nothing published for this version
-
0.26.110 Apr 2026Nothing published for this version
-
0.26.008 Apr 2026Nothing published for this version
-
0.25.117 Mar 2026Nothing published for this version
-
0.25.017 Mar 2026Nothing published for this version
-
0.24.011 Mar 2026Nothing published for this version
-
0.23.208 Mar 2026Nothing published for this version
-
0.23.104 Mar 2026Nothing published for this version
-
0.23.004 Mar 2026Nothing published for this version
-
0.22.403 Mar 2026Nothing published for this version
-
0.22.302 Mar 2026Nothing published for this version
-
0.22.225 Feb 2026Nothing published for this version
-
0.22.122 Feb 2026Nothing published for this version
-
0.22.018 Feb 2026Nothing published for this version
-
0.21.217 Feb 2026Nothing published for this version
-
0.21.117 Feb 2026Nothing published for this version
-
0.21.013 Feb 2026Nothing published for this version
-
0.20.003 Feb 2026Nothing published for this version
-
0.19.219 Jan 2026Nothing published for this version
-
0.19.112 Jan 2026Nothing published for this version
-
0.19.012 Jan 2026Nothing published for this version
-
0.18.009 Jan 2026Nothing published for this version
-
0.17.221 Dec 2025Nothing published for this version
-
0.17.119 Dec 2025Nothing published for this version
-
0.17.017 Dec 2025Nothing published for this version
-
0.16.216 Dec 2025Nothing published for this version
-
0.16.109 Dec 2025Nothing published for this version
-
0.16.008 Dec 2025Nothing published for this version
-
0.15.004 Dec 2025Nothing published for this version
-
0.14.120 Nov 2025Nothing published for this version
-
0.14.020 Nov 2025Nothing published for this version
-
0.13.220 Nov 2025Nothing published for this version
-
0.13.116 Nov 2025Nothing published for this version
-
0.13.013 Nov 2025Nothing published for this version
-
0.12.109 Nov 2025Nothing published for this version
-
0.12.007 Nov 2025Nothing published for this version
-
0.11.305 Nov 2025Nothing published for this version
-
0.11.205 Nov 2025Nothing published for this version
-
0.11.103 Nov 2025Nothing published for this version
-
0.11.029 Oct 2025Nothing published for this version
-
0.10.328 Oct 2025Nothing published for this version
-
0.10.227 Oct 2025Nothing published for this version
-
0.10.124 Oct 2025Nothing published for this version
-
0.10.021 Oct 2025Nothing published for this version
-
0.9.118 Oct 2025Nothing published for this version
-
0.9.017 Oct 2025Nothing published for this version
-
0.8.216 Oct 2025Nothing published for this version
-
0.8.115 Oct 2025Nothing published for this version
-
0.8.015 Oct 2025Nothing published for this version
-
0.7.212 Oct 2025Nothing published for this version
-
0.7.126 Sep 2025Nothing published for this version
-
0.7.007 Sep 2025Nothing published for this version
-
0.6.428 Aug 2025Nothing published for this version
-
0.6.301 Aug 2025Nothing published for this version
-
0.6.201 Aug 2025Nothing published for this version
-
0.6.124 Jul 2025Nothing published for this version