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

MathKernel is an open-source mathematics runtime that pairs with LLMs to handle advanced computation while preserving assumptions, provenance, and claim-specific evidence. It integrates exact, symbolic, formal, certified-interval, and numeric engines behind a typed orchestration layer, and every result carries an explicit trust level, engine tag, and derivation trail. Available as a Python library and an MCP server, it covers domains from algebra and calculus to graphs, PDEs, and algebraic topology, with tooling for visualization and sonification.