Vigia

PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp aktywny

Lean Theorem Prover MCP

Najnowsza stabilna wersja0.30.0
Opublikowano2026-08-19 19:09:54 UTC
Wymagapython >=3.10
LicencjaMIT
Ostrzeżenia bezpieczeństwa dla najnowszej wersjibrak znanych
Ostatnia weryfikacja2026-09-28 19:22:26 UTC
Źródłapypi.org

Utrzymanie

Aktywnośćaktywny
Ostatnia stabilna wersja2026-08-19 19:09:54 UTC · 40 dni temu
Stabilne wersje w ciągu ostatnich 12 miesięcy55
Opublikowane wersje81

Heurystyka oparta wyłącznie na datach publikacji; nie mierzy czasu reakcji na zgłoszenia ani problemy bezpieczeństwa.

Historia wersji

WersjaOpublikowano
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

Wyświetlono 20 najnowszych z 81 wersji. JSON

Najczęściej zadawane pytania

Jaka jest najnowsza wersja lean-lsp-mcp?

Najnowsza stabilna wersja lean-lsp-mcp to 0.30.0, opublikowana 2026-08-19. Zweryfikowano przez Vigia 2026-09-28.

Czy lean-lsp-mcp jest wycofany?

Nie. lean-lsp-mcp nie jest oznaczony w rejestrze jako wycofany.

Jakiej wersji Python wymaga lean-lsp-mcp?

lean-lsp-mcp 0.30.0 deklaruje to wymaganie: python >=3.10.

Czy lean-lsp-mcp 0.30.0 ma znane podatności?

Według danych sprawdzanych przez Vigia żadne znane ostrzeżenia bezpieczeństwa nie dotyczą lean-lsp-mcp 0.30.0.

Czy lean-lsp-mcp jest nadal utrzymywany?

lean-lsp-mcp opublikował 55 stabilnych wersji w ciągu ostatnich 12 miesięcy; najnowszą 40 dni temu. Aktywność: aktywny.

Zaobserwowane zmiany

Od kiedy Vigia śledzi ten pakiet, nie zaobserwowano jeszcze zmian.

Powiązane pakiety

Dla agentów

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