🚀 Mathematica MCP 服务器

Mathematica MCP 服务器允许你借助 Mathematica 强大的计算能力，实现数学表达式的计算和推导步骤的验证，为数学相关的开发工作提供便利。

🚀 快速开始

安装前提条件

• Mathematica 许可证：确保你拥有合法的 Mathematica 许可证并已正确激活。
• WolframScript：确认 wolframscript 已安装并在你的系统路径中（通过命令 wolframscript -help 进行验证）。

安装步骤

1. 克隆或下载此仓库。
2. 在项目根目录中运行以下命令以安装依赖项：

   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 编译器配置文件。

🛠️ 故障排除

1. 服务器未启动或无响应：

   • 确保服务器已通过 node build/index.js 启动。
   • 检查 wolframscript 是否安装并正确配置路径。

2. 工具调用错误：

   • 查看控制台输出以获取详细错误信息。
   • 确认输入参数的格式和内容是否符合要求。

3. Mathematica 相关问题：

   • 确保 Mathematica 已正确安装和激活。