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 05:35:26 UTC
来源	pypi.org

维护情况

活跃度	活跃
最近的稳定版本	2026-08-19 18:46:45 UTC · 86 天前
过去 12 个月的稳定版本数	20
已发布版本数	52

仅根据发布时间估算，不反映对 issue 或安全问题的响应速度。

版本历史

版本	发布时间
`0.13.2`	2026-08-19 18:46:45 UTC
`0.13.1`	2026-08-19 13:07:20 UTC
`0.13.0`	2026-07-28 08:23:48 UTC
`0.12.1`	2026-07-17 09:43:42 UTC
`0.12.0`	2026-07-06 12:32:56 UTC
`0.11.0`	2026-06-09 14:52:15 UTC
`0.10.0`	2026-05-04 08:23:20 UTC
`0.9.4`	2026-03-17 09:49:22 UTC
`0.9.3`	2026-03-08 13:15:38 UTC
`0.9.2`	2026-01-12 18:19:34 UTC
`0.9.1`	2026-01-12 07:13:55 UTC
`0.9.0`	2026-01-09 11:15:28 UTC
`0.8.0`	2025-12-19 14:42:28 UTC
`0.7.0`	2025-12-17 23:03:07 UTC
`0.6.2`	2025-12-16 13:24:43 UTC
`0.6.1`	2025-12-03 07:50:08 UTC
`0.6.0`	2025-12-03 07:47:37 UTC
`0.5.5`	2025-11-20 02:27:58 UTC
`0.5.4`	2025-11-19 11:11:16 UTC
`0.5.3`	2025-11-16 09:37:33 UTC

显示 42 个版本中最新的 20 个。 JSON

版本兼容性

声明支持各运行时版本的最新稳定版本（依据每个版本发布的要求）。

运行时	最新兼容版本
`python 3.8`	无
`python 3.9`	无
`python 3.10`	`0.13.2`
`python 3.11`	`0.13.2`
`python 3.12`	`0.13.2`
`python 3.13`	`0.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 个稳定版本，最近一次在 86 天前。活跃度：活跃。

观察到的变更

自 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}