Vigia

PyPI · pypi:cvc5

cvc5 aktywny

Python bindings for cvc5 (BSD version)

Najnowsza stabilna wersja cvc5 to 1.4.2, opublikowana 2026-10-08. Zweryfikowano przez Vigia 2026-11-13.

Najnowsza stabilna wersja1.4.2
Opublikowano2026-10-08 01:39:40 UTC
Instalacjapip install --upgrade cvc5
Wymaganie zadeklarowano
Licencja—
Ostrzeżenia bezpieczeństwa dla najnowszej wersjibrak znanych
Ostatnia weryfikacja2026-11-13 21:38:09 UTC
Źródłapypi.org

Utrzymanie

Aktywnośćaktywny
Ostatnia stabilna wersja2026-10-08 01:39:40 UTC · 36 dni temu
Stabilne wersje w ciągu ostatnich 12 miesięcy6
Opublikowane wersje22

Heurystyka oparta wyłącznie na datach publikacji; nie mierzy czasu reakcji na zgłoszenia ani problemy bezpieczeństwa.

Historia wersji

WersjaOpublikowano
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

Wyświetlono 20 najnowszych z 22 wersji. JSON

Przekaż te dane swojemu agentowi AI

Vigia to darmowy serwer MCP: Twój agent programistyczny sprawdza wersje, zmiany łamiące zgodność i podatności, zanim napisze kod. Bez rejestracji i klucza API.

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

Dodaj do CursorDodaj do VS Code★ Gwiazdka na GitHubie

Dowolny inny klient MCP
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Skill dla agentów (SKILL.md): mówi agentowi, kiedy używać Vigii · GitHub Action dla pull requestów

Najczęściej zadawane pytania

Jaka jest najnowsza wersja cvc5?

Najnowsza stabilna wersja cvc5 to 1.4.2, opublikowana 2026-10-08. Zweryfikowano przez Vigia 2026-11-13.

Jak zainstalować najnowszą wersję cvc5?

Uruchom pip install --upgrade cvc5. Najnowsza stabilna wersja to 1.4.2 (sprawdzono 2026-11-13).

Czy cvc5 jest wycofany?

Nie. cvc5 nie jest oznaczony w rejestrze jako wycofany.

Jakiej wersji Python wymaga cvc5?

cvc5 1.4.2 nie deklaruje wymagania dotyczącego wersji Python.

Czy cvc5 1.4.2 ma znane podatności?

Według danych sprawdzanych przez Vigia żadne znane ostrzeżenia bezpieczeństwa nie dotyczą cvc5 1.4.2.

Czy cvc5 jest nadal utrzymywany?

cvc5 opublikował 6 stabilnych wersji w ciągu ostatnich 12 miesięcy; najnowszą 36 dni temu. Aktywność: aktywny.

Zaobserwowane zmiany

Od kiedy Vigia śledzi ten pakiet, nie zaobserwowano jeszcze zmian.

Powiązane pakiety

Odznaki do README

Pokaż najnowszą wersję, stan utrzymania i informację o wycofaniu tego pakietu. Skopiuj 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)

Dla agentów

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