Sagemath (XBP-Europe) MCP Server
sagemath-mcp
PyPI
v0.6.1
Published by xbp-europe — no publish provenance, so origin is unverified, but the source is public: the repository link below is self-declared yet readable, so you can inspect the code before adopting it.
Model Context Protocol server that provides stateful SageMath computations.
The grade answers one question — how safe is this server for you to adopt — so it is computed in two auditable stages. Nothing below is an opinion or an LLM's guess; every line is a real term the deterministic engine applied, and the same input always yields the same number.
1. Threat score — 100 − 0 = 100. What the published surface and source actually contain:
The deterministic scan raised no scored threat in the surface it inspected — the threat score stayed at 100. Capability observations and advisory notes are recorded but never lower it.
2. Client adoption risk — 100 − 7 = 93. Three small, subtract-only factors that reflect your risk in adopting it — a clean scan proves less on a powerful, unverified or barely-inspectable package, so the grade says so plainly:
| Points | Adoption-risk factor |
|---|---|
| −6 | capability blast radius (high) — client exposure if the model is manipulated |
| −1 | publisher verification (public source) — no provenance, but the source is public and inspectable |
Capability observations and info notes are shown under Findings but never scored.
Open any row's finding below for the file, line and evidence behind a deduction.
Findings 3
high Dynamic code execution in server code (sagemath_mcp/_sage_worker.py)MTC-SRC-001
In the server's implementation (`sagemath_mcp/_sage_worker.py:1053`): Evaluating strings as code is the most direct RCE primitive; if any tool input reaches it, the server executes attacker-chosen code. This is read from the code itself — not from the tool description — so a poisoned server cannot hide it behind honest-looking metadata.
Evidence: tringIO()): exec(compile(compiled.prefix, "<sagecell>", "exec"), namespace) if isinstance(stdout
Fix: Review this call path: confirm it never receives unsanitized tool input, constrain it, or remove it. Treat a server whose code reaches these sinks as high-capability regardless of what its tools claim.
Location: server sagemath_mcp/_sage_worker.py
high Dynamic code execution in server code (sagemath_mcp/codegen.py)MTC-SRC-001
In the server's implementation (`sagemath_mcp/codegen.py:250`): Evaluating strings as code is the most direct RCE primitive; if any tool input reaches it, the server executes attacker-chosen code. This is read from the code itself — not from the tool description — so a poisoned server cannot hide it behind honest-looking metadata.
Evidence: fter `#`, so `1 # eval("x") = __import__("os").system("id")` validated as the literal `1` -- and then `solve
Fix: Review this call path: confirm it never receives unsanitized tool input, constrain it, or remove it. Treat a server whose code reaches these sinks as high-capability regardless of what its tools claim.
Location: server sagemath_mcp/codegen.py
high Shell/command execution in server code (sagemath_mcp/_sage_worker.py)MTC-SRC-002
In the server's implementation (`sagemath_mcp/_sage_worker.py:188`): Spawning a shell/process is command-execution capability; with unsanitized tool input it is command injection / RCE. This is read from the code itself — not from the tool description — so a poisoned server cannot hide it behind honest-looking metadata.
Evidence: sees them. exec(preload, ns) _STARTUP_ERROR = None except Exception as exc:
Fix: Review this call path: confirm it never receives unsanitized tool input, constrain it, or remove it. Treat a server whose code reaches these sinks as high-capability regardless of what its tools claim.
Location: server sagemath_mcp/_sage_worker.py
Tools 22
Each tool and what it can reach — statically extracted from the published source.
calculate_expressionno sensitive capabilitycancel_sage_sessionno sensitive capabilitydifferentiate_expressionno sensitive capabilitydistribution_operationno sensitive capabilityexpand_expressionno sensitive capabilityfactor_expressionno sensitive capabilityfind_rootno sensitive capabilityinterrupt_sage_sessionno sensitive capabilitylimit_expressionno sensitive capabilitylist_sage_sessionsno sensitive capability
Show 12 more tools ↓
matrix_multiplyno sensitive capabilityplot_expressionno sensitive capabilityplot_multi_expressionno sensitive capabilityplot3d_expressionno sensitive capabilitypolynomial_ring_operationno sensitive capabilityreset_sage_sessionno sensitive capabilityseries_expansionno sensitive capabilitysimplify_expressionno sensitive capabilitysolve_equationno sensitive capabilitystart_sage_sessionno sensitive capabilitystop_sage_sessionno sensitive capabilityvector_calculus_operationno sensitive capability
What this scan could not see
- Tools were statically extracted from the published source (22 recovered), not enumerated from a running server. Tool-poisoning, Unicode-smuggling, capability and toxic-flow analysis ran on this inferred surface, but a mis-parsed registration could be missed or mis-attributed, so tool-derived findings are capped below “confirmed”. To grade the real runtime surface, scan the running server: --command "npx -y <package>".
Versions 5
Scan history per published version. The engine is deterministic — the same version always yields the same score, so a changed score means the package itself changed.
| Version | Score | Findings | Engine | Scanned |
|---|---|---|---|---|
v0.6.1 latest |
A 93/100 | 3 | 1.13.0 | 2026-08-25 |
v0.6.0 |
A 93/100 | 2 | 1.12.1 | 2026-08-16 |
v0.5.0 |
A 93/100 | 2 | 1.12.1 | 2026-08-15 |
v0.4.0 |
A 93/100 | 3 | 1.12.1 | 2026-08-14 |
v0.3.1 |
A 93/100 | 3 | 1.12.1 | 2026-07-27 |
Embed this score
Show this server's live Trust Score in your README, docs or website. The badge is served straight from the registry and updates automatically after every rescan — no API key needed. It links back to this page, so anyone who sees the grade can also read the findings behind it instead of taking a number on faith.
Verify this score yourself
The score above is reproducible: the same package version always yields the same result. Run it locally or over the free API — no account, no LLM, fully deterministic.
npx mcptrustchecker scan sagemath-mcp --online --registry pypiOther implementations of Sagemath 1
Independent packages implementing the same tool, scanned with the same engine. Compare all 2 side by side →
More in Data Science & ML
MCP server for 2s.io — 575+ pay-per-call tools for AI agents — ground-truth data, AI gateway, and agent infra (storage, locks, queues, watchers). x402 USDC on Base/Solana, no API keys, upto usage billing, free trials.
ArXiv preprints + Google Scholar papers, with citation counts in one query.
Add MCP servers to your favorite coding agents with a single command.
Help agents automatically write and test stories for your UI components
Model Context Protocol server for AI-Archive platform - enables AI agents to discover, submit, and review research papers
MCP server for Semantic Scholar research workflows with stdio and Streamable HTTP transports.