PyPI · pypi:leanclient

leanclient actief

Interact with the Lean theorem prover language server

De nieuwste stabiele versie van leanclient is 0.13.2, gepubliceerd op 2026-08-19. Geverifieerd door Vigia op 2026-11-13.

Onderhoud

Heuristiek die alleen op publicatiedatums is gebaseerd; meet geen reactietijden op issues of beveiligingsproblemen.

Versiegeschiedenis

De 20 meest recente van 42 versies worden getoond. JSON

Versiecompatibiliteit

Nieuwste stabiele versie die ondersteuning aangeeft voor elke runtimeversie (volgens de vereisten die met elke versie zijn gepubliceerd).

Geef je AI-agent deze feiten

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

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

Veelgestelde vragen

Waargenomen wijzigingen

Nog geen wijzigingen waargenomen sinds Vigia dit pakket volgt.

Gerelateerde pakketten

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

Badges voor je README

Toon de nieuwste versie, de onderhoudsstatus en of dit pakket verouderd is. Kopieer de 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)

Voor agents

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