找到 2 个结果
Lean LSP MCP 是一个基于 Model Context Protocol 的服务器，旨在为 Lean 4 定理证明器提供 Agentic 交互能力。
LeanTool MCP服务器是一个基于Model Context Protocol的应用后端，为LLM客户端提供Lean代码检查工具，支持通过MCP协议进行交互，辅助LLM进行Lean定理证明和代码生成。