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について
MCP-Logicは、Prover9/Mace4を使用した自動推論機能を提供するModel Context Protocolサーバーです。標準化されたインターフェースを通じて、AIシステムが形式的な定理証明と論理モデル検証を実行できるようにします。
使用方法
Prover9/Mace4バイナリへのパスを設定して、サーバーをMCP環境に統合します。JSONリクエスト経由でproveやcheck-well-formedなどのツールを使用し、論理操作や構文検証を実行します。
用途
このMCPは、AI知識モデルの検証、推論チェーンにおける論理的含意の検証、AIシステム表現の形式的正確性の保証に特に有効です。AIシステムと形式的論理機能を橋渡しします。
AIMCP authority
DR and traffic signal for the AIMCP public domain.
Frequently 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.