MCP-Logic
用AI做逻辑推理验证？这个工具帮你自动证明定理，查错快准稳。
リサーチとデータ
0 プラットフォーム
0 機能
インストール
上記の設定をMCPクライアントの設定ファイル（Claude Desktop は claude_desktop_config.json）に追記し、クライアントを再起動してください。
設定例の記載はありません。リポジトリをご確認ください。
上記の設定をMCPクライアントの設定ファイル（Claude Desktop は claude_desktop_config.json）に追記し、クライアントを再起動してください。
出典：公開されているMCPサーバーカタログ。当サイトは独立した第三者ディレクトリであり、各MCPサーバーの提供元との提携や推奨関係はありません。
