标签：模型查找

MCP-Logic是一款自动化一阶逻辑推理服务器，集成了Prover9、Mace4和内置推理LLM，适用于定理证明、模型查找和自然语言逻辑问题解答。