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

MathKernel offers a dual-mode kernel available as the Python library mathkernel and the MCP server mathkernel-mcp, enabling applications and LLMs to execute advanced calculations while recording assumptions, provenance, and evidence. It delegates intent parsing to the LLM, uses typed adapters for exact, symbolic, certified, empirical, or formal engines, and returns results annotated with trust levels, engine tags, and derivation trails via a typed-operation API covering algebraic structures to PDE solutions.