MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server
https://github.com/Staatsgeheim/MathKernel
GitHub
GitHub - Staatsgeheim/MathKernel: Evidence-aware multi-engine mathematics runtime for LLMs: exact, symbolic, formal, certified…
Evidence-aware multi-engine mathematics runtime for LLMs: exact, symbolic, formal, certified-interval and numeric computation with typed MathIR, trust labels, and full provenance - Staatsgeheim/Mat...
September 7, 2026 15 2
