mcp-logic

機能

mcp-logicは、Claude AIとProver9およびMace4という強力な自動推論エンジンを接続するModel Context Protocol（MCP）サーバーです。ユーザーは形式論理計算を実行し、論理証明を検証し、論理式の充足可能性をチェックし、モデルを生成することができます。このツールは、Claudeを複雑な論理文や数学的証明を処理できる論理推論アシスタントに変えます。

セットアップ方法

インストールにはPythonとProver9/Mace4のバイナリが必要です。GitHubからリポジトリをクローンし、pipを使用してPythonの依存関係をインストールし、ClaudeまたはMCP互換クライアントでMCPサーバー接続を構成し、Prover9/Mace4がシステムPATHにあることを確認します。Windows、Linuxで動作し、Claudeアプリや他のMCP互換プラットフォームと統合されます。

主な機能

• Prover9を使用した自動定理証明
• Mace4を使用したモデル生成と有限モデルチェック
• 一階論理式の検証
• 証明の構築と検証
• クロスプラットフォーム互換性（Windows、Linux）
• MCPプロトコルを介したClaudeアプリとのシームレスな統合