pypi · pypi:lean-lsp-mcp
lean-lsp-mcp actief
Lean Theorem Prover MCP
| Nieuwste stabiele versie | 0.30.0 |
|---|---|
| Gepubliceerd | 2026-08-19 19:09:54 UTC |
| Vereist | python >=3.10 |
| Licentie | MIT |
| Beveiligingsadviezen voor de nieuwste versie | geen bekend |
| Laatst geverifieerd | 2026-09-28 14:57:40 UTC |
| Bronnen | pypi.org |
Waargenomen wijzigingen
Nog geen wijzigingen waargenomen sinds Vigia dit pakket volgt.
Voor agents
GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp