Vigia

PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp активен

Lean Theorem Prover MCP

Последняя стабильная версия0.30.0
Опубликована2026-08-19 19:09:54 UTC
Требуетpython >=3.10
ЛицензияMIT
Уведомления о безопасности для последней версиинеизвестны
Последняя проверка2026-09-28 19:22:26 UTC
Источникиpypi.org

Поддержка

Активностьактивен
Последняя стабильная версия2026-08-19 19:09:54 UTC · 40 дней назад
Стабильных версий за последние 12 месяцев55
Опубликовано версий81

Эвристика, основанная только на датах публикации; не отражает скорость реакции на issues и проблемы безопасности.

История версий

ВерсияОпубликована
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

Показаны 20 самых новых из 81 версий. JSON

Часто задаваемые вопросы

Какая последняя версия lean-lsp-mcp?

Последняя стабильная версия lean-lsp-mcp — 0.30.0, опубликована 2026-08-19. Проверено Vigia 2026-09-28.

Устарел ли lean-lsp-mcp?

Нет. В реестре lean-lsp-mcp не помечен как устаревший.

Какая версия Python нужна для lean-lsp-mcp?

lean-lsp-mcp 0.30.0 указывает такое требование: python >=3.10.

Есть ли у lean-lsp-mcp 0.30.0 известные уязвимости?

По данным, которые проверяет Vigia, известных уведомлений о безопасности для lean-lsp-mcp 0.30.0 нет.

Поддерживается ли lean-lsp-mcp?

За последние 12 месяцев lean-lsp-mcp выпустил 55 стабильных версий; последнюю — 40 дней назад. Активность: активен.

Зафиксированные изменения

С тех пор как Vigia отслеживает этот пакет, изменений пока не зафиксировано.

Связанные пакеты

Для агентов

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