MCP Server Mathematica

🚀 Mathematica MCP 服务器

Mathematica MCP 服务器可与 MCP 客户端集成，借助 Mathematica 强大的计算能力，实现数学表达式计算和推导步骤验证等功能，为数学相关的开发工作提供便利。

🚀 快速开始

安装前提条件

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

安装步骤

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

   npm install
   

运行服务器

在项目根目录中，执行以下命令启动服务器：

node build/index.js

✨ 主要特性

• 可通过 Mathematica 计算任意数学表达式。
• 能够验证数学推导步骤的正确性。
• 可与 MCP 客户端集成，方便调用相关功能。

📦 安装指南

安装前提

• 需有合法且已激活的 Mathematica 许可证。
• 要安装 wolframscript 并确保其在系统路径中，可通过 wolframscript -help 命令验证。

具体步骤

1. 克隆或下载本仓库。
2. 在项目根目录下，运行 npm install 安装依赖。

💻 使用示例

与 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

• 功能：通过 Mathematica 计算任意数学表达式。
• 参数：
  • code：待计算的数学表达式（字符串）。
  • format：输出格式，可选值为 "text" 或 "latex"。
• 返回结果示例：

{
  "result": "积分结果",
  "formatted_result": "格式化后结果"
}

工具 2：verify_derivation

• 功能：验证数学推导步骤的正确性。
• 参数：
  • steps：数学推导步骤数组（每个元素为字符串）。
  • format：输出格式，可选值为 "text" 或 "latex"。
• 返回结果示例：

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

📚 详细文档

可用工具说明

工具 1：execute_mathematica

• 功能：利用 Mathematica 计算任意数学表达式。
• 参数：
  • code：需计算的数学表达式，以字符串形式提供。
  • format：指定输出格式，可选择 "text" 或 "latex"。
• 返回结果：包含计算结果和格式化后的结果。

工具 2：verify_derivation

• 功能：验证数学推导步骤的正确性。
• 参数：
  • steps：数学推导步骤的数组，每个元素为字符串。
  • format：输出格式，可选 "text" 或 "latex"。
• 返回结果：包含验证结果（true 或 false）和错误信息列表。

故障排除

服务器未启动或无响应

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

工具调用错误

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

Mathematica 相关问题

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

项目结构

• src/：存放 TypeScript 源代码文件。
• build/：包含通过 npm run build 编译生成的 JavaScript 文件。
• package.json：项目依赖和配置文件。
• tsconfig.json：TypeScript 编译器配置文件。