Proof Automation

Lean LSP MCP 服务器

Lean LSP MCP 服务器通过语言服务器协议（LSP）连接 AI 助手与 Lean 定理证明器项目，使代理能够访问诊断、目标状态、代码补全、定理搜索等功能，实现高级 Lean 工作流自动化。...