Vigia

PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp activo

Lean Theorem Prover MCP

Última versión estable0.30.0
Publicada2026-08-19 19:09:54 UTC
Requierepython >=3.10
LicenciaMIT
Avisos de seguridad en la última versiónninguno conocido
Última verificación2026-09-28 19:22:26 UTC
Fuentespypi.org

Mantenimiento

Actividadactivo
Última versión estable2026-08-19 19:09:54 UTC · hace 40 días
Versiones estables en los últimos 12 meses55
Versiones publicadas81

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ónPublicada
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

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

Preguntas frecuentes

¿Cuál es la última versión de lean-lsp-mcp?

La última versión estable de lean-lsp-mcp es 0.30.0, publicada el 2026-08-19. Verificado por Vigia el 2026-09-28.

¿lean-lsp-mcp está deprecado?

No. lean-lsp-mcp no está marcado como deprecado en el registro.

¿Qué versión de Python requiere lean-lsp-mcp?

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

¿lean-lsp-mcp 0.30.0 tiene vulnerabilidades conocidas?

No hay avisos de seguridad conocidos que afecten a lean-lsp-mcp 0.30.0 según los datos que consulta Vigia.

¿lean-lsp-mcp sigue mantenido?

lean-lsp-mcp publicó 55 versiones estables en los últimos 12 meses; la más reciente hace 40 días. Actividad: activo.

Cambios observados

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

Paquetes 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}