A
licenseA
qualityC
maintenanceA mathematical computation service that enables users to perform symbolic calculations including basic arithmetic, algebra, calculus, equation solving, and matrix operations through the MCP protocol.
1
6
MIT
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?
Provides access to SymPy's symbolic computation capabilities including basic operations, algebraic manipulations, calculus, equation solving, matrix operations, series expansion, and special functions.
Why this server?
Exposes SymPy's core functionality for symbolic mathematics including equation solving, integration, differentiation, vector calculus, and tensor calculus
AlicenseBqualityCmaintenanceA 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.3279Apache 2.0Why this server?
Enables symbolic mathematics including calculus operations (derivatives, integrals, limits, series), algebraic expression evaluation, and symbolic computation.
AlicenseAqualityCmaintenanceProvides 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.216MITWhy 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
AlicenseBqualityDmaintenanceEnables 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.58Apache 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.
AlicenseAqualityCmaintenanceA 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.12MITWhy this server?
Allows analyzing the usage of the SymPy Python library and generating minimal stub code to reduce executable size in Python exe builds.
AlicenseAqualityDmaintenanceAutomatically detects packages that can be stubbed during Python exe building and generates minimal stub code to reduce executable size.5MITWhy this server?
Integrates with SymPy-MCP to provide base formulas and symbolic computation for derivation and verification.
AlicenseBqualityBmaintenanceEnables creation of new mathematical formulas through symbolic derivation, verification, and step-by-step control, leveraging SymPy for computation and storing results with provenance.824Apache 2.0Why this server?
Allows verifying numeric identities by evaluating closed-form expressions using SymPy's high-precision arithmetic.
AlicenseAqualityAmaintenanceAirtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.129Apache 2.0Why this server?
Leverages SymPy for symbolic math and path condition encoding to reformulate boolean constraints into numerical problems.
AlicenseBqualityCmaintenanceA graph-spectral MCP server for verified code synthesis through belief revision.41MIT