pypi · pypi:lean-lsp-mcp
lean-lsp-mcp активний
Lean Theorem Prover MCP
| Остання стабільна версія | 0.30.0 |
|---|---|
| Опубліковано | 2026-08-19 19:09:54 UTC |
| Потребує | python >=3.10 |
| Ліцензія | MIT |
| Попередження безпеки для останньої версії | невідомі |
| Остання перевірка | 2026-09-28 14:57:40 UTC |
| Джерела | pypi.org |
Зафіксовані зміни
Відколи Vigia відстежує цей пакет, змін ще не зафіксовано.
Для агентів
GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp