Best SymPy MCP Servers
SymPy is a Python library for symbolic mathematics, offering a computer algebra system with a simple and extensible code base for mathematical computing
Why this server?
Exposes SymPy's core functionality for symbolic mathematics including equation solving, integration, differentiation, vector calculus, and tensor calculus
AsecurityAlicense-qualityA Model Context Protocol server that enables LLMs to autonomously perform symbolic mathematics and computer algebra through SymPy's functionality for manipulating mathematical expressions and equations.Last updated 25 days ago3257Apache 2.0Why this server?
Enables symbolic mathematics including calculus operations (derivatives, integrals, limits, series), algebraic expression evaluation, and symbolic computation.
AsecurityAlicense-qualityProvides 21 mathematical tools across 6 domains including basic calculations, array operations, statistics, financial mathematics, linear algebra, and calculus. Supports batch execution for complex multi-step workflows with intelligent dependency resolution.Last updated 3 months ago216MITWhy this server?
Provides symbolic mathematics capabilities including algebraic operations, calculus functions, equation solving, and matrix operations through SymPy integration.
AsecurityAlicense-qualityA FastMCP server for mathematical computations, including numerical and symbolic calculations with NumPy and SymPy integration, as well as data visualization through Matplotlib.Last updated 6 months ago1214MITWhy this server?
Provides access to SymPy's symbolic computation capabilities including basic operations, algebraic manipulations, calculus, equation solving, matrix operations, series expansion, and special functions.
AsecurityAlicense-qualityA mathematical computation service that enables users to perform symbolic calculations including basic arithmetic, algebra, calculus, equation solving, and matrix operations through the MCP protocol.Last updated 10 months ago15MITWhy this server?
Provides mathematical formula validation, symbolic analysis, and local rendering capabilities for visualizing mathematical functions and calculating properties like domain, range, and critical points
AsecurityAlicense-qualityEnables mathematical formula visualization and analysis through interactive plotting, formula validation, and symbolic computation. Supports both Desmos API integration and local matplotlib rendering for creating 2D mathematical graphs.Last updated a month ago55Apache 2.0Why this server?
Provides tools for symbolic mathematics, allowing agents to perform algebra, differentiation, integration, and equation solving within a secure, resource-limited sandbox environment.
AsecurityAlicense-qualityA secure mathematical computation sandbox that enables LLMs to perform symbolic math operations like algebra, calculus, and equation solving via SymPy. It features low-latency execution through pre-warmed process pools and provides standardized JSON outputs for reliable agent integration.Last updated a month ago12MITWhy this server?
Provides a deterministic symbolic computation backend for mathematical operations including algebra, calculus, and linear algebra, enabling precise solving, differentiation, integration, and matrix manipulations.
-securityAlicense-qualityProvides a suite of deterministic math tools powered by SymPy to handle algebra, calculus, linear algebra, and statistics via the Model Context Protocol. It enables smaller language models to delegate complex computations to a verified symbolic backend for accurate and reliable results.Last updated 19 days agoApache 2.0Why this server?
Exposes comprehensive SymPy functionality, enabling symbolic mathematical operations including calculus, algebra, equation solving, matrices, and number theory.
-securityAlicense-qualityAn MCP server that provides access to SymPy's symbolic mathematics library for advanced algebraic computations. It enables users to perform complex tasks such as symbolic simplification, calculus, equation solving, matrix operations, and number theory.Last updated 14 days agoMITWhy this server?
Powers mathematical verification capabilities including step-by-step proof verification, expression simplification, identity checking, and operations for calculus and linear algebra.
AsecurityFlicense-qualityEnables educational and learning tasks including flashcard generation with Anki integration, Zotero library management, Obsidian vault interaction, and mathematical expression verification with LaTeX support.Last updated 25 days ago8