PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp attivo

Lean Theorem Prover MCP

L’ultima versione stabile di lean-lsp-mcp è la 0.33.0, pubblicata il 2026-11-03. Verificato da Vigia il 2026-11-14.

Manutenzione

Euristica basata solo sulle date di pubblicazione; non misura i tempi di risposta alle issue né ai problemi di sicurezza.

Cronologia delle versioni

Sono mostrate le 20 più recenti su 84 versioni. JSON

Compatibilità delle versioni

Versione stabile più recente che dichiara il supporto per ciascuna versione dell’ambiente (secondo i requisiti pubblicati con ogni versione).

Dai questi dati al tuo agente IA

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

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

Domande frequenti

Modifiche osservate

• ue Nov 03 2026 16:08:26 GMT+0000 (Coordinated Universal Time) — released 0.32.0 → 0.33.0
• Mon Oct 26 2026 19:51:50 GM +0000 (Coordinated Universal Time) — released 0.31.0 → 0.32.0
• Wed Sep 30 2026 19:41:14 GM +0000 (Coordinated Universal Time) — released 0.30.0 → 0.31.0

Pacchetti correlati

• leanclient
• reporters-db
• pyth3
• pandas-flavor
• textual-serve
• vispy
• openinference-instrumentation-claude-agent-sdk
• hsluv
• avro-gen
• onecache
• jsons
• pymatgen

Badge per il tuo README

Mostra l’ultima versione, lo stato di manutenzione e l’eventuale deprecazione di questo pacchetto. Copia il Markdown:

[![version](https://vigia.coredls.cloud/badge/pypi/lean-lsp-mcp/version.svg)](https://vigia.coredls.cloud/pypi/lean-lsp-mcp)
[![maintained](https://vigia.coredls.cloud/badge/pypi/lean-lsp-mcp/maintained.svg)](https://vigia.coredls.cloud/pypi/lean-lsp-mcp)
[![status](https://vigia.coredls.cloud/badge/pypi/lean-lsp-mcp/status.svg)](https://vigia.coredls.cloud/pypi/lean-lsp-mcp)

Per gli agenti

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