A
MCP-Logic
By angrysky56·Visit Source
Prover9/Mace4を使用した自動論理推論のためのMCPサーバー
2025年1月28日
22 days ago
54 Clicks
このMCPについて
MCP-Logicは、Prover9/Mace4を使用した自動推論機能を提供するModel Context Protocolサーバーです。標準化されたインターフェースを通じて、AIシステムが形式的な定理証明と論理モデル検証を実行できるようにします。
使用方法
Prover9/Mace4バイナリへのパスを設定して、サーバーをMCP環境に統合します。JSONリクエスト経由でproveやcheck-well-formedなどのツールを使用し、論理操作や構文検証を実行します。
用途
このMCPは、AI知識モデルの検証、推論チェーンにおける論理的含意の検証、AIシステム表現の形式的正確性の保証に特に有効です。AIシステムと形式的論理機能を橋渡しします。
Repository Info
Stars:
20
Forks:
4
Watchers:
20
Last Updated: 1 month ago
