Mathematica MCP服务器
此存储库包含一个模型上下文协议（MCP）服务器，允许MCP客户端（如Cursor）通过以下方式执行Mathematica代码 wolframscript 并验证数学推导。
概述
此服务器充当桥梁，使支持MCP的应用程序能够利用本地Mathematica安装的功能来执行以下任务：
- 执行复杂的数学计算。
- 验证人类或人工智能模型提供的数学推导步骤。
- 生成表达式的LaTeX或Mathematica字符串表示。
先决条件
- 数学软件 必须安装在您的系统上。
- 这
wolframscript命令行实用程序必须在系统的PATH中可用。您可以通过运行来测试这一点wolframscript -help在你的终端。 - （推荐：v16或更高版本，从中推断
tsconfig.json目标ES2022).
安装
- 克隆存储库：
git clone
cd - 安装依赖项：
npm install- 构建服务器：
npm run build此命令从以下位置编译TypeScript源代码 src/ 在JavaScript中 build/ 目录，并使主脚本可执行。
运行服务器
要启动MCP服务器，请在终端中运行以下命令：
node build/index.js服务器将启动并通过标准输入/输出（stdio）监听来自MCP客户端的连接。当您打算使用服务器时，请保持此终端窗口打开。
为了实现更稳健的部署，可以考虑使用流程管理器，如 pm2 在后台运行服务器并管理重启。
与MCP客户端（如Cursor、Cline、Claude Desktop）集成
MCP客户端通常会发现正在运行的MCP服务器并与之通信。具体的配置步骤可能因客户端应用程序而异。
一般步骤：
- 启动Mathematica MCP服务器： 确保服务器在终端中运行：
node build/index.js- 配置您的MCP客户端： 将服务器添加到客户端的配置中。这通常涉及编辑JSON设置文件。请参阅下面的客户特定说明。
- 重新启动MCP客户端： 启动服务器或更改配置后，重新启动客户端应用程序以确保它检测到Mathematica服务器。
客户端特定配置：
- 克莱恩：
根据 临床MCP服务器开发协议，通常在设置文件中配置服务器（通常 settings.json 在Cline配置目录中）。您可以添加这样的条目：
{
"mcpServers": {
"mathematica-server": {
"command": "node",
"args": ["/full/path/to/mcp-server-mathematica/build/index.js"], // Replace with the actual absolute path
"disabled": false,
"autoApprove": [] // Optional: Add tool names to auto-approve
}
// ... other servers ...
}
}*替换 /full/path/to/mcp-server-mathematica/build/index.js 通往建筑的绝对路径 index.js 您系统上的文件。*
- 光标：
游标可能需要编辑特定的设置文件，可能如下 ~/Library/Application Support/Cursor/User/globalStorage/saoudrizwan.claude-dev/settings/cline_mcp_settings.json （尽管这条路可能会改变）。该结构将类似于上述Cline示例。
- 其他客户（例如Claude Desktop）：
请查阅您特定MCP客户端的文档。查找“MCP服务器”、“工具配置”或“外部工具”部分。配置通常涉及指定命令(node)，服务器脚本的路径(build/index.js)，以及可能的环境变量（如果需要）。
可用工具
服务器向MCP客户端公开以下工具：
1. execute_mathematica
执行任意Mathematica代码并返回结果。
输入架构：
{
type: "object",
properties: {
code: {
type: "string",
description: "Mathematica code to execute"
},
format: {
type: "string",
description: "Output format (text, latex, or mathematica)",
enum: ["text", "latex", "mathematica"],
default: "text"
}
},
required: ["code"]
}示例用法（客户端请求）：
- 自然语言： “使用Mathematica计算x^2从0到1的积分，格式为LaTeX”
- 直接工具调用：
{
"tool_name": "execute_mathematica",
"arguments": {
"code": "Integrate[x^2, {x, 0, 1}]",
"format": "latex"
}
}2. verify_derivation
验证一系列数学表达式，以检查每个步骤是否在逻辑上遵循前一个步骤 Simplify[prev == current].
输入架构：
{
type: "object",
properties: {
steps: {
type: "array",
description: "Array of mathematical expressions (as strings) representing steps in a derivation. Requires at least two steps.",
items: {
type: "string"
}
},
format: {
type: "string",
description: "Output format for the verification report (text, latex, or mathematica)",
enum: ["text", "latex", "mathematica"],
default: "text"
}
},
required: ["steps"]
}示例用法（客户端请求）：
- 自然语言： “验证此推导：\['x^2-y^2'，'（x-y）（x+y）'\]”
- 直接工具调用：
{
"tool_name": "verify_derivation",
"arguments": {
"steps": [
"x^2 - y^2",
"(x-y)*(x+y)"
],
"format": "text"
}
}故障排除
- 找不到服务器/没有响应：
- 确保服务器在终端中运行(node build/index.js). - 检查是否 wolframscript 已安装并可在PATH中访问(wolframscript -help). - 重新启动MCP客户端应用程序。 - 检查客户端的MCP配置。
- 工具错误：
- 检查服务器的终端输出（stderr）中的日志和错误消息 wolframscript. - 验证Mathematica的语法 code 或 steps 提供。 - 确保 steps 数组用于 verify_derivation 至少有两个元素。
- Mathematica问题： 确保您的Mathematica安装已获得许可并正常工作。
项目结构
src/：服务器的TypeScript源代码。build/：编译的JavaScript输出（由生成）npm run build).package.json：项目元数据和依赖关系。tsconfig.json：TypeScript编译器配置。