MathKernel: Ein Mathematik-Kernel für LLMs mit Beweisprotokollen

MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server

MathKernel ist eine Open-Source-Python-Bibliothek und ein MCP-Server, die Large Language Models von der Arithmetik entlasten: Das LLM interpretiert die Absicht, der Kernel rechnet und dokumentiert für jedes Ergebnis einen Vertrauensgrad, die verwendete Engine und eine Herleitungsspur. Exakte Arithmetik, symbolische Resultate, zertifizierte Intervalle, empirische Evidenz und formale Beweise werden klar unterschieden. Unterstützt werden unter anderem symbolische Algebra, Graphentheorie, Statistik, PDEs und formale Verifikation mit Lean.