MathKernel
MathKernel is an MCP server. Its repository has 59 GitHub stars and is licensed under MIT; we last read it on 2026-10-23.
MathKernel provides exact, symbolic, formal, certified-interval, and numeric computation for LLMs, using typed MathIR, trust labels, and full provenance.
Install
Read from MathKernel’s own README, close to verbatim -- not written by us, and not guessed.
pip install mathkernel
What it reaches, and what it needs
Reaches
○ not recognised
Credential
○ none found
Maintenance
Stars
59
State
listed
Licence
MIT
From the repository
Evidence-aware multi-engine mathematics runtime for LLMs: exact, symbolic, formal, certified-interval and numeric computation with typed MathIR, trust labels, and full provenance
Common questions about MathKernel
- What does MathKernel do?
- MathKernel provides exact, symbolic, formal, certified-interval, and numeric computation for LLMs, using typed MathIR, trust labels, and full provenance.
- How do I install MathKernel?
- Its own README gives this command: pip install mathkernel. Run it where your MCP client can launch the server, and check the README for any settings it asks for.
- Is MathKernel official and is it maintained?
- We found nothing naming it as a vendor’s official server. Its repository has 59 GitHub stars and its state in our directory is listed. Its last commit we recorded was on 2026-10-08.
- What licence does MathKernel use?
- The repository declares the MIT licence.