Vigia

PyPI · pypi:cvc5

cvc5 aktif

Python bindings for cvc5 (BSD version)

Versi stabil terbaru cvc5 adalah 1.4.2, diterbitkan pada 2026-10-08. Diverifikasi oleh Vigia pada 2026-11-13.

Versi stabil terbaru1.4.2
Diterbitkan2026-10-08 01:39:40 UTC
Instalpip install --upgrade cvc5
Membutuhkantidak dinyatakan
Lisensi—
Peringatan keamanan pada versi terbarutidak ada yang diketahui
Terakhir diverifikasi2026-11-13 21:38:09 UTC
Sumberpypi.org

Pemeliharaan

Aktivitasaktif
Versi stabil terakhir2026-10-08 01:39:40 UTC · 36 hari lalu
Versi stabil dalam 12 bulan terakhir6
Versi yang diterbitkan22

Perkiraan yang hanya didasarkan pada tanggal terbit; tidak mengukur waktu tanggapan terhadap issue atau masalah keamanan.

Riwayat versi

VersiDiterbitkan
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

Menampilkan 20 versi terbaru dari 22 versi. JSON

Berikan fakta ini ke agen AI Anda

Vigia adalah server MCP gratis: agen coding Anda memeriksa versi, perubahan yang merusak kompatibilitas, dan kerentanan sebelum menulis kode. Tanpa pendaftaran, tanpa kunci API.

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

Tambahkan ke CursorTambahkan ke VS Code★ Bintang di GitHub

Klien MCP lainnya
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Skill agen (SKILL.md): memberi tahu agen kapan memakai Vigia · GitHub Action untuk pull request

Pertanyaan umum

Apa versi terbaru cvc5?

Versi stabil terbaru cvc5 adalah 1.4.2, diterbitkan pada 2026-10-08. Diverifikasi oleh Vigia pada 2026-11-13.

Bagaimana cara menginstal versi terbaru cvc5?

Jalankan pip install --upgrade cvc5. Versi stabil terbaru adalah 1.4.2 (diverifikasi 2026-11-13).

Apakah cvc5 sudah usang?

Tidak. cvc5 tidak ditandai sebagai usang di registri.

Versi Python berapa yang dibutuhkan cvc5?

cvc5 1.4.2 tidak menyatakan kebutuhan versi Python.

Apakah cvc5 1.4.2 memiliki kerentanan yang diketahui?

Tidak ada peringatan keamanan yang diketahui untuk cvc5 1.4.2 menurut data yang diperiksa Vigia.

Apakah cvc5 masih dikelola?

cvc5 menerbitkan 6 versi stabil dalam 12 bulan terakhir; yang terbaru 36 hari lalu. Aktivitas: aktif.

Perubahan yang teramati

Belum ada perubahan yang teramati sejak Vigia mulai memantau paket ini.

Paket terkait

Lencana untuk README Anda

Tampilkan versi terbaru, status pemeliharaan, dan status usang paket ini. Salin 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)

Untuk agen

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