Overview

基本能力

产品定位

Mathematica MCP Server 是一个用于执行和验证数学计算的中间件服务，旨在为 MCP 客户端提供 Mathematica 的强大计算能力。

核心功能

1. 执行 Mathematica 代码：通过 execute_mathematica 工具执行任意 Mathematica 代码，并返回指定格式（文本、LaTeX 或 Mathematica 字符串）的结果。
2. 验证数学推导：通过 verify_derivation 工具验证数学推导步骤的逻辑正确性，使用 Simplify[prev == current] 方法检查每一步是否逻辑上成立。
3. 生成多种输出格式：支持将计算结果和验证报告输出为文本、LaTeX 或 Mathematica 字符串格式。

适用场景

1. 复杂数学计算：执行复杂的数学运算，如积分、微分、矩阵运算等。
2. 数学推导验证：验证数学推导过程的逻辑正确性，适用于教育、科研和开发场景。
3. 自动化工具集成：与 MCP 客户端（如 Cursor、Cline、Claude Desktop）集成，提供数学计算能力。

工具列表

1. execute_mathematica：执行任意 Mathematica 代码并返回结果。
2. 输入：Mathematica 代码字符串和输出格式（文本、LaTeX 或 Mathematica 字符串）。
3. 输出：执行结果。
4. verify_derivation：验证数学推导步骤的逻辑正确性。
5. 输入：数学推导步骤数组和输出格式。
6. 输出：验证报告。

常见问题解答

1. 服务器未找到或无响应：
2. 确保服务器正在运行（node build/index.js）。
3. 检查 wolframscript 是否安装并可在 PATH 中访问。
4. 重启 MCP 客户端并检查配置。
5. 工具错误：
6. 检查服务器终端输出中的错误日志。
7. 验证 Mathematica 代码或推导步骤的语法是否正确。
8. 确保 verify_derivation 的步骤数组至少有两个元素。
9. Mathematica 问题：确保 Mathematica 安装已授权且正常工作。

使用教程

使用依赖

1. Mathematica：必须安装 Mathematica。
2. wolframscript：确保 wolframscript 可在 PATH 中访问，测试命令： bash wolframscript -help
3. Node.js：推荐使用 v16 或更高版本。

安装教程

1. 克隆仓库： bash git clone <repository-url> cd <repository-directory>
2. 安装依赖： bash npm install
3. 构建服务器： bash npm run build

调试方式

1. 启动服务器： bash node build/index.js
2. 检查日志：查看服务器终端输出以排查错误。
3. 客户端配置：确保 MCP 客户端正确配置了服务器路径和参数。

许可证

该项目遵循 MIT 开源许可条款，请参阅 MIT 了解完整条款。