#logic MCP サーバーとは何ですか？
#logic タグの付いた MCP サーバーは Model Context Protocol を実装しており、Claude、Cursor、VS Code などの AI アシスタントが logic 関連のツール、データ、API にアクセスできるようになります。
2 件の#logic MCP サーバー & クライアント
以下の MCP サーバーとクライアントはすべて #logic タグが付いています——インストールすると、Claude、Cursor、VS Code など MCP 対応クライアントで logic 関連のツールが使えるようになります。
すべて
MCP-Logic
angrysky56
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
2 年前 に追加
Neo Mcp Logic Analyze
giseldo
Python MCP server for controlled logic analysis from natural language, with an emphasis on auditable output and teaching-oriented explanations.
7 か月前 に追加
よくある質問
#logic タグの MCP サーバーとクライアントに関するよくある質問
#logic タグの付いた MCP サーバーとクライアントはいくつありますか？
mcp.so には現在、#logic タグが付いた MCP サーバーとクライアントが 2 件登録されています。
#logic MCP サーバーはどうやってインストールしますか？
下記のサーバーを開き、インストール用のスニペットを Claude Desktop、Cursor、VS Code など MCP クライアントの設定にコピーしてください——リモートサーバーは個別のダウンロードが不要です。