Vigia

PyPI · pypi:cvc5

cvc5 attivo

Python bindings for cvc5 (BSD version)

L’ultima versione stabile di cvc5 è la 1.4.2, pubblicata il 2026-10-08. Verificato da Vigia il 2026-11-13.

Ultima versione stabile1.4.2
Pubblicata2026-10-08 01:39:40 UTC
Installapip install --upgrade cvc5
Richiedenessuno dichiarato
Licenza—
Avvisi di sicurezza sull’ultima versionenessuno noto
Ultima verifica2026-11-13 15:38:09 UTC
Fontipypi.org

Manutenzione

Attivitàattivo
Ultima versione stabile2026-10-08 01:39:40 UTC · 36 giorni fa
Versioni stabili negli ultimi 12 mesi6
Versioni pubblicate22

Euristica basata solo sulle date di pubblicazione; non misura i tempi di risposta alle issue né ai problemi di sicurezza.

Cronologia delle versioni

VersionePubblicata
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

Sono mostrate le 20 più recenti su 22 versioni. JSON

Dai questi dati al tuo agente IA

Vigia è un server MCP gratuito: il tuo agente di programmazione verifica versioni, modifiche incompatibili e vulnerabilità prima di scrivere codice. Senza registrazione né chiave API.

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

Aggiungi a CursorAggiungi a VS Code★ Stella su GitHub

Qualsiasi altro client MCP
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Skill per agenti (SKILL.md): dice all'agente quando usare Vigia · GitHub Action per le pull request

Domande frequenti

Qual è l’ultima versione di cvc5?

L’ultima versione stabile di cvc5 è la 1.4.2, pubblicata il 2026-10-08. Verificato da Vigia il 2026-11-13.

Come installo l'ultima versione di cvc5?

Esegui pip install --upgrade cvc5. L'ultima versione stabile è 1.4.2 (verificato il 2026-11-13).

cvc5 è deprecato?

No. cvc5 non è indicato come deprecato nel registro.

Quale versione di Python richiede cvc5?

cvc5 1.4.2 non dichiara alcun requisito sulla versione di Python.

cvc5 1.4.2 ha vulnerabilità note?

Nessun avviso di sicurezza noto riguarda cvc5 1.4.2 secondo i dati consultati da Vigia.

cvc5 è ancora mantenuto?

cvc5 ha pubblicato 6 versioni stabili negli ultimi 12 mesi; la più recente 36 giorni fa. Attività: attivo.

Modifiche osservate

Nessuna modifica osservata da quando Vigia monitora questo pacchetto.

Pacchetti correlati

Badge per il tuo README

Mostra l’ultima versione, lo stato di manutenzione e l’eventuale deprecazione di questo pacchetto. Copia il 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)

Per gli agenti

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