pypi · pypi:lean-lsp-mcp
lean-lsp-mcp actif
Lean Theorem Prover MCP
| Dernière version stable | 0.30.0 |
|---|---|
| Publiée | 2026-08-19 19:09:54 UTC |
| Exige | python >=3.10 |
| Licence | MIT |
| Alertes de sécurité sur la dernière version | aucune connue |
| Dernière vérification | 2026-09-28 14:57:40 UTC |
| Sources | pypi.org |
Changements observés
Aucun changement observé depuis que Vigia suit ce paquet.
Pour les agents
GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp