SuperAPI AI 工具集

solve-math-rigorously

通用与其它

查看项目

更新于 10-15 21:53

技能介绍

用途:这是面向 Claude Desktop 与 Claude 对话界面的求解优先数学技能,默认先理解数学对象、建立问题地图、选择方法族、按可检查步骤求解,再验证结果;教学、练习与课程生成属于次要模式。

主要能力:求解模式包括 solver、photo-solver、fast-answer、worked-solution、proof、exam、tutor;教育模式有 diagnostic、worksheet、lesson、review、primary-school、parent-teacher。支持先转录并绘制图片、截图、白板或 PDF 中的题目与图示,再求解。

使用方式:图片与 PDF 优先用 Claude 原生多模态读取,仅在环境支持代码执行时使用脚本。若缺少依赖,可在技能根目录运行 bash scripts/bootstrap_env.sh,随后用 .venv/bin/python3 调用 math_verify.py、math_visualize.py、math_table.py、math_photo_helper.py 等助手,例如 .venv/bin/python3 scripts/math_verify.py equiv "sin(x)^2 + cos(x)^2" "1"。求解参考文档包括 problem-mapping、method-selection、solver-loop、verification、proof 等 playbook。

适用场景:需要可信求解与验证的代数、微积分、几何、概率、证明与建模任务,尤其是照片或 PDF 中的题目。

限制:无代码执行时应继续以转录、推理与显式不确定性处理完成,不阻塞于工具;图片模糊时需标注竞争性读法或请用户确认;PASS 视为强证据,FAIL 视为真实警告,INCONCLUSIVE 需追加检查。具体收费、价格与平台支持范围资料未提供。