MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server
MathKernel, a newly released open‑source project, provides a mathematics computation platform that integrates several symbolic and numeric engines while tracking the provenance of results. The system includes an MCP (Mathematical Computation Protocol) server, enabling remote execution and coordination of tasks. Its evidence‑aware design records derivation steps, aiming to improve reproducibility and debugging for researchers and developers.