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}