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
• openinference-instrumentation-claude-agent-sdk
• pyth3
• reporters-db
• avro-gen
• textual-serve
• vispy
• jsons
• stix2-patterns
• hsluv
• onecache

Бейджи для 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}