"知识表示" 标签

MCP-Logic是一个MCP服务器，它利用Prover9/Mace4提供自动推理能力，支持逻辑定理证明和语法验证，为AI系统提供形式化逻辑支持。