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

MathKernel is an evidence-aware multi-engine mathematics kernel and MCP server that lets AI assistants connect to real computation tools and data through the Mo