找到 5 个结果
这是一个生产就绪的去中心化AI数据平台，提供功能完备的MCP服务器，用于托管资源、执行工具和支持LLM上下文服务。
连接LLM与Rocq/Coq证明助手的MCP服务器，提供交互式定理证明工具。
Lean LSP MCP 是一个基于 Model Context Protocol 的服务器，旨在为 Lean 4 定理证明器提供 Agentic 交互能力。
LeanTool MCP服务器是一个基于Model Context Protocol的应用后端，为LLM客户端提供Lean代码检查工具，支持通过MCP协议进行交互，辅助LLM进行Lean定理证明和代码生成。
MCP-Logic是一个MCP服务器，它利用Prover9/Mace4提供自动推理能力，支持逻辑定理证明和语法验证，为AI系统提供形式化逻辑支持。