Index / devtools

io.github.daedalus/mcp-sympy

io-github-daedalus-mcp-sympy declares 171 capabilities across 171 tools, with 2 critical issues.

100/100 exposureHigh exposure

Manifest recorded 2026-10-15 from tools/list answered by the PyPI package mcp-sympy==0.1.0 (published to PyPI as mcp-sympy, listed in the official MCP registry as io.github.daedalus/mcp-sympy 0.1.0), 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 171 tools

171 of 171 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 · 1 of 171 tools

1 tool is classified as irreversible and declares no limit.

high · no-expiry · All 171 tools

171 of 171 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 171 tools

171 of 171 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 · 151 of 171 tools

151 tools can modify data and declare no limit.

low · uncapped-read · 19 of 171 tools

19 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.

Tool	Read as	Basis
`sympy_symbols`	`write`	inferred
`sympy_symbol`	`write`	inferred
`sympy_sympify`	`write`	assumed
`sympy_simplify`	`write`	assumed
`sympy_trigsimp`	`write`	assumed
`sympy_ratsimp`	`write`	assumed
`sympy_powsimp`	`write`	assumed
`sympy_factor`	`write`	assumed
`sympy_expand`	`write`	assumed
`sympy_expand_trig`	`write`	assumed
`sympy_expand_log`	`write`	assumed
`sympy_together`	`write`	assumed
`sympy_apart`	`write`	assumed
`sympy_cancel`	`delete`	inferred
`sympy_solve`	`write`	assumed
`sympy_solveset`	`write`	assumed
`sympy_nsolve`	`write`	assumed
`sympy_diff`	`write`	assumed
`sympy_integrate`	`write`	assumed
`sympy_limit`	`write`	assumed
`sympy_series`	`write`	assumed
`sympy_sum`	`write`	assumed
`sympy_product`	`write`	assumed
`sympy_summation`	`write`	assumed
`sympy_product_expr`	`write`	assumed
`sympy_derivative`	`write`	inferred
`sympy_integral`	`write`	inferred
`sympy_matrix`	`write`	inferred
`sympy_matrix_add`	`write`	inferred
`sympy_matrix_multiply`	`write`	assumed
`sympy_matrix_inverse`	`write`	assumed
`sympy_matrix_determinant`	`write`	assumed
`sympy_matrix_transpose`	`write`	assumed
`sympy_matrix_eigenvals`	`write`	assumed
`sympy_matrix_eigenvects`	`write`	assumed
`sympy_eye`	`write`	inferred
`sympy_zeros`	`write`	inferred
`sympy_ones`	`write`	inferred
`sympy_diag`	`write`	inferred
`sympy_latex`	`write`	assumed
`sympy_python_code`	`write`	assumed
`sympy_mathml`	`write`	assumed
`sympy_str`	`write`	assumed
`sympy_repr_expr`	`read`	inferred
`sympy_interval`	`write`	inferred
`sympy_finite_set`	`write`	inferred
`sympy_union`	`write`	inferred
`sympy_intersection`	`write`	inferred
`sympy_complement`	`write`	assumed
`sympy_evaluate`	`write`	assumed
`sympy_n`	`write`	assumed
`sympy_evalf`	`write`	assumed
`sympy_exp`	`write`	assumed
`sympy_log`	`write`	assumed
`sympy_log_base`	`write`	assumed
`sympy_sin`	`write`	assumed
`sympy_cos`	`write`	assumed
`sympy_tan`	`write`	assumed
`sympy_sinh`	`write`	assumed
`sympy_cosh`	`write`	assumed
`sympy_tanh`	`write`	assumed
`sympy_asin`	`write`	assumed
`sympy_acos`	`write`	assumed
`sympy_atan`	`write`	assumed
`sympy_sqrt`	`write`	assumed
`sympy_cbrt`	`write`	assumed
`sympy_root`	`write`	assumed
`sympy_floor`	`write`	assumed
`sympy_ceiling`	`write`	assumed
`sympy_abs`	`write`	assumed
`sympy_factorial`	`write`	assumed
`sympy_binomial`	`write`	assumed
`sympy_gamma`	`write`	assumed
`sympy_zeta`	`write`	assumed
`sympy_erf`	`write`	assumed
`sympy_dirichlet_eta`	`write`	assumed
`sympy_polylog`	`write`	assumed
`sympy_fibonacci`	`write`	assumed
`sympy_lucas`	`write`	assumed
`sympy_catalan`	`write`	assumed
`sympy_isprime`	`read`	inferred
`sympy_prime`	`read`	inferred
`sympy_nextprime`	`read`	inferred
`sympy_prevprime`	`read`	inferred
`sympy_totient`	`write`	assumed
`sympy_divisors`	`read`	inferred
`sympy_gcd`	`write`	assumed
`sympy_lcm`	`write`	assumed
`sympy_factorint`	`write`	assumed
`sympy_poly`	`write`	inferred
`sympy_degree`	`write`	assumed
`sympy_roots`	`read`	inferred
`sympy_coeff`	`read`	inferred
`sympy_subs`	`write`	assumed
`sympy_atoms`	`read`	inferred
`sympy_free_symbols`	`read`	inferred
`sympy_args`	`read`	inferred
`sympy_func`	`read`	inferred
`sympy_expr_type`	`read`	inferred
`sympy_eq`	`write`	inferred
`sympy_ne`	`write`	inferred
`sympy_lt`	`write`	inferred
`sympy_le`	`write`	inferred
`sympy_gt`	`write`	inferred
`sympy_ge`	`write`	inferred
`sympy_And`	`write`	assumed
`sympy_Or`	`write`	assumed
`sympy_Not`	`write`	assumed
`sympy_Xor`	`write`	assumed
`sympy_Nand`	`write`	assumed
`sympy_Nor`	`write`	assumed
`sympy_Implies`	`write`	assumed
`sympy_satisfiable`	`read`	inferred
`sympy_Point`	`write`	inferred
`sympy_Point3D`	`write`	inferred
`sympy_Line`	`write`	inferred
`sympy_Circle`	`write`	inferred
`sympy_Triangle`	`write`	inferred
`sympy_Polygon`	`write`	inferred
`sympy_perfect_power`	`read`	inferred
`sympy_is_square`	`read`	inferred
`sympy_integer`	`write`	inferred
`sympy_float`	`write`	inferred
`sympy_rational`	`write`	inferred
`sympy_conjugate`	`write`	assumed
`sympy_im`	`write`	assumed
`sympy_re`	`write`	assumed
`sympy_arg`	`write`	assumed
`sympy_piecewise`	`write`	inferred
`sympy_fresnelc`	`write`	assumed
`sympy_fresnels`	`write`	assumed
`sympy_diohyp`	`write`	assumed
`sympy_dsolve`	`write`	assumed
`sympy_checkodesol`	`read`	inferred
`sympy_classify_ode`	`write`	assumed
`sympy_complexes`	`write`	inferred
`sympy_reals`	`write`	inferred
`sympy_integers`	`write`	inferred
`sympy_naturals`	`write`	inferred
`sympy_naturals0`	`write`	inferred
`sympy_emptyset`	`write`	inferred
`sympy_universalset`	`write`	inferred
`sympy_randMatrix`	`write`	assumed
`sympy_Wild`	`write`	inferred
`sympy_WildFunction`	`write`	inferred
`sympy_match`	`write`	assumed
`sympy_replace`	`write`	assumed
`sympy_xreplace`	`write`	assumed
`sympy_nsimplify`	`write`	assumed
`sympy_radsimp`	`write`	assumed
`sympy_rationalize`	`write`	assumed
`sympy_count_ops`	`read`	inferred
`sympy_symbols_create`	`write`	inferred
`sympy_Range`	`write`	assumed
`sympy_Identity`	`write`	assumed
`sympy_matrix_rank`	`write`	assumed
`sympy_matrix_nullspace`	`write`	assumed
`sympy_matrix_LU`	`write`	assumed
`sympy_expand_complex`	`write`	assumed
`sympy_as_real_imag`	`write`	assumed
`sympy_as_numer_denom`	`write`	assumed
`sympy_groebner`	`write`	assumed
`sympy_horner`	`write`	assumed
`sympy_divisor_sigma`	`write`	assumed
`sympy_primepi`	`read`	inferred
`sympy_symbolic_power`	`write`	assumed
`sympy_symbolic_mul`	`write`	assumed
`sympy_symbolic_add`	`write`	inferred
`sympy_finiteset`	`write`	inferred
`sympy_product_set`	`write`	inferred
`sympy_image_set`	`write`	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.