PyPI · pypi:lean-lsp-mcp

lean-lsp-mcp 活跃

Lean Theorem Prover MCP

lean-lsp-mcp 的最新稳定版本是 0.33.0，发布于 2026-11-03。Vigia 于 2026-11-14 核实。

维护情况

仅根据发布时间估算，不反映对 issue 或安全问题的响应速度。

版本历史

显示 84 个版本中最新的 20 个。 JSON

版本兼容性

声明支持各运行时版本的最新稳定版本（依据每个版本发布的要求）。

把这些数据交给你的 AI 智能体

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

相关软件包

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

用于 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}