lean-lsp-mcp

近期有维护

Lean Theorem Prover MCP

Stars

545

累计关注

Forks

衍生分支

近 7 天增长

采集快照净变化

主要语言

Python

来自仓库信息

Star 历史与增长

只展示真实采集记录；缺失日期不补造数据。

545 ★49 次观测

2026-08-102026-11-03

查看最近观测数据

克隆只下载源码；安装和依赖请以官方文档为准。

git clone https://github.com/oOo0oOo/lean-lsp-mcp.git

lean-lsp-mcp 是什么？

Lean Theorem Prover MCP

如何获取和安装？

可使用 git clone https://github.com/oOo0oOo/lean-lsp-mcp.git 获取源码。克隆不等于安装完成；依赖、宿主和使用步骤请参照官方 README。

可以商用吗？

当前许可信息：MIT。请核对原始许可、第三方依赖与具体使用条件。

维护与增长数据可靠吗？

当前状态：近期有维护。维护信号不等于安全审计；增长仅来自已采集的真实快照，缺少历史基线时不推测。