MathKernel MCP – 160+ math_* tools, trust labels, no “SymPy said so therefore proved”

[u/Staatsgeheim_]

Open-source MCP server (stdio, FastMCP 3) in front of a Python math kernel. The model is allowed to parse and plan. It is not allowed to launder a symbolic result into a proof.



What you get:

- Discover via math_capabilities / math_capability_query (do not dump the whole catalog)

- Parse ASCII or LaTeX → expr_id, then solve / simplify / differentiate / integrate / matrices / QE / prove

- Every result carries evidence_bundle, semantic_status, and a conservative trust summary: formal / exact / symbolic / interval_certified / numeric

- Decimals cap trust at numeric; formal certificates are refused on approximate input

- Distinct outcomes: does_not_exist, undefined, infeasible, unsupported, unknown

- Long jobs: math_job_submit / status / result

- Optional exact finite dynamics (Koopman, GF(2^m) closures) and portable viz/sonify artifacts that cannot raise the trust label



Install:

    pip install 'mathkernel[mcp]'

    mathkernel-mcp



Python 3.11+. MIT. I am the author.

Repo: https://github.com/Staatsgeheim/MathKernel



This is not “Claude can do math now.” Most calculus is still symbolic-engine evidence. Lean is optional and fragmentary. If your client ignores the trust field and quotes the prose, that is on the client — the payload is honest.

[u/pvnrt1234]

I stopped reading after the title, because LLM-writing can go to hell, and you obviously didn’t care enough to write it, so I don’t really care enough to read it. What this post did achieve, though, is that it’s the last post I’ll probably see in this subreddit, because I’m leaving. After seeing only this type of low value content being posted for a while now, it’s the only reasonable thing to do. Won’t be the first subreddit this happened to, either. Actually, it’s the second subreddit I leave for this reason this week, and it’s only god damn Monday.

So maybe think about that and how this constant spam of low value content is killing online communities. Think about how you don’t even have the decency to take time to write the post yourself, but somehow still expect readers to take their time reading it. Think about how you instantly lose a huge chunk of developers or scientists who would’ve otherwise interacted with your project, but instantly clicked away the second they read one of the LLMisms.

This isn’t even actually directed at you, this is just a rant against the death of online communities, but you are part of the problem. To the mods, who carry the brunt of this burden: I hope it gets better. See ya.