PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp активний

Lean Theorem Prover MCP

Остання стабільна версія lean-lsp-mcp — 0.33.0, опублікована 2026-11-03. Перевірено Vigia 2026-11-13.

Підтримка

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

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

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

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

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

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

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

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

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

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

• 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

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

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

Бейджі для README

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

Для агентів

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