MathKernel
面向 LLM 的多引擎数学内核与 MCP 服务器
MathKernel 是一个面向 LLM 的证据感知多引擎数学运行时，既可作为 Python 库 mathkernel 使用，也可作为 MCP 服务器 mathkernel-mcp 接入客户端。它提供精确、符号、形式化、区间认证与数值计算，配合类型化 MathIR、信任标签与完整溯源，使每个数学结果都携带信任等级、引擎标签和推导轨迹，便于应用与模型在保留假设的前提下完成高阶数学计算
1
2026-09-06
未收录
36
工具功能
这个工具能做什么、适合谁用，以及目前已识别的核心能力。
工具简介
MathKernel 是一个面向 LLM 的证据感知多引擎数学运行时，既可作为 Python 库 mathkernel 使用，也可作为 MCP 服务器 mathkernel-mcp 接入客户端。它提供精确、符号、形式化、区间认证与数值计算，配合类型化 MathIR、信任标签与完整溯源，使每个数学结果都携带信任等级、引擎标签和推导轨迹，便于应用与模型在保留假设的前提下完成高阶数学计算
核心功能
价格信息
暂无可验证价格信息暂无足够准确的价格信息。
基础信息
- 更新频率
- 近 7 天 1 条收录动态
- 最近更新
- 2026-09-06
- 覆盖行业
更新日志
按时间记录功能更新、版本发布、新工具入库等重要变化。
- 2026-09-06开源
MathKernel 开源发布 1.3.0 版，提供证据感知的多引擎数学内核，可作为 Python 库 mathkernel 或 MCP 服务器 mathkernel-mcp 使用，为 LLM 提供精确、符号、形式化与区间认证计算，结果携带信任等级、引擎标签与推导轨迹。
MathKernel 常见问题
关于 MathKernel 的定位、核心功能、价格与最近更新。
MathKernel 是什么？
MathKernel 是一个面向 LLM 的证据感知多引擎数学运行时，既可作为 Python 库 mathkernel 使用，也可作为 MCP 服务器 mathkernel-mcp 接入客户端。它提供精确、符号、形式化、区间认证与数值计算，配合类型化 MathIR、信任标签与完整溯源，使每个数学结果都携带信任等级、引擎标签和推导轨迹，便于应用与模型在保留假设的前提下完成高阶数学计算。
MathKernel 有哪些核心功能？
MathKernel 当前已核验的核心功能包括：工具协议集成、数据分析。
MathKernel 如何收费？
AI Equal 当前没有收录 MathKernel 的可验证价格信息。
MathKernel 最近有什么更新？
2026-09-06：MathKernel 开源发布 1.3.0 版，提供证据感知的多引擎数学内核，可作为 Python 库 mathkernel 或 MCP 服务器 mathkernel-mcp 使用，为 LLM 提供精确、符号、形式化与区间认证计算，结果携带信任等级、引擎标签与推导轨迹。