PyPI · pypi:cvc5

cvc5 activo

Python bindings for cvc5 (BSD version)

La última versión estable de cvc5 es 1.4.2, publicada el 2026-10-08. Verificado por Vigia el 2026-11-13.

Última versión estable	1.4.2
Publicada	2026-10-08 01:39:40 UTC
Instalar	`pip install --upgrade cvc5`
Requiere	sin restricción declarada
Licencia	—
Avisos de seguridad en la última versión	ninguno conocido
Última verificación	2026-11-13 21:38:09 UTC
Fuentes	pypi.org

Mantenimiento

Actividad	activo
Última versión estable	2026-10-08 01:39:40 UTC · hace 36 días
Versiones estables en los últimos 12 meses	6
Versiones publicadas	22

Heurística basada sólo en fechas de publicación; no mide tiempos de respuesta a issues ni a problemas de seguridad.

Historial de versiones

Versión	Publicada
`1.4.2`	2026-10-08 01:39:40 UTC
`1.4.1`	2026-09-25 20:46:09 UTC
`1.4.0`	2026-09-17 21:29:51 UTC
`1.3.4`	2026-05-07 15:49:55 UTC
`1.3.3`	2026-02-25 21:02:53 UTC
`1.3.2`	2025-12-12 19:18:27 UTC
`1.3.1`	2025-09-24 20:56:01 UTC
`1.3.0`	2025-06-19 01:00:13 UTC
`1.2.1`	2025-01-27 23:26:28 UTC
`1.2.0`	2024-08-08 16:50:58 UTC
`1.1.2`	2024-03-01 17:43:42 UTC
`1.1.1`	2024-01-25 16:21:37 UTC
`1.1.0`	2023-12-21 01:29:50 UTC
`1.0.9`	2023-12-19 15:37:39 UTC
`1.0.8`	2023-08-31 19:18:58 UTC
`1.0.7`	2023-08-22 17:12:56 UTC
`1.0.5`	2023-03-13 16:36:17 UTC
`1.0.1`	2022-07-19 16:19:56 UTC
`1.0.0`	2022-04-06 01:14:15 UTC
`0.0.12`	2022-04-04 21:47:59 UTC

Se muestran las 20 más recientes de 22 versiones. JSON

Dale estos datos a tu agente de IA

Vigia es un servidor MCP gratuito: tu agente de programación verifica versiones, cambios incompatibles y vulnerabilidades antes de escribir código. Sin registro ni clave de API.

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

Agregar a Cursor Agregar a VS Code ★ Estrella en GitHub

Cualquier otro cliente MCP

{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Skill para agentes (SKILL.md): le indica al agente cuándo usar Vigia · GitHub Action para pull requests

Preguntas frecuentes

¿Cuál es la última versión de cvc5?

La última versión estable de cvc5 es 1.4.2, publicada el 2026-10-08. Verificado por Vigia el 2026-11-13.

¿Cómo instalo la última versión de cvc5?

Ejecutá pip install --upgrade cvc5. La última versión estable es 1.4.2 (verificado el 2026-11-13).

¿cvc5 está deprecado?

No. cvc5 no está marcado como deprecado en el registro.

¿Qué versión de Python requiere cvc5?

cvc5 1.4.2 no declara un requisito de versión de Python.

¿cvc5 1.4.2 tiene vulnerabilidades conocidas?

No hay avisos de seguridad conocidos que afecten a cvc5 1.4.2 según los datos que consulta Vigia.

¿cvc5 sigue mantenido?

cvc5 publicó 6 versiones estables en los últimos 12 meses; la más reciente hace 36 días. Actividad: activo.

Cambios observados

Todavía no se observaron cambios desde que Vigia sigue este paquete.

Paquetes relacionados

Badges para tu README

Mostrá la última versión, el estado de mantenimiento y si este paquete está deprecado. Copiá el 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)

Para agentes

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