Servidor MCP de álgebra simbólica

Sympy-MCP es un servidor de Protocolo de Contexto de Modelo que permite a los LLM realizar matemáticas simbólicas y álgebra computacional de forma autónoma. Ofrece numerosas herramientas de la funcionalidad principal de SymPy a clientes MCP para manipular expresiones y ecuaciones matemáticas.

¿Por qué?

Los modelos de lenguaje son pésimos en la manipulación simbólica. Alucinan variables, inventan constantes aleatorias, permutan términos y, en general, crean un caos. Pero contamos con sistemas de álgebra computacional diseñados específicamente para la manipulación simbólica, lo que nos permite usar herramientas para orquestar una secuencia de transformaciones, de modo que el núcleo simbólico se encargue de todo el trabajo pesado.

Si bien es posible hacer que un LLM genere código Mathematica o Python, si desea utilizar el LLM como agente o calculadora sobre la marcha, es una mejor experiencia utilizar el servidor MCP y exponer las herramientas simbólicas directamente.

El servidor expone un subconjunto de capacidades de matemática simbólica que incluyen resolución de ecuaciones algebraicas, integración y diferenciación, cálculo vectorial, cálculo tensorial para relatividad general y ecuaciones diferenciales tanto ordinarias como parciales.

Por ejemplo, puedes pedirle en lenguaje natural que resuelva una ecuación diferencial:

Resuelva el oscilador armónico amortiguado con término de forzamiento: el sistema masa-resorte-amortiguador descrito por la ecuación diferencial donde m es masa, c es el coeficiente de amortiguamiento, k es la constante del resorte y F(t) es una fuerza externa.

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

O involucrando la relatividad general:

Calcula la traza del tensor de Ricci $R_{\mu\nu}$ usando la métrica inversa $g^{\mu\nu}$ para el espacio-tiempo Anti-de Sitter para determinar su curvatura escalar constante $R$.

Uso

Primero necesitas rayos ultravioleta .

• Homebrew - brew install uv

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

Luego puedes instalar y ejecutar el servidor con los siguientes comandos:

Debería ver el servidor disponible en la aplicación Claude Desktop. Para otros clientes, consulte a continuación.

Si quieres una versión completamente independiente que se ejecute con un solo comando, puedes usar lo siguiente. Ten en cuenta que se ejecuta código arbitrario de Github, así que ten cuidado.

Si desea realizar cálculos de relatividad general, necesita instalar la biblioteca einsteinpy .

Herramientas disponibles

El servidor sympy-mcp proporciona las siguientes herramientas para matemáticas simbólicas:

Por defecto, las variables se predefinen con supuestos (similar al funcionamiento de la función symbols() en SymPy). A menos que se especifique lo contrario, se asume por defecto que una variable es compleja y conmutativa, con un término en el cuerpo complejo $\mathbb{C}$.

Configuración del escritorio de Claude

Normalmente, el comando mcp install agregará automáticamente el servidor al archivo claude_desktop_config.json . Si no es así, busque el archivo de configuración y agregue lo siguiente:

• macOS: ~/Library/Application Support/Claude/claude_desktop_config.json

• Ventanas: %APPDATA%\Claude\claude_desktop_config.json

Agregue lo siguiente al objeto mcpServers , reemplazando /ABSOLUTE_PATH_TO_SYMPY_MCP/server.py con la ruta absoluta al archivo sympy-mcp server.py .

Configuración del cursor

En su ~/.cursor/mcp.json , agregue lo siguiente, donde ABSOLUTE_PATH_TO_SYMPY_MCP es la ruta al archivo sympy-mcp server.py.

Configuración de VS Code

VS Code y VS Code Insiders ahora admiten MCP en modo agente . Para VS Code, es posible que deba habilitar Chat > Agent: Enable en la configuración.

1. Configuración con un solo clic:

O agregue manualmente la configuración a su settings.json (global):

2. Haga clic en "Iniciar" sobre la configuración del servidor, abra un archivo Python o matemático, cambie al modo agente en el chat y pruebe comandos como "integrar x^2" o "resolver x^2 = 1" para comenzar.

Configuración de Cline

Para usar Cline , primero debe ejecutar manualmente el servidor MCP con los comandos de la sección "Uso". Una vez que el servidor MCP esté en ejecución, abra Cline y seleccione "Servidores MCP" en la parte superior.

Luego seleccione “Servidores remotos” y agregue lo siguiente:

• Nombre del servidor: sympy-mcp

• URL del servidor: http://127.0.0.1:8081/sse

Configuración de 5ire

Otro cliente MCP que admite múltiples modelos (o3, o4-mini, DeepSeek-R1, etc.) en el backend es 5ire.

