pypi · pypi:lean-lsp-mcp
lean-lsp-mcp 活跃
Lean Theorem Prover MCP
| 最新稳定版本 | 0.30.0 |
|---|---|
| 发布时间 | 2026-08-19 19:09:54 UTC |
| 运行要求 | python >=3.10 |
| 许可证 | MIT |
| 最新版本的安全公告 | 暂无已知 |
| 最近核实 | 2026-09-28 14:57:40 UTC |
| 来源 | pypi.org |
观察到的变更
自 Vigia 开始跟踪此软件包以来，尚未观察到变更。
供智能体使用
GET https://vigia.coredls.cloud/v1/packages/pypi/lean-lsp-mcp