作者:oOo0oOo
Lean Theorem Prover MCP
安装
claude mcp add lean-lsp uvx lean-lsp-mcp
未认领列表
此列表根据公开信息自动生成。认领后,你可以编辑页面、设置兼容性并解锁增长工具。全程不超两分钟。