MathKernel

An evidence-aware multi-engine mathematics kernel — usable both as a Python library ( mathkernel ) and as an MCP server ( mathkernel-mcp ) — so applications and LLMs can do advanced mathematics while preserving assumptions, provenance, and claim-specific evidence.

Mathematical results carry an explicit trust level , an engine tag, and a derivation trail . Exact computation, checked certificates, symbolic results, certified enclosures, empirical evidence, and formal proofs are distinct claims. Exact arithmetic alone is not a formal proof; approximate-input ancestry must not silently disappear.

LLMs are good at mathematical intent and bad at mathematical arithmetic . MathKernel inverts the division of labor: the model parses, plans, and interprets; the kernel computes and records claim-specific evidence. Some claims use independent certificates or cross-checks; others are exact computations in one engine. Engine agreement alone is not a proof, and a single trust label does not replace the evidence bundle.

MathKernel is a typed orchestration layer rather than a single solver. The public facade owns parsing, contexts, object identity, persistence, evidence composition, resource policy and derivation tracking; domain adapters own the actual mathematics. Presentation layers sit downstream and cannot silently change the claim being made.