pypi · pypi:lean-lsp-mcp
lean-lsp-mcp aktif
Lean Theorem Prover MCP
| Versi stabil terbaru | 0.30.0 |
|---|---|
| Diterbitkan | 2026-08-19 19:09:54 UTC |
| Membutuhkan | python >=3.10 |
| Lisensi | MIT |
| Peringatan keamanan pada versi terbaru | tidak ada yang diketahui |
| Terakhir diverifikasi | 2026-09-28 14:57:40 UTC |
| Sumber | pypi.org |
Perubahan yang teramati
Belum ada perubahan yang teramati sejak Vigia mulai memantau paket ini.
Untuk agen
GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp