MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server
Summary
MathKernel is an open-source, evidence-aware multi-engine mathematics kernel and MCP server designed to preserve provenance and trust in mathematical results when used with LLMs. It supports symbolic, exact, certified, and numeric computation across domains, with a detailed architecture, feature matrix, and trust model.