← 返回首页Logic (Prover9/Mace4)0集成 Prover9/Mace4，实现自动推理、定理证明和逻辑分析。MCP (1)MCP逻辑推理（Prover9/Mace4）暂无 MCP 配置。