LeashIndex Get the report

Index / other

SageMath

io-github-xbp-europe-sagemath-mcp declares 40 capabilities across 40 tools, with 2 critical issues.

93/100 exposureHigh exposure

Manifest recorded 2026-10-14 from tools/list answered by the PyPI package sagemath-mcp==0.9.5 (published to PyPI as sagemath-mcp, listed in the official MCP registry as io.github.XBP-Europe/sagemath-mcp 0.9.5), run in an isolated container with no network access and no credentials. The date changes only when the manifest does. Not verified by a maintainer.

Issues

These describe what this server's manifest declares. A product can provide controls that MCP has no way to express — token revocation, an admin console, audit logs — and this page cannot see them. The absence of a declaration is not evidence that a control is absent.

critical · no-revocation · All 40 tools

40 of 40 tools declare no way for the customer to switch them off once granted. This applies to every tool because MCP has no field in which to declare a revocation mechanism; the product may provide one outside MCP that a manifest cannot show.

critical · irreversible-uncapped · 4 of 40 tools

4 tools are classified as irreversible and declare no limit.

high · no-expiry · All 40 tools

40 of 40 tools declare no expiry. This applies to every tool because MCP has no field in which to declare an expiry; the product may provide one outside MCP that a manifest cannot show.

high · no-audit-trail · All 40 tools

40 of 40 tools declare no record of their actions that the customer can read. This applies to every tool because MCP has no field in which to declare an audit requirement; the product may provide one outside MCP that a manifest cannot show.

high · uncapped-write · 28 of 40 tools

28 tools can modify data and declare no limit.

low · uncapped-read · 8 of 40 tools

8 tools can read data and declare no limit.

Declared capabilities

How each tool was read. declared means the server's own annotation said so — self-reported and unverified. inferred is from the tool's name. assumed means nothing indicated either way.

ToolRead asBasis
solve_equationwrite assumed
matrix_multiplyread inferred
matrix_operationwrite assumed
boolean_algebra_operationwrite assumed
polynomial_ring_operationwrite assumed
differentiate_expressionwrite assumed
integrate_expressionwrite assumed
limit_expressionwrite assumed
series_expansionwrite assumed
solve_odewrite assumed
symbolic_sumdelete inferred
vector_calculus_operationwrite assumed
evaluate_sagewrite assumed
calculate_expressionread inferred
simplify_expressionwrite assumed
expand_expressionwrite assumed
factor_expressionwrite assumed
find_rootread inferred
evaluate_sage_streamingwrite assumed
check_sage_healthread inferred
lookup_sage_docread declared
number_theory_operationwrite assumed
combinatorics_operationwrite assumed
graph_operationwrite assumed
group_operationwrite assumed
elliptic_curve_operationwrite assumed
coding_theory_operationwrite assumed
plot3d_expressionwrite assumed
plot_multi_expressionwrite assumed
plot_expressionwrite assumed
geometry_operationwrite inferred
reset_sage_sessiondestructive declared
interrupt_sage_sessionwrite assumed
cancel_sage_sessiondestructive declared
start_sage_sessionwrite assumed
list_sage_sessionsread declared
stop_sage_sessiondestructive declared
statistics_summaryread inferred
distribution_operationwrite assumed
verify_claimread inferred
Answering this question about your own agent? The self-serve stack report applies the same reading to your own stack or server and gives you a dated document you can hand to a customer's security review. It is generated in your browser, with nobody to wait for. Buying one does not change this page, its score or its place in the index — see Independence.
Maintain this server? If this page misreads your manifest, or your server has changed, submit its current tools/list response and it will be re-scored and dated. Corrections are published alongside the original, not in place of it.