io.github.daedalus/mcp-sympy
PYPI · MCP-SYMPY
MCP server that exposes SymPy's symbolic mathematics functionality
Available components
Last scanned (19 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_fibonacci Sympy Fibonacci ~20
Fibonacci number.
| Name | Type | Req | Description |
|---|---|---|---|
| n | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_finite_set Sympy Finite Set ~26
Create a finite set (comma-separated).
| Name | Type | Req | Description |
|---|---|---|---|
| elements | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_finiteset Sympy Finiteset ~26
Create finite set (comma-separated).
| Name | Type | Req | Description |
|---|---|---|---|
| elements | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_float Sympy Float ~19
Create Float.
| Name | Type | Req | Description |
|---|---|---|---|
| n | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_floor Sympy Floor ~19
Floor function.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_free_symbols Sympy Free Symbols ~23
Get free symbols in expression.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_fresnelc Sympy Fresnelc ~23
Fresnel C.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_fresnels Sympy Fresnels ~22
Fresnel S.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_func Sympy Func ~22
Get head function of expression.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_gamma Sympy Gamma ~19
Gamma function.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_gcd Sympy Gcd ~28
Greatest common divisor.
| Name | Type | Req | Description |
|---|---|---|---|
| a | string | yes | – |
| b | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_ge Sympy Ge ~29
Create greater than or equal.
| Name | Type | Req | Description |
|---|---|---|---|
| lhs | string | yes | – |
| rhs | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_groebner Sympy Groebner ~32
Groebner basis.
| Name | Type | Req | Description |
|---|---|---|---|
| exprs | string | yes | – |
| variable | string | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_gt Sympy Gt ~27
Create greater than.
| Name | Type | Req | Description |
|---|---|---|---|
| lhs | string | yes | – |
| rhs | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_horner Sympy Horner ~28
Horner form.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| variable | string | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_Identity Sympy Identity ~20
Identity matrix.
| Name | Type | Req | Description |
|---|---|---|---|
| n | integer | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_im Sympy Im ~20
Imaginary part.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_image_set Sympy Image Set ~27
Image set.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| variable | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_Implies Sympy Implies ~27
Logical implication.
| Name | Type | Req | Description |
|---|---|---|---|
| lhs | string | yes | – |
| rhs | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_integer Sympy Integer ~19
Create Integer.
| Name | Type | Req | Description |
|---|---|---|---|
| n | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_integers Sympy Integers ~16
The set of integers.
Input schema present but exposes no named parameters.
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_integral Sympy Integral ~33
Create an Integral object (unevaluated).
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| variable | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_integrate Sympy Integrate ~39
Integrate an expression.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | String expression to integrate |
| variable | string | – | Variable to integrate with respect to |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_intersection Sympy Intersection ~32
Compute intersection of two sets.
| Name | Type | Req | Description |
|---|---|---|---|
| set1 | string | yes | – |
| set2 | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_interval Sympy Interval ~43
Create an interval.
| Name | Type | Req | Description |
|---|---|---|---|
| end | string | yes | – |
| left_open | boolean | – | – |
| right_open | boolean | – | – |
| start | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_is_square Sympy Is Square ~25
Check if n is a perfect square.
| Name | Type | Req | Description |
|---|---|---|---|
| n | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_isprime Sympy Isprime ~23
Check if n is prime.
| Name | Type | Req | Description |
|---|---|---|---|
| n | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_latex Sympy Latex ~24
Convert expression to LaTeX.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_lcm Sympy Lcm ~28
Least common multiple.
| Name | Type | Req | Description |
|---|---|---|---|
| a | string | yes | – |
| b | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_le Sympy Le ~29
Create less than or equal.
| Name | Type | Req | Description |
|---|---|---|---|
| lhs | string | yes | – |
| rhs | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_limit Sympy Limit ~54
Compute a limit.
| Name | Type | Req | Description |
|---|---|---|---|
| direction | string | – | Direction ("+", "-") |
| expr | string | yes | String expression |
| point | string | yes | Point to approach |
| variable | string | yes | Variable approaching the limit |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_Line Sympy Line ~32
Create a line through two points.
| Name | Type | Req | Description |
|---|---|---|---|
| point1 | string | yes | – |
| point2 | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_log Sympy Log ~20
Natural logarithm.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_log_base Sympy Log Base ~31
Logarithm with specified base.
| Name | Type | Req | Description |
|---|---|---|---|
| base | string | yes | – |
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_lt Sympy Lt ~27
Create less than.
| Name | Type | Req | Description |
|---|---|---|---|
| lhs | string | yes | – |
| rhs | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_lucas Sympy Lucas ~21
Lucas number.
| Name | Type | Req | Description |
|---|---|---|---|
| n | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_match Sympy Match ~28
Match expression to pattern.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| pattern | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_mathml Sympy Mathml ~23
Convert expression to MathML.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_matrix Sympy Matrix ~35
Create a matrix from rows (e.g., "1,2; 3,4").
| Name | Type | Req | Description |
|---|---|---|---|
| rows | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_matrix_add Sympy Matrix Add ~30
Add two matrices.
| Name | Type | Req | Description |
|---|---|---|---|
| matrix1 | string | yes | – |
| matrix2 | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_matrix_determinant Sympy Matrix Determinant ~23
Compute matrix determinant.
| Name | Type | Req | Description |
|---|---|---|---|
| matrix | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_matrix_eigenvals Sympy Matrix Eigenvals ~26
Compute eigenvalues of a matrix.
| Name | Type | Req | Description |
|---|---|---|---|
| matrix | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_matrix_eigenvects Sympy Matrix Eigenvects ~27
Compute eigenvectors of a matrix.
| Name | Type | Req | Description |
|---|---|---|---|
| matrix | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_matrix_inverse Sympy Matrix Inverse ~21
Compute matrix inverse.
| Name | Type | Req | Description |
|---|---|---|---|
| matrix | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_matrix_LU Sympy Matrix Lu ~21
LU decomposition.
| Name | Type | Req | Description |
|---|---|---|---|
| matrix | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_matrix_multiply Sympy Matrix Multiply ~31
Multiply two matrices.
| Name | Type | Req | Description |
|---|---|---|---|
| matrix1 | string | yes | – |
| matrix2 | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_matrix_nullspace Sympy Matrix Nullspace ~21
Nullspace.
| Name | Type | Req | Description |
|---|---|---|---|
| matrix | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_matrix_rank Sympy Matrix Rank ~20
Matrix rank.
| Name | Type | Req | Description |
|---|---|---|---|
| matrix | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_matrix_transpose Sympy Matrix Transpose ~23
Transpose a matrix.
| Name | Type | Req | Description |
|---|---|---|---|
| matrix | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_n Sympy N ~28
Evaluate expression numerically.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| n | integer | – | – |
| 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.