<div align="center"> <img src=".github/logo.png" alt="Sympy MCP Logo" width="400" /> </div>

符号代数MCP服务器

Sympy-MCP是一个模型上下文协议（Model Context Protocol, MCP）服务器，允许大型语言模型（LLMs）自主执行符号数学和计算机代数。它向MCP客户端暴露了SymPy核心功能中的许多工具，用于操作数学表达式和方程。

为什么？

语言模型在符号操作方面表现非常糟糕。它们会臆造变量、随机常数，重新排列项，并且通常会制造混乱。但我们有专门用于符号操作的计算机代数系统，因此我们可以使用工具调用来编排一系列变换，让符号内核完成所有繁重的工作。

虽然你可以让一个LLM生成Mathematica或Python代码，但如果你想将LLM用作代理或即时计算器，使用MCP服务器并直接暴露符号工具会提供更好的体验。

该服务器暴露了一部分符号数学能力，包括代数方程求解、积分和微分、矢量微积分、广义相对论的张量微积分，以及常微分方程和偏微分方程。

例如，你可以用自然语言要求它解一个微分方程：

解决带有强迫项的阻尼谐振子问题：由微分方程描述的质量-弹簧-阻尼系统，其中m是质量，c是阻尼系数，k是弹簧常数，F(t)是外部力。

$$ m\frac{d^2x}{dt^2} + c\frac{dx}{dt} + kx = F(t) $$

或者涉及广义相对论的问题：

使用反德西特时空的逆度规$g^{\mu\nu}$计算里奇张量$R_{\mu\nu}$的迹，以确定其常数标量曲率$R$。

使用方法

首先你需要uv。

• Homebrew : brew install uv
• Curl : curl -LsSf https://astral.sh/uv/install.sh | sh

然后你可以通过以下命令安装并运行服务器：

shell

设置项目

git clone https://github.com/sdiehl/sympy-mcp.git cd sympy-mcp uv sync

将服务器安装到Claude Desktop

uv run mcp install server.py

运行服务器

uv run mcp run server.py

现在你应该能在Claude Desktop应用程序中看到这个服务器了。对于其他客户端，请参见下文。

如果你想要一个完全独立版本，只需一条命令即可运行，可以使用以下命令。注意这正在从GitHub运行任意代码，请小心。

shell uv run --with https://github.com/sdiehl/sympy-mcp/releases/download/0.1/sympy_mcp-0.1.0-py3-none-any.whl python server.py

如果你想进行广义相对论计算，需要安装einsteinpy库。

shell uv sync --group relativity

可用工具

sympy-mcp服务器提供了以下符号数学工具：

默认情况下，变量会预先定义假设（类似于 symbols() 函数在 SymPy 中的工作方式）。除非另有说明，默认假设是变量是复数、可交换的，并且是在复数域 (\mathbb{C}) 上的项。

Claude 桌面设置

通常，mcp install 命令会自动将服务器添加到 claude_desktop_config.json 文件中。如果它没有这样做，你需要找到配置文件并添加以下内容：

• macOS: ~/Library/Application Support/Claude/claude_desktop_config.json
• Windows: %APPDATA%Claudeclaude_desktop_config.json

在 mcpServers 对象中添加以下内容，将 /ABSOLUTE_PATH_TO_SYMPY_MCP/server.py 替换为 sympy-mcp server.py 文件的绝对路径。

json { "mcpServers": { "sympy-mcp": { "command": "/opt/homebrew/bin/uv", "args": [ "run", "--with", "einsteinpy", "--with", "mcp[cli]", "--with", "pydantic", "--with", "sympy", "mcp", "run", "/ABSOLUTE_PATH_TO_SYMPY_MCP/server.py" ] } } }

Cursor 设置

在你的 ~/.cursor/mcp.json 中，添加以下内容，其中 ABSOLUTE_PATH_TO_SYMPY_MCP 是指向 sympy-mcp server.py 文件的路径。

json { "mcpServers": { "sympy-mcp": { "command": "/opt/homebrew/bin/uv", "args": [ "run", "--with", "einsteinpy", "--with", "mcp[cli]", "--with", "pydantic", "--with", "sympy", "mcp", "run", "/ABSOLUTE_PATH_TO_SYMPY_MCP/server.py" ] } } }

VS Code 设置VS Code 和 VS Code Insiders 现在支持 代理模式 下的 MCP。对于 VS Code，您可能需要在设置中启用 Chat > Agent: Enable。

1. 一键设置：

或者手动将配置添加到您的 settings.json（全局）：

json { "mcp": { "servers": { "sympy-mcp": { "command": "uv", "args": [ "run", "--with", "einsteinpy", "--with", "mcp[cli]", "--with", "pydantic", "--with", "sympy", "mcp", "run", "/ABSOLUTE_PATH_TO_SYMPY_MCP/server.py" ] } } } }

1. 单击服务器配置上方的“启动”按钮切换到聊天中的代理模式，并尝试使用命令如 "integrate x^2" 或 "solve x^2 = 1" 开始。

#…