Vigia

PyPI · pypi:leanclient

leanclient aktywny

Interact with the Lean theorem prover language server

Najnowsza stabilna wersja leanclient to 0.13.2, opublikowana 2026-08-19. Zweryfikowano przez Vigia 2026-11-13.

Najnowsza stabilna wersja0.13.2
Opublikowano2026-08-19 18:46:45 UTC
Instalacjapip install --upgrade leanclient
Wymagapython >=3.10
LicencjaMIT
Ostrzeżenia bezpieczeństwa dla najnowszej wersjibrak znanych
Ostatnia weryfikacja2026-11-13 11:35:23 UTC
Źródłapypi.org

Utrzymanie

Aktywnośćaktywny
Ostatnia stabilna wersja2026-08-19 18:46:45 UTC · 85 dni temu
Stabilne wersje w ciągu ostatnich 12 miesięcy20
Opublikowane wersje52

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

Historia wersji

WersjaOpublikowano
0.13.22026-08-19 18:46:45 UTC
0.13.12026-08-19 13:07:20 UTC
0.13.02026-07-28 08:23:48 UTC
0.12.12026-07-17 09:43:42 UTC
0.12.02026-07-06 12:32:56 UTC
0.11.02026-06-09 14:52:15 UTC
0.10.02026-05-04 08:23:20 UTC
0.9.42026-03-17 09:49:22 UTC
0.9.32026-03-08 13:15:38 UTC
0.9.22026-01-12 18:19:34 UTC
0.9.12026-01-12 07:13:55 UTC
0.9.02026-01-09 11:15:28 UTC
0.8.02025-12-19 14:42:28 UTC
0.7.02025-12-17 23:03:07 UTC
0.6.22025-12-16 13:24:43 UTC
0.6.12025-12-03 07:50:08 UTC
0.6.02025-12-03 07:47:37 UTC
0.5.52025-11-20 02:27:58 UTC
0.5.42025-11-19 11:11:16 UTC
0.5.32025-11-16 09:37:33 UTC

Wyświetlono 20 najnowszych z 42 wersji. JSON

Zgodność wersji

Najnowsza stabilna wersja deklarująca obsługę danej wersji środowiska (według wymagań publikowanych z każdą wersją).

ŚrodowiskoNajnowsza zgodna wersja
python 3.8brak
python 3.9brak
python 3.100.13.2
python 3.110.13.2
python 3.120.13.2
python 3.130.13.2

Przekaż te dane swojemu agentowi AI

Vigia to darmowy serwer MCP: Twój agent programistyczny sprawdza wersje, zmiany łamiące zgodność i podatności, zanim napisze kod. Bez rejestracji i klucza API.

claude mcp add --transport http vigia https://vigia.coredls.cloud/mcp

Dodaj do CursorDodaj do VS Code★ Gwiazdka na GitHubie

Dowolny inny klient MCP
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Skill dla agentów (SKILL.md): mówi agentowi, kiedy używać Vigii · GitHub Action dla pull requestów

Najczęściej zadawane pytania

Jaka jest najnowsza wersja leanclient?

Najnowsza stabilna wersja leanclient to 0.13.2, opublikowana 2026-08-19. Zweryfikowano przez Vigia 2026-11-13.

Jak zainstalować najnowszą wersję leanclient?

Uruchom pip install --upgrade leanclient. Najnowsza stabilna wersja to 0.13.2 (sprawdzono 2026-11-13).

Czy leanclient jest wycofany?

Nie. leanclient nie jest oznaczony w rejestrze jako wycofany.

Jakiej wersji Python wymaga leanclient?

leanclient 0.13.2 deklaruje to wymaganie: python >=3.10.

Czy leanclient 0.13.2 ma znane podatności?

Według danych sprawdzanych przez Vigia żadne znane ostrzeżenia bezpieczeństwa nie dotyczą leanclient 0.13.2.

Czy leanclient jest nadal utrzymywany?

leanclient opublikował 20 stabilnych wersji w ciągu ostatnich 12 miesięcy; najnowszą 85 dni temu. Aktywność: aktywny.

Zaobserwowane zmiany

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

Powiązane pakiety

Odznaki do README

Pokaż najnowszą wersję, stan utrzymania i informację o wycofaniu tego pakietu. Skopiuj Markdown:

[![version](https://vigia.coredls.cloud/badge/pypi/leanclient/version.svg)](https://vigia.coredls.cloud/pypi/leanclient)
[![maintained](https://vigia.coredls.cloud/badge/pypi/leanclient/maintained.svg)](https://vigia.coredls.cloud/pypi/leanclient)
[![status](https://vigia.coredls.cloud/badge/pypi/leanclient/status.svg)](https://vigia.coredls.cloud/pypi/leanclient)

Dla agentów

GET https://vigia.coredls.cloud/v1/packages/pypi/leanclient
GET https://vigia.coredls.cloud/v1/packages/pypi/leanclient/versions/{version}