io.github.daedalus/mcp-sympy
PYPI · MCP-SYMPY
MCP server that exposes SymPy's symbolic mathematics functionality
Available components
Last scanned (18 hours ago)
Scores higher than 70% of PyPI servers
Category Health and Science
How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. How we score → Why this is hard to score →
Supply Chain Security50
- Malware scan not yet available for this package.Unverified
- No known CVEs affecting this package version or its production dependencies.Pass
- Runs hatchling.build at install time, a recognised build step with no custom scripting around it. View diagnostics → Pass
- 1 of 17 dependencies flagged as unhealthy. View diagnostics → Partial
Provenance & Transparency96
- Source repository is publicly reachable at the declared URL. View diagnostics → Pass
- Cryptographically verified build provenance (signed, bound to daedalus/mcp-sympy). View diagnostics → Pass
- Clear OSI-approved license (MIT).Pass
- Actively maintained (last published 220 days ago).Pass
- Disclosure check failed: no security disclosure policy was found in the source repository. See how to fix → Fail
Schema Quality & AI Usability54
- AI-judged instruction clarity (fair).Partial
- Tool/resource definitions use about 4480 tokens (~26/item across 171 items; 171 tools + 0 resources), lean.Pass
- Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management100
- No destabilizing schema changes in the last 30 days.Pass
Tool Coverage72
- 93% of tools have a non-trivial description (not blank, and not just the tool's name).Partial
- 15% of tool parameters carry a description.Partial
- Structured output schemas are declared (100% of tools); any adoption earns full credit.Pass
Tool Safety100
- No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
- We read all 171 captured tool definition(s), and no name or description among them implies an irreversible operation.Pass
- An AI judge read all 171 captured unit(s) of tool text and found none that tries to manipulate the model reading it.Pass
Capabilities100
- Implements a current MCP spec version (2026-07-28).Pass
Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.
- 3 Nov 26 −15
- Malware scan: pass → unverified ▼ security
- 31 Oct 26 +16
- Malware scan: unverified → pass ▲ security
- Stability: 0.97 → pass security
- 30 Oct 26 −16
- Malware scan: pass → unverified ▼ security
- Stability: pass → 0.97 functional
- 24 Oct 26 +1
- Stability: 0.97 → pass security
- 23 Oct 26 −1
- Stability: pass → 0.97 functional
- 21 Oct 26 +15
- Malware scan: unverified → pass ▲ security
- 19 Oct 26 −15
- Malware scan: pass → unverified ▼ security
- 18 Oct 26 +15
- Malware scan: unverified → pass ▲ security
Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.
Captured 4 Nov 2026 · Analysed pypi/mcp-sympy@0.1.0
Provenance Verified
A signed build attestation was found and verified, binding this exact artifact to the source repository it claims to come from.
| Result | Verified |
|---|---|
| Ecosystem | pypi |
| Reason | Verified |
| Discovered via | Registry attestation endpoint |
| Source repo | daedalus/mcp-sympy |
| Certificate issuer | https://token.actions.githubusercontent.com |
| Certificate SAN | https://github.com/daedalus/mcp-sympy/.github/workflows/pypi-publish.yml@refs/tags/v0.1.0 |
| Rekor log index | 1191869589 |
| Predicate type | PyPI publish attestation https://docs.pypi.org/attestations/publish/v1 |
| Subject digest | sha256:52b463351a04922f4073ac1180b45bf3583a0ff78ac3eea54b43ba2f77614511 |
Background: How many MCP packages publish verified provenance →
Install scripts 1 script
| Hook | Tier | Command |
|---|---|---|
| build_backend | allowlisted | hatchling.build |
Background: Why install scripts are a supply-chain risk →
Dependencies 17 packages
| Packages resolved | 17 |
|---|---|
| Stale | 1 |
| Tree resolution | Complete |
Background: SBOMs and build attestations, explained →
The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →
sympy_abs Sympy Abs ~19
Absolute value.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_acos Sympy Acos ~20
Arc cosine.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_And Sympy And ~23
Logical AND (comma-separated).
| Name | Type | Req | Description |
|---|---|---|---|
| args | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_apart Sympy Apart ~22
Perform partial fraction decomposition.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_arg Sympy Arg ~21
Argument of complex number.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_args Sympy Args ~21
Get arguments of expression.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_as_numer_denom Sympy As Numer Denom ~25
As numerator and denominator.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_as_real_imag Sympy As Real Imag ~25
As real and imaginary parts.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_asin Sympy Asin ~20
Arc sine.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_atan Sympy Atan ~20
Arc tangent.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_atoms Sympy Atoms ~25
Get atoms (atomic components) of expression.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_binomial Sympy Binomial ~28
Binomial coefficient.
| Name | Type | Req | Description |
|---|---|---|---|
| k | string | yes | – |
| n | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_cancel Sympy Cancel ~23
Cancel common factors in rational expression.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_catalan Sympy Catalan ~22
Catalan number.
| Name | Type | Req | Description |
|---|---|---|---|
| n | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_cbrt Sympy Cbrt ~21
Cube root.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_ceiling Sympy Ceiling ~20
Ceiling function.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_checkodesol Sympy Checkodesol ~30
Check ODE solution.
| Name | Type | Req | Description |
|---|---|---|---|
| eq | string | yes | – |
| sol | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_Circle Sympy Circle ~28
Create a circle.
| Name | Type | Req | Description |
|---|---|---|---|
| center | string | yes | – |
| radius | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_classify_ode Sympy Classify Ode ~31
Classify ODE.
| Name | Type | Req | Description |
|---|---|---|---|
| eq | string | yes | – |
| func | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_coeff Sympy Coeff ~33
Get coefficient.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| n | integer | – | – |
| x | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_complement Sympy Complement ~35
Compute complement of set1 in set2.
| Name | Type | Req | Description |
|---|---|---|---|
| set1 | string | yes | – |
| set2 | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_complexes Sympy Complexes ~16
The set of complex numbers.
Input schema present but exposes no named parameters.
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_conjugate Sympy Conjugate ~22
Complex conjugate.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_cos Sympy Cos ~20
Cosine function.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_cosh Sympy Cosh ~22
Hyperbolic cosine.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_count_ops Sympy Count Ops ~20
Count operations.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_degree Sympy Degree ~27
Degree of polynomial.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| variable | string | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_derivative Sympy Derivative ~41
Create a Derivative object (unevaluated).
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| order | integer | – | – |
| variable | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_diag Sympy Diag ~24
Create a diagonal matrix (comma-separated).
| Name | Type | Req | Description |
|---|---|---|---|
| elements | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_diff Sympy Diff ~48
Differentiate an expression.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | String expression to differentiate |
| order | integer | – | Order of derivative |
| variable | string | – | Variable to differentiate with respect to |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_diohyp Sympy Diohyp ~25
Diophantine equation solver.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_dirichlet_eta Sympy Dirichlet Eta ~25
Dirichlet eta function.
| Name | Type | Req | Description |
|---|---|---|---|
| s | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_divisor_sigma Sympy Divisor Sigma ~29
Divisor function.
| Name | Type | Req | Description |
|---|---|---|---|
| k | string | yes | – |
| n | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_divisors Sympy Divisors ~24
Return divisors of n.
| Name | Type | Req | Description |
|---|---|---|---|
| n | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_dsolve Sympy Dsolve ~29
Solve ordinary differential equation.
| Name | Type | Req | Description |
|---|---|---|---|
| eq | string | yes | – |
| func | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_emptyset Sympy Emptyset ~13
Empty set.
Input schema present but exposes no named parameters.
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_eq Sympy Eq ~26
Create equality.
| Name | Type | Req | Description |
|---|---|---|---|
| lhs | string | yes | – |
| rhs | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_erf Sympy Erf ~20
Error function.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_evalf Sympy Evalf ~30
Evaluate expression to floating point.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| n | integer | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_evaluate Sympy Evaluate ~21
Toggle evaluation globally.
| Name | Type | Req | Description |
|---|---|---|---|
| flag | boolean | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_exp Sympy Exp ~20
Exponential function.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_expand Sympy Expand ~24
Expand an expression.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | String expression to expand |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_expand_complex Sympy Expand Complex ~20
Expand complex.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_expand_log Sympy Expand Log ~22
Expand logarithmic expressions.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_expand_trig Sympy Expand Trig ~24
Expand trigonometric expressions.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_expr_type Sympy Expr Type ~22
Get type of expression.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_eye Sympy Eye ~21
Create an identity matrix.
| Name | Type | Req | Description |
|---|---|---|---|
| n | integer | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_factor Sympy Factor ~24
Factor an expression.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | String expression to factor |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_factorial Sympy Factorial ~20
Factorial.
| Name | Type | Req | Description |
|---|---|---|---|
| n | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_factorint Sympy Factorint ~21
Integer factorization.
| Name | Type | Req | Description |
|---|---|---|---|
| n | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
How do I install the io.github.daedalus/mcp-sympy server?
io.github.daedalus/mcp-sympy runs locally as a PyPI package, launched with uvx mcp-sympy. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.
pypi · mcp-sympy
claude mcp add daedalus-mcp-sympy -- uvx mcp-sympy
What is the io.github.daedalus/mcp-sympy server?
io.github.daedalus/mcp-sympy is listed in the public MCP registry as io.github.daedalus/mcp-sympy. MCP server that exposes SymPy's symbolic mathematics functionality. This page covers its PyPI package (mcp-sympy).
Is the io.github.daedalus/mcp-sympy server safe to use?
io.github.daedalus/mcp-sympy scores 74 out of 100 on VerifyMCP. We found no known CVEs affecting it as of 4 November 2026. Its build provenance is signed and verified. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.
What tools does the io.github.daedalus/mcp-sympy server expose?
io.github.daedalus/mcp-sympy exposes 171 tools: sympy_symbols, sympy_symbol, sympy_sympify, sympy_simplify, sympy_trigsimp, and 166 more. Their descriptions and schemas cost roughly 4,480 tokens of context every time the server is loaded.
Is the io.github.daedalus/mcp-sympy server still maintained?
io.github.daedalus/mcp-sympy is still listed as active in the MCP registry. We last reached this channel on 4 November 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.
What licence is the io.github.daedalus/mcp-sympy server under?
io.github.daedalus/mcp-sympy declares the MIT licence, which is OSI-approved. That covers the source only, and says nothing about the cost of any service it calls.