Vigia

PyPI · pypi:cvc5

cvc5 活跃

Python bindings for cvc5 (BSD version)

cvc5 的最新稳定版本是 1.4.2，发布于 2026-10-08。Vigia 于 2026-11-13 核实。

最新稳定版本1.4.2
发布时间2026-10-08 01:39:40 UTC
安装pip install --upgrade cvc5
运行要求未声明
许可证—
最新版本的安全公告暂无已知
最近核实2026-11-13 21:38:09 UTC
来源pypi.org

维护情况

活跃度活跃
最近的稳定版本2026-10-08 01:39:40 UTC · 36 天前
过去 12 个月的稳定版本数6
已发布版本数22

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

版本历史

版本发布时间
1.4.22026-10-08 01:39:40 UTC
1.4.12026-09-25 20:46:09 UTC
1.4.02026-09-17 21:29:51 UTC
1.3.42026-05-07 15:49:55 UTC
1.3.32026-02-25 21:02:53 UTC
1.3.22025-12-12 19:18:27 UTC
1.3.12025-09-24 20:56:01 UTC
1.3.02025-06-19 01:00:13 UTC
1.2.12025-01-27 23:26:28 UTC
1.2.02024-08-08 16:50:58 UTC
1.1.22024-03-01 17:43:42 UTC
1.1.12024-01-25 16:21:37 UTC
1.1.02023-12-21 01:29:50 UTC
1.0.92023-12-19 15:37:39 UTC
1.0.82023-08-31 19:18:58 UTC
1.0.72023-08-22 17:12:56 UTC
1.0.52023-03-13 16:36:17 UTC
1.0.12022-07-19 16:19:56 UTC
1.0.02022-04-06 01:14:15 UTC
0.0.122022-04-04 21:47:59 UTC

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

把这些数据交给你的 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

常见问题

cvc5 的最新版本是什么？

cvc5 的最新稳定版本是 1.4.2，发布于 2026-10-08。Vigia 于 2026-11-13 核实。

如何安装 cvc5 的最新版本？

运行 pip install --upgrade cvc5。最新稳定版本是 1.4.2（2026-11-13 核实）。

cvc5 是否已弃用？

否。注册表中 cvc5 未被标记为已弃用。

cvc5 需要哪个版本的 Python？

cvc5 1.4.2 未声明对 Python 版本的要求。

cvc5 1.4.2 是否存在已知漏洞？

根据 Vigia 检查的数据，没有已知安全公告影响 cvc5 1.4.2。

cvc5 是否仍在维护？

cvc5 在过去 12 个月内发布了 6 个稳定版本，最近一次在 36 天前。活跃度：活跃。

观察到的变更

自 Vigia 开始跟踪此软件包以来，尚未观察到变更。

相关软件包

用于 README 的徽章

展示此软件包的最新版本、维护状态以及是否已弃用。复制 Markdown：

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

供智能体使用

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