Vigia

PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp aktiv

Lean Theorem Prover MCP

Neueste stabile Version0.30.0
Veröffentlicht2026-08-19 19:09:54 UTC
Erfordertpython >=3.10
LizenzMIT
Sicherheitshinweise zur neuesten Versionkeine bekannt
Zuletzt geprüft2026-09-28 19:22:26 UTC
Quellenpypi.org

Pflege

Aktivitätaktiv
Letzte stabile Version2026-08-19 19:09:54 UTC · vor 40 Tagen
Stabile Versionen in den letzten 12 Monaten55
Veröffentlichte Versionen81

Heuristik, die nur auf Veröffentlichungsdaten beruht; sie misst keine Reaktionszeiten auf Issues oder Sicherheitsprobleme.

Versionsverlauf

VersionVeröffentlicht
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

Die 20 neuesten von 81 Versionen werden angezeigt. JSON

Häufige Fragen

Was ist die neueste Version von lean-lsp-mcp?

Die neueste stabile Version von lean-lsp-mcp ist 0.30.0, veröffentlicht am 2026-08-19. Von Vigia geprüft am 2026-09-28.

Ist lean-lsp-mcp veraltet?

Nein. lean-lsp-mcp ist in der Registry nicht als veraltet gekennzeichnet.

Welche Python-Version benötigt lean-lsp-mcp?

lean-lsp-mcp 0.30.0 gibt diese Anforderung an: python >=3.10.

Hat lean-lsp-mcp 0.30.0 bekannte Sicherheitslücken?

Laut den von Vigia geprüften Daten betreffen keine bekannten Sicherheitshinweise lean-lsp-mcp 0.30.0.

Wird lean-lsp-mcp noch gepflegt?

lean-lsp-mcp hat in den letzten 12 Monaten 55 stabile Versionen veröffentlicht; die neueste vor 40 Tagen. Aktivität: aktiv.

Beobachtete Änderungen

Seit Vigia dieses Paket beobachtet, wurden noch keine Änderungen festgestellt.

Verwandte Pakete

Für Agenten

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