Para configurar con 5ire , abra 5ire y vaya a Herramientas -> Nuevo y configure las siguientes configuraciones:

• Clave de herramienta: sympy-mcp

• Nombre: SymPy MCP

• Comando: /opt/homebrew/bin/uv run --with einsteinpy --with mcp[cli] --with pydantic --with sympy mcp run /ABSOLUTE_PATH_TO/server.py

Reemplace /ABSOLUTE_PATH_TO/server.py con la ruta real a su archivo sympy-mcp server.py.

Corriendo en contenedor

Puede construir y ejecutar el servidor usando Docker localmente:

Alternativamente, puede extraer la imagen prediseñada de GitHub Container Registry:

Para configurar Claude Desktop para que inicie el contenedor Docker, edite su archivo claude_desktop_config.json :

O utilizar el contenedor prediseñado desde GitHub:

Esta configuración indica a Claude Desktop que inicie el contenedor Docker cuando sea necesario. Asegúrese de compilar la imagen de Docker ( docker build -t sympy-mcp . ) antes de usar Claude Desktop con esta configuración.

Los otros métodos de instalación también se pueden adaptar para funcionar con Docker si cambia el comando uv para utilizar el comando docker run en su lugar.

Ejemplo de interacción 1: ecuaciones diferenciales

A continuación se muestra un ejemplo de cómo funciona la llamada de herramientas en una conversación con un asistente de IA que utiliza este servidor MCP:

Usuario : Resuelva el oscilador armónico amortiguado con término de forzamiento: el sistema masa-resorte-amortiguador descrito por la ecuación diferencial donde m es masa, c es el coeficiente de amortiguamiento, k es la constante del resorte y F(t) es una fuerza externa.

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

Asistente : (Llamada a herramienta interna) intro_many para introducir variables:

Asistente : (Llamada a la herramienta interna) introduce_function para definir x(t):

Asistente : (Llamada a la herramienta interna) introduce_expression para crear la ecuación diferencial:

Asistente : (Llamada a la herramienta interna) print_latex_expression para mostrar la ecuación correctamente:

Resultado:

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

Asistente : (Llamada a la herramienta interna) introduce_function para definir F(t):

Asistente : (Llamada a la herramienta interna) dsolve_ode para resolver la ecuación diferencial:

Resultado:

$$ x{\left(t \right)} = C_{1} e^{\frac{t \left(- c + \sqrt{c^{2} - 4 km}\right)}{2 m}} + C_{2} e^{- \frac{t \left(c + \sqrt{c^{2} - 4 km}\right)}{2 m}} + \cdots $$

Ejemplo de interacción 2: Relatividad general

Usuario : Calcule la traza del tensor de Ricci $R_{\mu\nu}$ usando la métrica inversa $g^{\mu\nu}$ para el espacio-tiempo Anti-de Sitter para determinar su curvatura escalar constante $R$.

Asistente : (Llamada a la herramienta interna) create_predefined_metric para crear la métrica Anti-de Sitter:

Asistente : (Llamada a la herramienta interna) calculate_tensor para calcular el tensor de Ricci:

Asistente : (Llamada a la herramienta interna) print_latex_tensor para mostrar el tensor de Ricci:

Resultado:

$$ \left[\begin{matriz}3 & 0 & 0 & 0\\0 & - 3 \cos^{2}{\left(t \right)} & 0 & 0\\0 & 0 & - 3 \cos^{2}{\left(t \right)} \sinh^{2}{\left(\chi \right)} & 0\\0 & 0 & 0 & - 3 \sin^{2}{\left(\theta \right)} \cos^{2}{\left(t \right)} \sinh^{2}{\left(\chi \right)}\end{matriz}\right] $$

Asistente : (Llamada a la herramienta interna) calculate_tensor para calcular el escalar de Ricci:

Asistente : (Llamada a la herramienta interna) print_latex_tensor para mostrar el escalar de Ricci:

Resultado:

$$ -12 $$

Descargo de responsabilidad de seguridad

Este servidor se ejecuta en tu ordenador y permite que el modelo de lenguaje ejecute la lógica de Python. En particular, utiliza parse_expr de Sympy para analizar expresiones matemáticas, que a su vez utiliza eval internamente, lo que permite la ejecución de código arbitrario. Al ejecutar el servidor, confías en el código que genera Claude. Ejecutar en la imagen de Docker es un poco más seguro, pero aun así es recomendable revisar el código antes de ejecutarlo.

Licencia

Derechos de autor 2025 Stephen Diehl.

Este proyecto está licenciado bajo la licencia Apache 2.0. Consulte el archivo de licencia para obtener más información.