MCP-Logic
基于Prover9/Mace4的自动化逻辑推理MCP服务器. MCP-Logic is a Model Context Protocol (MCP) server maintained by angrysky56. It connects to MCP-compatible clients such as Claude Desktop, Cursor, Cline, and other agents that speak the protocol. It exposes 2 tools, including prove and check-well-formed, that an agent can call directly. It is categorized under AI/Reasoning and Tool/TheoremProver.
什么是MCP-Logic
MCP-Logic是一个模型上下文协议服务器，通过Prover9/Mace4提供自动化推理能力。它使AI系统能够通过标准化接口执行形式化定理证明和逻辑模型验证。
如何使用该MCP
通过配置Prover9/Mace4二进制文件路径将服务器集成到您的MCP环境中。通过JSON请求使用prove和check-well-formed等工具执行逻辑操作和语法验证。
MCP的用途
该MCP特别适用于验证AI知识模型、检验推理链中的逻辑蕴含关系，以及确保AI系统表示的形式正确性。它为AI系统搭建了与形式化逻辑能力之间的桥梁。
AIMCP 域名指标
MyBacklinks 展示 aimcp.info 的指标。流量值由第三方估算，徽章未标明周期或方法；它不是 AIMCP 实测页面浏览量，缺失也不等于零。
测量日期：来源未提供。
来源与详情：MyBacklinks · aimcp.infoFrequently asked questions
What is the MCP-Logic MCP server?
MCP-Logic is a Model Context Protocol server from angrysky56. It lets MCP-compatible AI clients call its tools over a standard interface, so agents like Claude, Cursor, and Cline can use it without custom integration.
How do I connect MCP-Logic to my AI client?
Add MCP-Logic to your client's MCP configuration using the stdio or SSE connection shown in the usage examples on this page, then restart the client to load the server.
What tools does MCP-Logic provide?
MCP-Logic provides 2 tools: prove and check-well-formed.
Is MCP-Logic free to use?
MCP-Logic is listed on AIMCP for free. Any API keys or accounts required by the underlying service are set by its provider.
Vernclaw Plugins for OpenClaw
Ready-to-use connectors for SEO data, social reading & content generation. Pay-as-you-go credits with audit logs.