Vigia

PyPI · pypi:leanclient

leanclient 有効

Interact with the Lean theorem prover language server

leanclient の最新の安定版は 0.13.2 で、2026-08-19 に公開されました。Vigia が 2026-11-14 に確認しました。

最新の安定版0.13.2
公開日2026-08-19 18:46:45 UTC
インストールpip install --upgrade leanclient
要件python >=3.10
ライセンスMIT
最新バージョンのセキュリティ勧告既知のものなし
最終確認2026-11-14 23:35:29 UTC
出典pypi.org

メンテナンス

活動状況活発
最新の安定版2026-08-19 18:46:45 UTC · 87 日前
直近 12 か月の安定版リリース数20
公開済みバージョン数52

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

バージョン履歴

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

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

バージョン互換性

各ランタイムバージョンのサポートを宣言している最新の安定版（各バージョンで公開された要件に基づく）。

ランタイム互換性のある最新バージョン
python 3.8なし
python 3.9なし
python 3.100.13.2
python 3.110.13.2
python 3.120.13.2
python 3.130.13.2

このデータを AI エージェントに渡す

Vigia は無料の MCP サーバーです。コーディングエージェントがコードを書く前に、バージョン・破壊的変更・脆弱性を確認できます。登録も API キーも不要です。

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

Cursor に追加VS Code に追加★ GitHub でスターを付ける

その他の MCP クライアント
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

エージェント用スキル (SKILL.md)：Vigia を使うタイミングをエージェントに伝えます · プルリクエスト用 GitHub Action

よくある質問

leanclient の最新バージョンは？

leanclient の最新の安定版は 0.13.2 で、2026-08-19 に公開されました。Vigia が 2026-11-14 に確認しました。

leanclient の最新バージョンをインストールするには？

pip install --upgrade leanclient を実行します。最新の安定版は 0.13.2 です（2026-11-14 に確認）。

leanclient は非推奨ですか？

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

leanclient に必要な Python のバージョンは？

leanclient 0.13.2 は次の要件を宣言しています：python >=3.10。

leanclient 0.13.2 に既知の脆弱性はありますか？

Vigia が確認しているデータでは、leanclient 0.13.2 に影響する既知のセキュリティ勧告はありません。

leanclient は今もメンテナンスされていますか？

leanclient は直近 12 か月で 20 件の安定版を公開しました。最新の公開は 87 日前です。活動状況：活発。

確認された変更

Vigia がこのパッケージの追跡を始めてから、まだ変更は確認されていません。

関連パッケージ

README 用バッジ

このパッケージの最新バージョン、メンテナンス状況、非推奨かどうかを表示できます。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)

エージェント向け

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