SuperAPI AI 工具集

math-router

通用与其它

查看项目

更新于 10-16 07:51

技能介绍

Math Router 是一个用于数学认知栈的确定性路由工具。按照其说明,处理数学请求时应始终先使用此路由器,而不是去阅读各个技能的单独文档。

用途 它的作用是把用户的数学意图映射为精确的 CLI 命令。用户只需描述数学请求,路由器会返回应当执行的具体命令,从而避免手动查找和拼装命令。

主要能力 路由器基于模式匹配,而非 LLM 推理,因此具有确定性和较快的响应速度,并能正确提取参数。它覆盖 7 个脚本中的 32 条路由,涉及以下类别:

  • sympy:integrate、diff、solve、simplify、limit、det、eigenvalues、inv、expand、factor、series、laplace、fourier
  • pint:convert、check
  • shapely:create、measure、pred、op
  • z3:prove、sat、optimize
  • scratchpad:verify、explain
  • tutor:hint、steps、generate
  • plot:plot2d、plot3d、latex

使用方式 路由任意数学意图以获取 CLI 命令: uv run python scripts/cc_math/math_router.py route "<user's math request>"

示例工作流: 用户说:“integrate sin(x) from 0 to pi” 执行:uv run python scripts/cc_math/math_router.py route "integrate sin(x) from 0 to pi" 路由器返回: { "command": "uv run python scripts/cc_math/sympy_compute.py integrate "sin(x)" --var x --lower 0 --upper pi", "confidence": 0.95 } 随后执行返回的命令,并将结果返回给用户。

列出所有命令: uv run python scripts/cc_math/math_router.py list 按类别列出路由: uv run python scripts/cc_math/math_router.py list --category sympy

适用场景 适用于需要将自然语言数学请求转换为可执行命令的场景,例如积分、微分、方程求解、化简、极限、线性代数运算、单位转换、几何运算、定理证明、可满足性检查、优化、验证与解释、学习提示与步骤生成,以及二维/三维绘图和 LaTeX 输出等。

限制 如果路由器返回 {"command": null},表示意图未被识别。此时应请用户澄清,或改用单独技能,例如 /sympy-compute、/z3-solve、/pint-compute 等。关于收费、价格、平台支持范围等更多信息,资料中暂未提供。