Vigia

PyPI · pypi:cvc5

cvc5 aktiv

Python bindings for cvc5 (BSD version)

Die neueste stabile Version von cvc5 ist 1.4.2, veröffentlicht am 2026-10-08. Von Vigia geprüft am 2026-11-13.

Neueste stabile Version1.4.2
Veröffentlicht2026-10-08 01:39:40 UTC
Installierenpip install --upgrade cvc5
Erfordertkeine angegeben
Lizenz—
Sicherheitshinweise zur neuesten Versionkeine bekannt
Zuletzt geprüft2026-11-13 21:38:09 UTC
Quellenpypi.org

Pflege

Aktivitätaktiv
Letzte stabile Version2026-10-08 01:39:40 UTC · vor 36 Tagen
Stabile Versionen in den letzten 12 Monaten6
Veröffentlichte Versionen22

Heuristik, die nur auf Veröffentlichungsdaten beruht; sie misst keine Reaktionszeiten auf Issues oder Sicherheitsprobleme.

Versionsverlauf

VersionVeröffentlicht
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

Die 20 neuesten von 22 Versionen werden angezeigt. JSON

Gib deinem KI-Agenten diese Fakten

Vigia ist ein kostenloser MCP-Server: Dein Coding-Agent prüft Versionen, Breaking Changes und Sicherheitslücken, bevor er Code schreibt. Ohne Anmeldung, ohne API-Schlüssel.

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

Zu Cursor hinzufügenZu VS Code hinzufügen★ Stern auf GitHub

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

Agent-Skill (SKILL.md): sagt dem Agenten, wann er Vigia nutzen soll · GitHub Action für Pull Requests

Häufige Fragen

Was ist die neueste Version von cvc5?

Die neueste stabile Version von cvc5 ist 1.4.2, veröffentlicht am 2026-10-08. Von Vigia geprüft am 2026-11-13.

Wie installiere ich die neueste Version von cvc5?

Führe pip install --upgrade cvc5 aus. Die neueste stabile Version ist 1.4.2 (geprüft am 2026-11-13).

Ist cvc5 veraltet?

Nein. cvc5 ist in der Registry nicht als veraltet gekennzeichnet.

Welche Python-Version benötigt cvc5?

cvc5 1.4.2 gibt keine Anforderung an die Python-Version an.

Hat cvc5 1.4.2 bekannte Sicherheitslücken?

Laut den von Vigia geprüften Daten betreffen keine bekannten Sicherheitshinweise cvc5 1.4.2.

Wird cvc5 noch gepflegt?

cvc5 hat in den letzten 12 Monaten 6 stabile Versionen veröffentlicht; die neueste vor 36 Tagen. Aktivität: aktiv.

Beobachtete Änderungen

Seit Vigia dieses Paket beobachtet, wurden noch keine Änderungen festgestellt.

Verwandte Pakete

Badges für Ihre README

Zeigen Sie die neueste Version, den Pflegestatus und den Deprecation-Status dieses Pakets. Markdown kopieren:

[![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)

Für Agenten

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