MathKernel是一个开源数学计算系统，可同时作为Python库和MCP服务器部署使用。该系统使大语言模型和应用程序能够执行高级数学计算，同时完整保留假设、来源和针对特定声明的证据。通过将LLM的意图解释与数学证据的建立分离，MathKernel为每个计算结果赋予明确的信任级别、引擎标签和推导轨迹。