Vigia

PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp ativo

Lean Theorem Prover MCP

Versão estável mais recente0.30.0
Publicada2026-08-19 19:09:54 UTC
Requerpython >=3.10
LicençaMIT
Alertas de segurança na versão mais recentenenhum conhecido
Última verificação2026-09-28 19:22:26 UTC
Fontespypi.org

Manutenção

Atividadeativo
Última versão estável2026-08-19 19:09:54 UTC · há 40 dias
Versões estáveis nos últimos 12 meses55
Versões publicadas81

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.30.02026-08-19 19:09:54 UTC
0.29.02026-07-28 08:45:15 UTC
0.28.12026-07-17 18:09:01 UTC
0.28.02026-07-06 12:55:23 UTC
0.27.02026-06-09 15:31:17 UTC
0.26.22026-05-04 09:20:41 UTC
0.26.12026-04-10 14:52:14 UTC
0.26.02026-04-08 18:49:02 UTC
0.25.12026-03-17 13:55:14 UTC
0.25.02026-03-17 13:14:05 UTC
0.24.02026-03-11 14:23:15 UTC
0.23.22026-03-08 13:24:23 UTC
0.23.12026-03-04 15:04:08 UTC
0.23.02026-03-04 14:12:17 UTC
0.22.42026-03-03 18:31:59 UTC
0.22.32026-03-02 20:28:51 UTC
0.22.22026-02-25 17:55:10 UTC
0.22.12026-02-22 14:47:20 UTC
0.22.02026-02-18 15:38:38 UTC
0.21.22026-02-17 18:00:40 UTC

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

Perguntas frequentes

Qual é a versão mais recente de lean-lsp-mcp?

A versão estável mais recente de lean-lsp-mcp é a 0.30.0, publicada em 2026-08-19. Verificado pelo Vigia em 2026-09-28.

lean-lsp-mcp está descontinuado?

Não. lean-lsp-mcp não está marcado como descontinuado no registro.

Qual versão do Python lean-lsp-mcp exige?

lean-lsp-mcp 0.30.0 declara este requisito: python >=3.10.

lean-lsp-mcp 0.30.0 tem vulnerabilidades conhecidas?

Nenhum alerta de segurança conhecido afeta lean-lsp-mcp 0.30.0, segundo os dados consultados pelo Vigia.

lean-lsp-mcp ainda é mantido?

lean-lsp-mcp publicou 55 versões estáveis nos últimos 12 meses; a mais recente há 40 dias. Atividade: ativo.

Mudanças observadas

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

Pacotes relacionados

Para agentes

GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp
GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp/versions/{version}