PyPI · pypi:leanclient

leanclient attivo

Interact with the Lean theorem prover language server

L’ultima versione stabile di leanclient è la 0.13.2, pubblicata il 2026-08-19. Verificato da Vigia il 2026-11-13.

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 42 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

Nessuna modifica osservata da quando Vigia monitora questo pacchetto.

Pacchetti correlati

• lean-lsp-mcp
• pandas-flavor
• pyth3
• reporters-db
• openinference-instrumentation-claude-agent-sdk
• avro-gen
• textual-serve
• jsons
• vispy
• hsluv
• stix2-patterns
• onecache

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/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)

Per gli agenti

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