MCP Server Mathematica

🚀 Mathematica MCP サーバ

Mathematica MCP サーバは、Mathematica を利用した数学的計算や導出の検証を行うためのサーバです。このサーバを使用することで、MCP クライアントと連携して数学的な操作を行うことができます。

🚀 クイックスタート

インストール前提条件

• Mathematica ライセンス：合法な Mathematica ライセンスを持ち、正しくアクティベートされていることを確認してください。
• WolframScript：wolframscript がインストールされ、システムパスに含まれていることを確認してください（wolframscript -help コマンドで検証できます）。

📦 インストール

1. このリポジトリをクローンまたはダウンロードします。
2. プロジェクトのルートディレクトリで以下のコマンドを実行して依存関係をインストールします。

   npm install
   

サーバの起動

プロジェクトのルートディレクトリで以下のコマンドを実行してサーバを起動します。

node build/index.js

💻 使用例

MCP クライアントとの統合

MCP クライアントの設定

1. MCP クライアントの設定ファイル（例：config.json）に以下の内容を追加します。

   {
     "servers": {
       "mathematica-mcp-server": {
         "url": "http://localhost:3000",
         "enabled": true
       }
     },
     "tools": {
       "execute_mathematica": {
         "server": "mathematica-mcp-server"
       },
       "verify_derivation": {
         "server": "mathematica-mcp-server"
       }
     }
   }
   

サンプル呼び出し

ツール名を直接使用して呼び出す：

{
  "tool_name": "execute_mathematica",
  "arguments": {
    "code": "Integrate[x^2, {x, 0, 1}]",
    "format": "latex"
  }
}

利用可能なツール

ツール 1：execute_mathematica

• 機能：Mathematica を使用して任意の数学式を計算します。
• パラメータ：
  • code: 計算する数学式（文字列）。
  • format: 出力形式。"text" または "latex" を指定できます。
• 戻り値：

  {
    "result": "積分結果",
    "formatted_result": "フォーマットされた結果"
  }
  

ツール 2：verify_derivation

• 機能：数学的な導出ステップの正しさを検証します。
• パラメータ：
  • steps: 数学的な導出ステップの配列（各要素は文字列）。
  • format: 出力形式。"text" または "latex" を指定できます。
• 戻り値：

  {
    "valid": "true" または "false",
    "errors": ["エラーメッセージのリスト"]
  }
  

トラブルシューティング

1. サーバが起動しないまたは応答しない場合：
   • node build/index.js コマンドでサーバが起動していることを確認してください。
   • wolframscript がインストールされ、パスが正しく設定されていることを確認してください。
2. ツール呼び出しエラーが発生した場合：
   • コンソール出力を確認して詳細なエラーメッセージを取得してください。
   • 入力パラメータの形式と内容が正しいことを確認してください。
3. Mathematica 関連の問題が発生した場合：
   • Mathematica が正しくインストールされ、アクティベートされていることを確認してください。

プロジェクト構造

• src/：TypeScript のソースコードファイルが含まれています。
• build/：npm run build コマンドでコンパイルされた JavaScript ファイルが含まれています。
• package.json：プロジェクトの依存関係と設定ファイルです。
• tsconfig.json：TypeScript コンパイラの設定ファイルです。