Vigia

PyPI · pypi:cvc5

cvc5 ativo

Python bindings for cvc5 (BSD version)

A versão estável mais recente de cvc5 é a 1.4.2, publicada em 2026-10-08. Verificado pelo Vigia em 2026-11-13.

Versão estável mais recente1.4.2
Publicada2026-10-08 01:39:40 UTC
Instalarpip install --upgrade cvc5
Requernenhum declarado
Licença—
Alertas de segurança na versão mais recentenenhum conhecido
Última verificação2026-11-13 21:38:09 UTC
Fontespypi.org

Manutenção

Atividadeativo
Última versão estável2026-10-08 01:39:40 UTC · há 36 dias
Versões estáveis nos últimos 12 meses6
Versões publicadas22

Heurística baseada apenas nas datas de publicação; não mede o tempo de resposta a issues nem a problemas de segurança.

Histórico de versões

VersãoPublicada
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

Exibindo as 20 mais recentes de 22 versões. JSON

Dê estes dados ao seu agente de IA

Vigia é um servidor MCP gratuito: seu agente de programação verifica versões, mudanças incompatíveis e vulnerabilidades antes de escrever código. Sem cadastro, sem chave de API.

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

Adicionar ao CursorAdicionar ao VS Code★ Estrela no GitHub

Qualquer outro cliente MCP
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

Skill para agentes (SKILL.md): diz ao agente quando usar o Vigia · GitHub Action para pull requests

Perguntas frequentes

Qual é a versão mais recente de cvc5?

A versão estável mais recente de cvc5 é a 1.4.2, publicada em 2026-10-08. Verificado pelo Vigia em 2026-11-13.

Como instalo a versão mais recente de cvc5?

Execute pip install --upgrade cvc5. A versão estável mais recente é 1.4.2 (verificado em 2026-11-13).

cvc5 está descontinuado?

Não. cvc5 não está marcado como descontinuado no registro.

Qual versão do Python cvc5 exige?

cvc5 1.4.2 não declara um requisito de versão do Python.

cvc5 1.4.2 tem vulnerabilidades conhecidas?

Nenhum alerta de segurança conhecido afeta cvc5 1.4.2, segundo os dados consultados pelo Vigia.

cvc5 ainda é mantido?

cvc5 publicou 6 versões estáveis nos últimos 12 meses; a mais recente há 36 dias. Atividade: ativo.

Mudanças observadas

Nenhuma mudança observada desde que o Vigia começou a monitorar este pacote.

Pacotes relacionados

Badges para o seu README

Mostre a versão mais recente, o status de manutenção e se este pacote está descontinuado. Copie o 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}