PyPI · pypi:leanclient

leanclient активний

Interact with the Lean theorem prover language server

Остання стабільна версія leanclient — 0.13.2, опублікована 2026-08-19. Перевірено Vigia 2026-11-13.

Підтримка

Евристика, що ґрунтується лише на датах публікації; не відображає швидкість реакції на issues та проблеми безпеки.

Історія версій

Показано 20 найновіших із 42 версій. JSON

Сумісність версій

Найновіша стабільна версія, що заявляє підтримку кожної версії середовища виконання (за вимогами, опублікованими з кожною версією).

Передайте ці дані своєму ШІ-агенту

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

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

Поширені запитання

Зафіксовані зміни

Відколи Vigia відстежує цей пакет, змін ще не зафіксовано.

Пов’язані пакети

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

Бейджі для README

Покажіть останню версію, стан підтримки та ознаку застарівання цього пакета. Скопіюйте 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)

Для агентів

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