Vigia

PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp attivo

Lean Theorem Prover MCP

Ultima versione stabile0.30.0
Pubblicata2026-08-19 19:09:54 UTC
Richiedepython >=3.10
LicenzaMIT
Avvisi di sicurezza sull’ultima versionenessuno noto
Ultima verifica2026-09-28 19:22:26 UTC
Fontipypi.org

Manutenzione

Attivitàattivo
Ultima versione stabile2026-08-19 19:09:54 UTC · 40 giorni fa
Versioni stabili negli ultimi 12 mesi55
Versioni pubblicate81

Euristica basata solo sulle date di pubblicazione; non misura i tempi di risposta alle issue né ai problemi di sicurezza.

Cronologia delle versioni

VersionePubblicata
0.30.02026-08-19 19:09:54 UTC
0.29.02026-07-28 08:45:15 UTC
0.28.12026-07-17 18:09:01 UTC
0.28.02026-07-06 12:55:23 UTC
0.27.02026-06-09 15:31:17 UTC
0.26.22026-05-04 09:20:41 UTC
0.26.12026-04-10 14:52:14 UTC
0.26.02026-04-08 18:49:02 UTC
0.25.12026-03-17 13:55:14 UTC
0.25.02026-03-17 13:14:05 UTC
0.24.02026-03-11 14:23:15 UTC
0.23.22026-03-08 13:24:23 UTC
0.23.12026-03-04 15:04:08 UTC
0.23.02026-03-04 14:12:17 UTC
0.22.42026-03-03 18:31:59 UTC
0.22.32026-03-02 20:28:51 UTC
0.22.22026-02-25 17:55:10 UTC
0.22.12026-02-22 14:47:20 UTC
0.22.02026-02-18 15:38:38 UTC
0.21.22026-02-17 18:00:40 UTC

Sono mostrate le 20 più recenti su 81 versioni. JSON

Domande frequenti

Qual è l’ultima versione di lean-lsp-mcp?

L’ultima versione stabile di lean-lsp-mcp è la 0.30.0, pubblicata il 2026-08-19. Verificato da Vigia il 2026-09-28.

lean-lsp-mcp è deprecato?

No. lean-lsp-mcp non è indicato come deprecato nel registro.

Quale versione di Python richiede lean-lsp-mcp?

lean-lsp-mcp 0.30.0 dichiara questo requisito: python >=3.10.

lean-lsp-mcp 0.30.0 ha vulnerabilità note?

Nessun avviso di sicurezza noto riguarda lean-lsp-mcp 0.30.0 secondo i dati consultati da Vigia.

lean-lsp-mcp è ancora mantenuto?

lean-lsp-mcp ha pubblicato 55 versioni stabili negli ultimi 12 mesi; la più recente 40 giorni fa. Attività: attivo.

Modifiche osservate

Nessuna modifica osservata da quando Vigia monitora questo pacchetto.

Pacchetti correlati

Per gli agenti

GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp
GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp/versions/{version}