Vigia

PyPI · pypi:cvc5

cvc5 actif

Python bindings for cvc5 (BSD version)

La dernière version stable de cvc5 est la 1.4.2, publiée le 2026-10-08. Vérifié par Vigia le 2026-11-13.

Dernière version stable1.4.2
Publiée2026-10-08 01:39:40 UTC
Installerpip install --upgrade cvc5
Exigeaucune déclarée
Licence—
Alertes de sécurité sur la dernière versionaucune connue
Dernière vérification2026-11-13 21:38:09 UTC
Sourcespypi.org

Maintenance

Activitéactive
Dernière version stable2026-10-08 01:39:40 UTC · il y a 36 jours
Versions stables sur les 12 derniers mois6
Versions publiées22

Heuristique fondée uniquement sur les dates de publication ; elle ne mesure pas les délais de réponse aux tickets ni aux problèmes de sécurité.

Historique des versions

VersionPubliée
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

Affichage des 20 plus récentes sur 22 versions. JSON

Donnez ces données à votre agent IA

Vigia est un serveur MCP gratuit : votre agent de code vérifie les versions, les changements incompatibles et les vulnérabilités avant d'écrire du code. Sans inscription ni clé d'API.

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

Ajouter à CursorAjouter à VS Code★ Étoile sur GitHub

Tout autre client MCP
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Skill pour agents (SKILL.md) : indique à l'agent quand utiliser Vigia · GitHub Action pour les pull requests

Questions fréquentes

Quelle est la dernière version de cvc5 ?

La dernière version stable de cvc5 est la 1.4.2, publiée le 2026-10-08. Vérifié par Vigia le 2026-11-13.

Comment installer la dernière version de cvc5 ?

Exécutez pip install --upgrade cvc5. La dernière version stable est 1.4.2 (vérifié le 2026-11-13).

cvc5 est-il déprécié ?

Non. cvc5 n’est pas marqué comme déprécié dans le registre.

Quelle version de Python cvc5 exige-t-il ?

cvc5 1.4.2 ne déclare aucune exigence de version de Python.

cvc5 1.4.2 présente-t-il des vulnérabilités connues ?

Aucune alerte de sécurité connue ne concerne cvc5 1.4.2 d’après les données consultées par Vigia.

cvc5 est-il encore maintenu ?

cvc5 a publié 6 versions stables au cours des 12 derniers mois ; la plus récente il y a 36 jours. Activité : active.

Changements observés

Aucun changement observé depuis que Vigia suit ce paquet.

Paquets associés

Badges pour votre README

Affichez la dernière version, l’état de maintenance et l’éventuelle dépréciation de ce paquet. Copiez le 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)

Pour les agents

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