Lean LSP MCP
将 FlowHunt 与 Lean LSP MCP 服务器集成，使 AI 智能体能够自动化 Lean 数学证明，提供高级诊断、自动证明、代码补全和定理检索，通过无缝的 LSP 连接支持 VSCode、Cursor、Claude Code 等。
•
2 分钟阅读
Math Integrations
浏览 Math Integrations 分类中的所有内容
浏览 Math Integrations 分类中的所有内容
将 FlowHunt 与 Lean LSP MCP 服务器集成，使 AI 智能体能够自动化 Lean 数学证明，提供高级诊断、自动证明、代码补全和定理检索，通过无缝的 LSP 连接支持 VSCode、Cursor、Claude Code 等。