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

公開日のみに基づく推定です。Issue やセキュリティ問題への対応時間は反映していません。

バージョン履歴

バージョン公開日
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

全 81 バージョンのうち、新しい順に 20 件を表示しています。 JSON

よくある質問

lean-lsp-mcp の最新バージョンは？

lean-lsp-mcp の最新の安定版は 0.30.0 で、2026-08-19 に公開されました。Vigia が 2026-09-28 に確認しました。

lean-lsp-mcp は非推奨ですか？

いいえ。lean-lsp-mcp はレジストリで非推奨とはされていません。

lean-lsp-mcp に必要な Python のバージョンは？

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 は今もメンテナンスされていますか？

lean-lsp-mcp は直近 12 か月で 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}