sympy-mcp

Overview

Sympy-MCP is a comprehensive MCP server that provides LLMs with access to powerful symbolic mathematics capabilities through the Model Context Protocol. It exposes numerous SymPy tools for manipulating mathematical expressions, solving equations, performing calculus operations, and even handling advanced topics like tensor calculus for general relativity. The server bridges the gap between LLMs and specialized computer algebra systems, enabling accurate symbolic manipulation without the hallucination issues that typically affect language models with mathematical operations.

Try asking AI

After installing, here are 5 things you can ask your AI assistant:

• intro

  Introduces a variable with specified assumptions and stores it

  Try:Introduce a variable x as a real positive numberTry:Define variable t as time with real assumption
• intro_many

  Introduces multiple variables with specified assumptions simultaneously

  Try:Introduce variables m, c, and k as real positive constantsTry:Define variables x, y, z as complex variables
• introduce_expression

  Parses an expression string using available local variables and stores it

  Try:Parse the expression x^2 + y^2Try:Store the equation m*d^2x/dt^2 + c*dx/dt + k*x = F(t)
• solve_algebraically

  Solves an equation algebraically for a given variable over a given domain

  Try:Solve x^2 - 4 = 0 for xTry:Find the roots of the quadratic equation ax^2 + bx + c = 0
• dsolve_ode

  Solves an ordinary differential equation

  Try:Solve the differential equation dy/dx = xTry:Find the solution to the damped harmonic oscillator equation
• integrate_expression

  Integrates an expression with respect to a variable

  Try:Integrate x^2 with respect to xTry:Calculate the definite integral of sin(x) from 0 to pi
• differentiate_expression

  Differentiates an expression with respect to a variable

  Try:Differentiate x^2 with respect to xTry:Find the derivative of sin(x) * cos(x)
• simplify_expression

  Simplifies a mathematical expression using SymPy's canonicalize function

  Try:Simplify (x^2 - 1)/(x - 1)Try:Reduce the expression (x + y)^2 - (x^2 + 2xy + y^2)
• create_matrix

  Creates a SymPy matrix from the provided data

  Try:Create a 2x2 matrix with elements 1, 2, 3, 4Try:Build a 3x3 identity matrix
• matrix_determinant

  Calculates the determinant of a matrix

  Try:Find the determinant of [[1, 2], [3, 4]]Try:Calculate det(A) for matrix A
• calculate_tensor

  Calculates tensors from a metric (Ricci, Einstein, Weyl tensors)

  Try:Calculate the Ricci tensor for Schwarzschild metricTry:Find the Einstein tensor for the given metric
• create_predefined_metric

  Creates a predefined spacetime metric (e.g. Schwarzschild, Kerr, Minkowski)

  Try:Create the Schwarzschild metricTry:Set up the Minkowski metric for flat spacetime

Comparable tools

Installation

# Setup the project
git clone https://github.com/sdiehl/sympy-mcp.git
cd sympy-mcp
uv sync

# Install the server to Claude Desktop
uv run mcp install server.py

# Run the server
uv run mcp run server.py

{
  "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"
      ]
    }
  }
}

FAQ

What mathematical operations are supported by this MCP server?

The server supports algebraic equation solving, integration and differentiation, vector calculus, tensor calculus for general relativity, both ordinary and partial differential equations, matrix operations, unit conversions, and more.

Can this server handle general relativity calculations?

Yes, it can compute tensors from metrics (Ricci, Einstein, Weyl tensors) and includes predefined spacetime metrics like Schwarzschild, Kerr, and Minkowski. For general relativity calculations, you need to install the einsteinpy library.

Compare sympy-mcp with