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

MathKernel 让 LLM 负责解析和解释，把精确、符号、形式化、区间证书和数值计算交给带 typed MathIR 的内核，并为每个结论记录 provenance 与 trust label。README 特别提醒“引擎一致不等于证明”，要求 claim-specific evidence bundle；MCP server、Python 库和便携产物把同一证据链暴露给不同工作流。