Vigia

PyPI · pypi:cvc5

cvc5 actief

Python bindings for cvc5 (BSD version)

De nieuwste stabiele versie van cvc5 is 1.4.2, gepubliceerd op 2026-10-08. Geverifieerd door Vigia op 2026-11-13.

Nieuwste stabiele versie1.4.2
Gepubliceerd2026-10-08 01:39:40 UTC
Installerenpip install --upgrade cvc5
Vereistniets opgegeven
Licentie—
Beveiligingsadviezen voor de nieuwste versiegeen bekend
Laatst geverifieerd2026-11-13 21:38:09 UTC
Bronnenpypi.org

Onderhoud

Activiteitactief
Laatste stabiele versie2026-10-08 01:39:40 UTC · 36 dagen geleden
Stabiele versies in de afgelopen 12 maanden6
Gepubliceerde versies22

Heuristiek die alleen op publicatiedatums is gebaseerd; meet geen reactietijden op issues of beveiligingsproblemen.

Versiegeschiedenis

VersieGepubliceerd
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

De 20 meest recente van 22 versies worden getoond. JSON

Geef je AI-agent deze feiten

Vigia is een gratis MCP-server: je coding-agent controleert versies, breaking changes en kwetsbaarheden voordat hij code schrijft. Geen account, geen API-sleutel.

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

Toevoegen aan CursorToevoegen aan VS Code★ Ster op GitHub

Elke andere MCP-client
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Agent-skill (SKILL.md): vertelt de agent wanneer hij Vigia moet gebruiken · GitHub Action voor pull requests

Veelgestelde vragen

Wat is de nieuwste versie van cvc5?

De nieuwste stabiele versie van cvc5 is 1.4.2, gepubliceerd op 2026-10-08. Geverifieerd door Vigia op 2026-11-13.

Hoe installeer ik de nieuwste versie van cvc5?

Voer pip install --upgrade cvc5 uit. De nieuwste stabiele versie is 1.4.2 (gecontroleerd op 2026-11-13).

Is cvc5 verouderd?

Nee. cvc5 is in het register niet als verouderd gemarkeerd.

Welke Python-versie vereist cvc5?

cvc5 1.4.2 geeft geen vereiste voor de Python-versie op.

Heeft cvc5 1.4.2 bekende kwetsbaarheden?

Volgens de gegevens die Vigia controleert, gelden er geen bekende beveiligingsadviezen voor cvc5 1.4.2.

Wordt cvc5 nog onderhouden?

cvc5 publiceerde de afgelopen 12 maanden 6 stabiele versies; de meest recente 36 dagen geleden. Activiteit: actief.

Waargenomen wijzigingen

Nog geen wijzigingen waargenomen sinds Vigia dit pakket volgt.

Gerelateerde pakketten

Badges voor je README

Toon de nieuwste versie, de onderhoudsstatus en of dit pakket verouderd is. Kopieer de 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)

Voor agents

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