MCP Server Mathematica

該項目是一個Mathematica模型上下文協議(MCP)服務器，通過wolframscript執行數學計算和驗證推導步驟，為MCP客戶端(如Cursor)提供數學計算服務。

教育與學習工具開發者工具 #數學計算 #公式驗證 #MCP協議本地 .JavaScript

評分 : 2.5分

下載量 : 7.8K

更新時間 : 2025-04-29

打開站點

什麼是Mathematica MCP服務器？

Mathematica MCP服務器是一個允許其他應用程序（如Cursor）通過MCP協議執行復雜數學計算並驗證推導步驟的工具。它利用本地安裝的Mathematica軟件完成這些任務。

如何使用Mathematica MCP服務器？

首先確保Mathematica已正確安裝並配置好環境變量。然後按照步驟啟動服務器，並在支持MCP的應用程序中添加配置。

適用場景

適合需要高性能數學計算、公式驗證以及LaTeX生成的場景，例如學術研究、工程設計和教育領域。

主要功能

執行任意Mathematica代碼

運行用戶提供的Mathematica代碼，並返回文本、LaTeX或原始Mathematica格式的結果。

驗證數學推導步驟

逐步檢查數學表達式序列的邏輯連貫性，確保每一步都正確。

優勢

支持複雜的數學運算和符號處理

兼容多種輸出格式（文本、LaTeX、Mathematica）

無需網絡連接即可使用本地Mathematica功能

侷限性

需要安裝Mathematica軟件

可能對高負載計算性能有限制

如何使用

安裝依賴

克隆倉庫並安裝所需的Node.js依賴項。

構建服務器

編譯TypeScript代碼以生成JavaScript文件。

啟動服務器

運行服務器腳本以監聽MCP請求。

配置客戶端

在支持MCP的應用程序中添加服務器配置。

使用案例

執行積分計算

調用服務器計算積分並返回結果。

驗證推導步驟

檢查推導步驟是否正確。

常見問題

如何確保Mathematica MCP服務器正常工作？

為什麼我的客戶端找不到服務器？

🚀 Mathematica MCP 服務器

Mathematica MCP 服務器允許你藉助 Mathematica 強大的計算能力，實現數學表達式的計算和推導步驟的驗證，為數學相關的開發工作提供便利。

🚀 快速開始

安裝前提條件

Mathematica 許可證：確保你擁有合法的 Mathematica 許可證並已正確激活。
WolframScript：確認 wolframscript 已安裝並在你的系統路徑中（通過命令 wolframscript -help 進行驗證）。

安裝步驟

克隆或下載此倉庫。
在項目根目錄中運行以下命令以安裝依賴項：
```
npm install
```

運行服務器

在項目根目錄中，執行以下命令啟動服務器：

node build/index.js

✨ 主要特性

數學計算：通過 execute_mathematica 工具，可計算任意數學表達式。
推導驗證：使用 verify_derivation 工具，能驗證數學推導步驟的正確性。
多格式輸出：支持 "text" 和 "latex" 兩種輸出格式。

💻 使用示例

與 MCP 客戶端集成

配置 MCP 客戶端

在你的 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`

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

返回結果示例：

{
  "result": "積分結果",
  "formatted_result": "格式化後結果"
}

工具 2：`verify_derivation`

{
  "tool_name": "verify_derivation",
  "arguments": {
    "steps": ["推導步驟1", "推導步驟2"],
    "format": "latex"
  }
}

返回結果示例：

{
  "valid": "true" 或 "false",
  "errors": ["錯誤信息列表"]
}

📚 詳細文檔

可用工具

工具 1：`execute_mathematica`

功能：通過 Mathematica 計算任意數學表達式。
參數：
- code: 待計算的數學表達式（字符串）。
- format: 輸出格式，可選值為 "text" 或 "latex"。

返回結果：

{
  "result": "積分結果",
  "formatted_result": "格式化後結果"
}

工具 2：`verify_derivation`

功能：驗證數學推導步驟的正確性。
參數：
- steps: 數學推導步驟數組（每個元素為字符串）。
- format: 輸出格式，可選值為 "text" 或 "latex"。

返回結果：

{
  "valid": "true" 或 "false",
  "errors": ["錯誤信息列表"]
}

🔧 技術細節

項目結構

src/：包含 TypeScript 源代碼文件。
build/：包含通過 npm run build 編譯生成的 JavaScript 文件。
package.json：項目依賴和配置文件。
tsconfig.json：TypeScript 編譯器配置文件。

🛠️ 故障排除

服務器未啟動或無響應：
- 確保服務器已通過 node build/index.js 啟動。
- 檢查 wolframscript 是否安裝並正確配置路徑。
工具調用錯誤：
- 查看控制檯輸出以獲取詳細錯誤信息。
- 確認輸入參數的格式和內容是否符合要求。
Mathematica 相關問題：
- 確保 Mathematica 已正確安裝和激活。