io.github.daedalus/mcp-sympy
PYPI · MCP-SYMPY · SCANNED SEP 20
MCP server that exposes SymPy's symbolic mathematics functionality
Available components
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 Security100
- No malware found by supply-chain analysis.Pass
- No known CVEs affecting this package version or its production dependencies.Pass
- Runs hatchling.build at install time, a recognised native-build step with no shell scripting around it. View diagnostics → Pass
- 1 of 17 dependencies flagged as unhealthy. View diagnostics → Partial
Provenance & Transparency45
- Source repository is publicly reachable at the declared URL. View diagnostics → Pass
- Provenance check failed: no build-provenance attestation is published. See how to fix → View diagnostics → Fail
- Clear OSI-approved license (MIT).Pass
- Actively maintained (last published 175 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 Management83
- Stability observed for 25 of 30 days with no destabilising changes; credit accrues until the full window elapses.Partial
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
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
{
"mcpServers": {
"daedalus-mcp-sympy": {
"command": "uvx",
"args": [
"mcp-sympy"
]
}
}
} {
"servers": {
"daedalus-mcp-sympy": {
"command": "uvx",
"args": [
"mcp-sympy"
]
}
}
} codex mcp add daedalus-mcp-sympy -- uvx mcp-sympy
{
"$schema": "https://opencode.ai/config.json",
"mcp": {
"daedalus-mcp-sympy": {
"type": "local",
"command": [
"uvx",
"mcp-sympy"
],
"enabled": true
}
}
} openclaw mcp add daedalus-mcp-sympy --command uvx --arg mcp-sympy
mcp_servers:
daedalus-mcp-sympy:
command: "uvx"
args: ["mcp-sympy"] {
"McpServers": {
"daedalus-mcp-sympy": {
"Transport": "stdio",
"Command": "uvx",
"Arguments": [
"mcp-sympy"
]
}
}
} assistant mcp add daedalus-mcp-sympy -t stdio -c uvx -a mcp-sympy
{
"mcpServers": {
"daedalus-mcp-sympy": {
"command": "uvx",
"args": [
"mcp-sympy"
]
}
}
} 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.
- 20 Sept 26 +15
- Malware scan: unverified → pass ▲ security
- 19 Sept 26 −2
- Security disclosure: unverified → fail ▼ functional
- Stability: pass → 0.80 functional
- 18 Sept 26 −15
- Malware scan: pass → unverified ▼ security
- Stability: 0.97 → pass security
- Security disclosure: fail → unverified ▼ functional
- 16 Sept 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 90 to 93. That category is still filling its 30-day observation window: 27 days of observed history at the previous scan, 28 at this one. The score rises as the window fills, whether or not the server changes.
- 15 Sept 26 +15
- Malware scan: unverified → pass ▲ security
- 14 Sept 26 −14
- Malware scan: pass → unverified ▼ security
- 12 Sept 26 +13
- Malware scan: unverified → pass ▲ security
- Stability: pass → 0.80 functional
- 11 Sept 26 −15
- Malware scan: pass → unverified ▼ security
- Stability: 0.97 → 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 20 Sept 2026 · Analysed pypi/mcp-sympy@0.1.0
Provenance No attestation
The registry publishes no build provenance for this version, so there is nothing to verify.
| Result | No attestation |
|---|---|
| Ecosystem | pypi |
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_Nand Sympy Nand ~23
Logical NAND (comma-separated).
| Name | Type | Req | Description |
|---|---|---|---|
| args | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_naturals Sympy Naturals ~17
The set of natural numbers.
Input schema present but exposes no named parameters.
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_naturals0 Sympy Naturals0 ~22
The set of natural numbers (including 0).
Input schema present but exposes no named parameters.
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_ne Sympy Ne ~26
Create inequality.
| Name | Type | Req | Description |
|---|---|---|---|
| lhs | string | yes | – |
| rhs | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_nextprime Sympy Nextprime ~24
Return the next prime after n.
| Name | Type | Req | Description |
|---|---|---|---|
| n | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_Nor Sympy Nor ~23
Logical NOR (comma-separated).
| Name | Type | Req | Description |
|---|---|---|---|
| args | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_Not Sympy Not ~19
Logical NOT.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_nsimplify Sympy Nsimplify ~22
Numerical simplification.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_nsolve Sympy Nsolve ~48
Numerically solve an equation.
| Name | Type | Req | Description |
|---|---|---|---|
| equation | string | yes | String equation |
| guesses | string | yes | Comma-separated initial guesses |
| variables | string | yes | Comma-separated variables |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_ones Sympy Ones ~30
Create a matrix of ones.
| Name | Type | Req | Description |
|---|---|---|---|
| cols | integer | – | – |
| rows | integer | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_Or Sympy Or ~23
Logical OR (comma-separated).
| Name | Type | Req | Description |
|---|---|---|---|
| args | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_perfect_power Sympy Perfect Power ~26
Check if n is a perfect power.
| Name | Type | Req | Description |
|---|---|---|---|
| n | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_piecewise Sympy Piecewise ~35
Create piecewise function (format: "expr,condition; expr2,condition2").
| Name | Type | Req | Description |
|---|---|---|---|
| pairs | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_Point Sympy Point ~30
Create a 2D point.
| Name | Type | Req | Description |
|---|---|---|---|
| x | string | yes | – |
| y | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_Point3D Sympy Point3D ~39
Create a 3D point.
| Name | Type | Req | Description |
|---|---|---|---|
| x | string | yes | – |
| y | string | yes | – |
| z | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_poly Sympy Poly ~27
Create a polynomial.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| variable | string | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_Polygon Sympy Polygon ~25
Create a polygon (comma-separated points).
| Name | Type | Req | Description |
|---|---|---|---|
| points | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_polylog Sympy Polylog ~29
Polylogarithm.
| Name | Type | Req | Description |
|---|---|---|---|
| s | string | yes | – |
| z | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_powsimp Sympy Powsimp ~29
Simplify powers in an expression.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | String expression with powers |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_prevprime Sympy Prevprime ~24
Return the previous prime before n.
| Name | Type | Req | Description |
|---|---|---|---|
| n | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_prime Sympy Prime ~22
Return the n-th prime.
| Name | Type | Req | Description |
|---|---|---|---|
| n | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_primepi Sympy Primepi ~21
Prime counting function.
| Name | Type | Req | Description |
|---|---|---|---|
| n | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_product Sympy Product ~51
Compute a product.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | String expression to multiply |
| lower | string | yes | Lower bound |
| upper | string | yes | Upper bound |
| variable | string | yes | Product variable |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_product_expr Sympy Product Expr ~41
Compute an unevaluated product (Product object).
| Name | Type | Req | Description |
|---|---|---|---|
| bounds | string | yes | – |
| expr | string | yes | – |
| variable | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_product_set Sympy Product Set ~24
Product of sets (comma-separated).
| Name | Type | Req | Description |
|---|---|---|---|
| sets | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_python_code Sympy Python Code ~23
Convert expression to Python code.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_radsimp Sympy Radsimp ~22
Simplify radicals.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_randMatrix Sympy Randmatrix ~20
Random matrix.
| Name | Type | Req | Description |
|---|---|---|---|
| n | integer | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_Range Sympy Range ~26
Range.
| Name | Type | Req | Description |
|---|---|---|---|
| start | string | yes | – |
| stop | string | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_rational Sympy Rational ~27
Create Rational.
| Name | Type | Req | Description |
|---|---|---|---|
| den | string | yes | – |
| num | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_rationalize Sympy Rationalize ~22
Rationalize denominator.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_ratsimp Sympy Ratsimp ~26
Simplify rational expressions.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | String rational expression |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_re Sympy Re ~19
Real part.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_reals Sympy Reals ~16
The set of real numbers.
Input schema present but exposes no named parameters.
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_replace Sympy Replace ~34
Replace in expression (format: "old,new").
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| old_new | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_repr_expr Sympy Repr Expr ~22
Get repr of expression.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_root Sympy Root ~27
N-th root.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| n | integer | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_roots Sympy Roots ~29
Find roots of polynomial.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| variable | string | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_satisfiable Sympy Satisfiable ~25
Check if expression is satisfiable.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_series Sympy Series ~54
Compute series expansion.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | String expression |
| order | integer | – | Order of expansion |
| point | string | – | Point to expand around |
| variable | string | – | Variable to expand around |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_simplify Sympy Simplify ~27
Simplify an expression.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | String expression to simplify |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_sin Sympy Sin ~21
Sine function.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_sinh Sympy Sinh ~22
Hyperbolic sine.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_solve Sympy Solve ~41
Solve an equation or system of equations.
| Name | Type | Req | Description |
|---|---|---|---|
| equation | string | yes | String equation |
| variables | string | – | Comma-separated variables to solve for |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_solveset Sympy Solveset ~38
Solve an equation using solveset.
| Name | Type | Req | Description |
|---|---|---|---|
| equation | string | yes | String equation |
| variable | string | – | Variable to solve for |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_sqrt Sympy Sqrt ~20
Square root.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_str Sympy Str ~21
Convert expression to string.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_subs Sympy Subs ~40
Substitute in expression (format: "old:new,old2:new2").
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | – |
| old_new | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_sum Sympy Sum ~52
Compute a sum.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | String expression to sum |
| lower | string | yes | Lower bound |
| upper | string | yes | Upper bound |
| variable | string | yes | Summation variable |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
sympy_summation Sympy Summation ~42
Compute an unevaluated sum (Sum object).
| Name | Type | Req | Description |
|---|---|---|---|
| bounds | string | yes | – |
| expr | string | yes | – |
| variable | string | yes | – |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
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 76 out of 100 on VerifyMCP. We found no known CVEs affecting it as of 20 September 2026. 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 20 September 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.