Vigia

PyPI · pypi:leanclient

leanclient ativo

Interact with the Lean theorem prover language server

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

Versão estável mais recente0.13.2
Publicada2026-08-19 18:46:45 UTC
Instalarpip install --upgrade leanclient
Requerpython >=3.10
LicençaMIT
Alertas de segurança na versão mais recentenenhum conhecido
Última verificação2026-11-13 05:35:22 UTC
Fontespypi.org

Manutenção

Atividadeativo
Última versão estável2026-08-19 18:46:45 UTC · há 85 dias
Versões estáveis nos últimos 12 meses20
Versões publicadas52

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
0.13.22026-08-19 18:46:45 UTC
0.13.12026-08-19 13:07:20 UTC
0.13.02026-07-28 08:23:48 UTC
0.12.12026-07-17 09:43:42 UTC
0.12.02026-07-06 12:32:56 UTC
0.11.02026-06-09 14:52:15 UTC
0.10.02026-05-04 08:23:20 UTC
0.9.42026-03-17 09:49:22 UTC
0.9.32026-03-08 13:15:38 UTC
0.9.22026-01-12 18:19:34 UTC
0.9.12026-01-12 07:13:55 UTC
0.9.02026-01-09 11:15:28 UTC
0.8.02025-12-19 14:42:28 UTC
0.7.02025-12-17 23:03:07 UTC
0.6.22025-12-16 13:24:43 UTC
0.6.12025-12-03 07:50:08 UTC
0.6.02025-12-03 07:47:37 UTC
0.5.52025-11-20 02:27:58 UTC
0.5.42025-11-19 11:11:16 UTC
0.5.32025-11-16 09:37:33 UTC

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

Compatibilidade de versões

Versão estável mais recente que declara suporte para cada versão do ambiente (segundo os requisitos publicados com cada versão).

AmbienteVersão compatível mais recente
python 3.8nenhuma
python 3.9nenhuma
python 3.100.13.2
python 3.110.13.2
python 3.120.13.2
python 3.130.13.2

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 leanclient?

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

Como instalo a versão mais recente de leanclient?

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

leanclient está descontinuado?

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

Qual versão do Python leanclient exige?

leanclient 0.13.2 declara este requisito: python >=3.10.

leanclient 0.13.2 tem vulnerabilidades conhecidas?

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

leanclient ainda é mantido?

leanclient publicou 20 versões estáveis nos últimos 12 meses; a mais recente há 85 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/leanclient/version.svg)](https://vigia.coredls.cloud/pypi/leanclient)
[![maintained](https://vigia.coredls.cloud/badge/pypi/leanclient/maintained.svg)](https://vigia.coredls.cloud/pypi/leanclient)
[![status](https://vigia.coredls.cloud/badge/pypi/leanclient/status.svg)](https://vigia.coredls.cloud/pypi/leanclient)

Para agentes

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