広告掲載投稿ログイン

1 件の#formal-logic MCP サーバー & クライアント

以下の MCP サーバーとクライアントはすべて #formal-logic タグが付いています——インストールすると、Claude、Cursor、VS Code など MCP 対応クライアントで formal-logic 関連のツールが使えるようになります。

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 か月前に追加

よくある質問

#formal-logic タグの MCP サーバーとクライアントに関するよくある質問

1

#formal-logic MCP サーバーとは何ですか？

#formal-logic タグの付いた MCP サーバーは Model Context Protocol を実装しており、Claude、Cursor、VS Code などの AI アシスタントが formal-logic 関連のツール、データ、API にアクセスできるようになります。

2

#formal-logic タグの付いた MCP サーバーとクライアントはいくつありますか？

mcp.so には現在、#formal-logic タグが付いた MCP サーバーとクライアントが 1 件登録されています。

3

#formal-logic MCP サーバーはどうやってインストールしますか？

下記のサーバーを開き、インストール用のスニペットを Claude Desktop、Cursor、VS Code など MCP クライアントの設定にコピーしてください——リモートサーバーは個別のダウンロードが不要です。