Click on "Deploy Server".
Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.
In the chat, type @ followed by the MCP server name and your instructions, e.g., "@mcp-sympy find the derivative of x^2 * sin(x) with respect to x"
That's it! The server will respond to your query, and you can continue using it as needed.
Here is a step-by-step guide with screenshots.
MCP server that exposes SymPy's symbolic mathematics functionality
pip install mcp-sympyRelated MCP server: Symath-MCP
mcp-name: io.github.daedalus/mcp-sympy
Configure in your MCP client:
{
"mcpServers": {
"mcp-sympy": {
"command": "mcp-sympy",
"env": {}
}
}
}from mcp_sympy import tools
# Simplify expressions
result = tools.sympy_simplify("sin(x)**2 + cos(x)**2")
print(result) # "1"
# Solve equations
result = tools.sympy_solve("x**2 - 4", "x")
print(result) # "[2, -2]"
# Differentiate
result = tools.sympy_diff("x**2", "x")
print(result) # "2*x"
# Integrate
result = tools.sympy_integrate("x**2", "x")
print(result) # "x**3/3"
# Create matrices
result = tools.sympy_matrix("1,2; 3,4")
print(result) # "Matrix([[1, 2], [3, 4]])"
# Number theory
result = tools.sympy_isprime("7")
print(result) # "True"The MCP server exposes comprehensive SymPy functionality including:
Symbolic Expressions: symbols, sympify, simplify, expand, factor
Calculus: diff, integrate, limit, series, Derivative, Integral
Solving: solve, solveset, nsolve, diophantine, dsolve
Matrices: Matrix operations, inverse, determinant, eigenvalues
Trigonometry: sin, cos, tan, and their inverses
Special Functions: gamma, zeta, erf, fibonacci, etc.
Number Theory: isprime, prime, gcd, lcm, totient
Sets: FiniteSet, Interval, Union, Intersection
Logic: And, Or, Not, Xor
Printing: LaTeX, MathML, Python code
git clone https://github.com/daedalus/mcp-sympy.git
cd mcp-sympy
pip install -e ".[test]"
# run tests
pytest
# format
ruff format src/ tests/
# lint
ruff check src/ tests/
# type check
mypy src/MIT License - see LICENSE file.
Absolute value.
Inputs: expr (required). Returns: result
Arc cosine.
Inputs: expr (required). Returns: result
Logical AND.
Inputs: args (required). Returns: result
Perform partial fraction decomposition.
Inputs: expr (required). Returns: result
Argument of complex number.
Inputs: expr (required). Returns: result
Get arguments of expression.
Inputs: expr (required). Returns: result
Arc sine.
Inputs: expr (required). Returns: result
As numerator and denominator.
Inputs: expr (required). Returns: result
As real and imaginary parts.
Inputs: expr (required). Returns: result
Arc tangent.
Inputs: expr (required). Returns: result
Get atoms (atomic components) of expression.
Inputs: expr (required). Returns: result
Binomial coefficient.
Inputs: n (required), k (required). Returns: result
Cancel common factors in rational expression.
Inputs: expr (required). Returns: result
Catalan number.
Inputs: n (required). Returns: result
Cube root.
Inputs: expr (required). Returns: result
Ceiling function.
Inputs: expr (required). Returns: result
Check ODE solution.
Inputs: eq (required), sol (required). Returns: result
Create a circle.
Inputs: center (required), radius (required). Returns: result
Classify ODE.
Inputs: eq (required), func (required). Returns: result
Get coefficient.
Inputs: expr (required), x (required), n. Returns: result
Compute complement of set1 in set2.
Inputs: set1 (required), set2 (required). Returns: result
The set of complex numbers.
Inputs: no named parameters. Returns: result
Complex conjugate.
Inputs: expr (required). Returns: result
Cosine function.
Inputs: expr (required). Returns: result
Hyperbolic cosine.
Inputs: expr (required). Returns: result
Count operations.
Inputs: expr (required). Returns: result
Degree of polynomial.
Inputs: expr (required), variable. Returns: result
Create a Derivative object (unevaluated).
Inputs: expr (required), variable (required), order. Returns: result
Create a diagonal matrix.
Inputs: elements (required). Returns: result
Differentiate an expression.
Inputs: expr (required), variable, order. Returns: result
Solve a Diophantine equation.
Inputs: expr (required). Returns: result
Dirichlet eta function.
Inputs: s (required). Returns: result
Return divisors of n.
Inputs: n (required). Returns: result
Divisor function.
Inputs: k (required), n (required). Returns: result
Solve ordinary differential equation.
Inputs: eq (required), func (required). Returns: result
Empty set.
Inputs: no named parameters. Returns: result
Create equality.
Inputs: lhs (required), rhs (required). Returns: result
Error function.
Inputs: expr (required). Returns: result
Evaluate expression to floating point.
Inputs: expr (required), n. Returns: result
Toggle evaluation globally.
Inputs: flag. Returns: result
Exponential function.
Inputs: expr (required). Returns: result
Expand an expression.
Inputs: expr (required). Returns: result
Expand complex.
Inputs: expr (required). Returns: result
Expand logarithmic expressions.
Inputs: expr (required). Returns: result
Expand trigonometric expressions.
Inputs: expr (required). Returns: result
Get type of expression.
Inputs: expr (required). Returns: result
Create an identity matrix.
Inputs: n (required). Returns: result
Factor an expression.
Inputs: expr (required). Returns: result
Factorial.
Inputs: n (required). Returns: result
Integer factorization.
Inputs: n (required). Returns: result
Fibonacci number.
Inputs: n (required). Returns: result
Create a finite set.
Inputs: elements (required). Returns: result
Create finite set (comma-separated).
Inputs: elements (required). Returns: result
Create Float.
Inputs: n (required). Returns: result
Floor function.
Inputs: expr (required). Returns: result
Get free symbols in expression.
Inputs: expr (required). Returns: result
Fresnel C.
Inputs: expr (required). Returns: result
Fresnel S.
Inputs: expr (required). Returns: result
Get head function of expression.
Inputs: expr (required). Returns: result
Gamma function.
Inputs: expr (required). Returns: result
Greatest common divisor.
Inputs: a (required), b (required). Returns: result
Create greater than or equal.
Inputs: lhs (required), rhs (required). Returns: result
Groebner basis.
Inputs: exprs (required), variable. Returns: result
Create greater than.
Inputs: lhs (required), rhs (required). Returns: result
Horner form.
Inputs: expr (required), variable. Returns: result
Identity matrix.
Inputs: n (required). Returns: result
Imaginary part.
Inputs: expr (required). Returns: result
Image set.
Inputs: expr (required), variable (required). Returns: result
Logical implication.
Inputs: lhs (required), rhs (required). Returns: result
Create Integer.
Inputs: n (required). Returns: result
The set of integers.
Inputs: no named parameters. Returns: result
Create an Integral object (unevaluated).
Inputs: expr (required), variable (required). Returns: result
Integrate an expression.
Inputs: expr (required), variable. Returns: result
Compute intersection of two sets.
Inputs: set1 (required), set2 (required). Returns: result
Create an interval.
Inputs: start (required), end (required), left_open, right_open. Returns: result
Check if n is prime.
Inputs: n (required). Returns: result
Check if n is a perfect square.
Inputs: n (required). Returns: result
Convert expression to LaTeX.
Inputs: expr (required). Returns: result
Least common multiple.
Inputs: a (required), b (required). Returns: result
Create less than or equal.
Inputs: lhs (required), rhs (required). Returns: result
Compute a limit.
Inputs: expr (required), variable (required), point (required), direction. Returns: result
Create a line through two points.
Inputs: point1 (required), point2 (required). Returns: result
Natural logarithm.
Inputs: expr (required). Returns: result
Logarithm with specified base.
Inputs: expr (required), base (required). Returns: result
Create less than.
Inputs: lhs (required), rhs (required). Returns: result
Lucas number.
Inputs: n (required). Returns: result
Match expression to pattern.
Inputs: expr (required), pattern (required). Returns: result
Convert expression to MathML.
Inputs: expr (required). Returns: result
Create a matrix from rows.
Inputs: rows (required). Returns: result
Add two matrices.
Inputs: matrix1 (required), matrix2 (required). Returns: result
Compute matrix determinant.
Inputs: matrix (required). Returns: result
Compute eigenvalues of a matrix.
Inputs: matrix (required). Returns: result
Compute eigenvectors of a matrix.
Inputs: matrix (required). Returns: result
Compute matrix inverse.
Inputs: matrix (required). Returns: result
LU decomposition.
Inputs: matrix (required). Returns: result
Multiply two matrices.
Inputs: matrix1 (required), matrix2 (required). Returns: result
Nullspace.
Inputs: matrix (required). Returns: result
Matrix rank.
Inputs: matrix (required). Returns: result
Transpose a matrix.
Inputs: matrix (required). Returns: result
Evaluate expression numerically.
Inputs: expr (required), n. Returns: result
Logical NAND.
Inputs: args (required). Returns: result
The set of natural numbers.
Inputs: no named parameters. Returns: result
The set of natural numbers (including 0).
Inputs: no named parameters. Returns: result
Create inequality (not equal).
Inputs: lhs (required), rhs (required). Returns: result
Return the next prime after n.
Inputs: n (required). Returns: result
Logical NOR.
Inputs: args (required). Returns: result
Logical NOT.
Inputs: expr (required). Returns: result
Numerical simplification.
Inputs: expr (required). Returns: result
Numerically solve an equation.
Inputs: equation (required), variables (required), guesses (required). Returns: result
Create a matrix of ones.
Inputs: rows (required), cols. Returns: result
Logical OR.
Inputs: args (required). Returns: result
Check if n is a perfect power.
Inputs: n (required). Returns: result
Create piecewise function (format: "expr,condition; expr2,condition2").
Inputs: pairs (required). Returns: result
Create a 2D point.
Inputs: x (required), y (required). Returns: result
Create a 3D point.
Inputs: x (required), y (required), z (required). Returns: result
Create a polynomial.
Inputs: expr (required), variable. Returns: result
Create a polygon (comma-separated points).
Inputs: points (required). Returns: result
Polylogarithm.
Inputs: s (required), z (required). Returns: result
Simplify powers in an expression.
Inputs: expr (required). Returns: result
Return the previous prime before n.
Inputs: n (required). Returns: result
Return the n-th prime.
Inputs: n (required). Returns: result
Prime counting function.
Inputs: n (required). Returns: result
Compute a product.
Inputs: expr (required), variable (required), lower (required), upper (required). Returns: result
Compute an unevaluated product (Product object).
Inputs: expr (required), variable (required), bounds (required). Returns: result
Product of sets (comma-separated).
Inputs: sets (required). Returns: result
Convert expression to Python code.
Inputs: expr (required). Returns: result
Simplify radicals.
Inputs: expr (required). Returns: result
Random matrix.
Inputs: n (required). Returns: result
Range.
Inputs: start (required), stop. Returns: result
Create Rational.
Inputs: num (required), den (required). Returns: result
Rationalize denominator.
Inputs: expr (required). Returns: result
Simplify rational expressions.
Inputs: expr (required). Returns: result
Real part.
Inputs: expr (required). Returns: result
The set of real numbers.
Inputs: no named parameters. Returns: result
Replace in expression (format: "old,new").
Inputs: expr (required), old_new (required). Returns: result
Get repr of expression.
Inputs: expr (required). Returns: result
N-th root.
Inputs: expr (required), n. Returns: result
Find roots of polynomial.
Inputs: expr (required), variable. Returns: result
Check if expression is satisfiable.
Inputs: expr (required). Returns: result
Compute series expansion.
Inputs: expr (required), variable, point, order. Returns: result
Simplify an expression.
Inputs: expr (required). Returns: result
Sine function.
Inputs: expr (required). Returns: result
Hyperbolic sine.
Inputs: expr (required). Returns: result
Solve an equation or system of equations.
Inputs: equation (required), variables. Returns: result
Solve an equation using solveset.
Inputs: equation (required), variable. Returns: result
Square root.
Inputs: expr (required). Returns: result
Convert expression to string.
Inputs: expr (required). Returns: result
Substitute in expression.
Inputs: expr (required), old_new (required). Returns: result
Compute a sum.
Inputs: expr (required), variable (required), lower (required), upper (required). Returns: result
Compute an unevaluated sum (Sum object).
Inputs: expr (required), variable (required), bounds (required). Returns: result
Create a single symbolic variable.
Inputs: name (required). Returns: result
Symbolic addition (comma-separated).
Inputs: terms (required). Returns: result
Symbolic multiplication (comma-separated).
Inputs: factors (required). Returns: result
Symbolic power.
Inputs: expr (required), n (required). Returns: result
Create symbolic variables.
Inputs: names (required). Returns: result
Create multiple symbols.
Inputs: names (required). Returns: result
Convert a string to a SymPy expression.
Inputs: expr (required). Returns: result
Tangent function.
Inputs: expr (required). Returns: result
Hyperbolic tangent.
Inputs: expr (required). Returns: result
Combine terms into a single fraction.
Inputs: expr (required). Returns: result
Euler's totient function.
Inputs: n (required). Returns: result
Create a triangle.
Inputs: point1 (required), point2 (required), point3 (required). Returns: result
Simplify trigonometric expressions.
Inputs: expr (required). Returns: result
Compute union of two sets.
Inputs: set1 (required), set2 (required). Returns: result
Universal set.
Inputs: no named parameters. Returns: result
Create Wild pattern.
Inputs: pattern (required). Returns: result
Create Wild function.
Inputs: name (required). Returns: result
Logical XOR.
Inputs: args (required). Returns: result
Exact replacement without simplification.
Inputs: expr (required), mapping (required). Returns: result
Create a zero matrix.
Inputs: rows (required), cols. Returns: result
Riemann zeta function.
Inputs: s (required). Returns: result
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
Scored across 171 tools
Each tool targets a distinct SymPy operation, with clear distinctions between similar ones (e.g., solve vs solveset vs nsolve, integrate vs integral, expand vs expand_trig). No two tools appear to do the same thing.
All tools follow the 'sympy_' prefix with lowercase and underscores. Verb-first names are common (factor, solve, integrate, simplify), and a few noun-only names (e.g., sympy_sin, sympy_matrix) are consistent in style. No mixed conventions like camelCase.
With 171 tools, this significantly exceeds the practical scale for an MCP server. The massive surface area makes it unwieldy and hard to navigate, even if each tool is individually well-defined.
The tool surface is extremely comprehensive, covering calculus, algebra, linear algebra, number theory, sets, geometry, logic, and more. It includes both evaluated and unevaluated operations, plus supporting utilities like substitution and simplification.
This MCP server enables users to perform scientific computations regarding linear algebra and vect…
Educational MCP server with 17 math/stats tools, visualizations, and persistent workspace
Math MCP server for primality, factorization, Java templates, and integer multiplication.
Math.js MCP — wraps the mathjs.org API (free, no auth)