pypi · pypi:lean-lsp-mcp
lean-lsp-mcp etkin
Lean Theorem Prover MCP
| En son kararlı sürüm | 0.30.0 |
|---|---|
| Yayımlanma | 2026-08-19 19:09:54 UTC |
| Gerektirir | python >=3.10 |
| Lisans | MIT |
| En son sürüme ait güvenlik bildirimleri | bilinen yok |
| Son doğrulama | 2026-09-28 14:57:40 UTC |
| Kaynaklar | pypi.org |
Gözlenen değişiklikler
Vigia bu paketi izlemeye başladığından beri henüz değişiklik gözlenmedi.
Ajanlar için
GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp