前言¶
在 Cursor、Claude Code 等 Agent 里问数学，常见问题是路径不统一：口算题希望立刻得到结果，作业题需要查定理出处，证明题要分步推演，开放问题又要区分「讨论」和「可发表级严谨」。通用对话往往要么过度展开，要么在难题上缺少查证与迭代策略。
下面介绍 SkillHub 社区 Skill「数学家」（@user_0a48355b/ydxc0511-2，当前版本 1.4.0）。它把数学相关请求收成一条入口，并按题目难度分成 L1–L4 处理，简单题少打扰，难题才启动联网、多视角与迭代推演。
这是什么¶
数学家是面向「全层级数学问题」的 Agent Skill，发布者为 SkillHub 用户 user_0a48355b（页面标注作者为禾羽），来源为 community，分类为 education。页面标签标明 requires_api_key=false，不依赖额外 API Key。
官方定位是「数学统一入口」：从四则运算、概念解释，到竞赛压轴、严格证明，再到公开未解问题与「某结论是否已被证明」的核查，都由同一 Skill 按层级路由。明确不适用于纯编程任务、非数学通用问答、文档处理等非数学场景。
- 官方 API 地址：https://api.skillhub.cn/user_0a48355b/ydxc0511-2
- SkillHub 展示页：https://www.skillhub.cn/skills/user_0a48355b/ydxc0511-2
核心功能¶
以下能力均来自官方简介，按 L1–L4 归纳。
L1：简单题¶
适用：四则运算、概念定义、公式代入、单步计算、常识性数学问答。
行为：直接作答；不联网、不建产物（官方表述为「直接秒答」）。
L2：常规题¶
适用：初高中题、大学标准作业题、竞赛中档题、需要查证的定理等。
行为：允许联网查证后一次作答。
L3：难题与证明¶
适用：奥赛压轴、IMO/CMO、高等数学难题、需严格证明的命题等。
行为：联网取证、多专家视角、逐轮迭代、严格性分级，产出完整推演。
L4：未解公开问题与进展核查¶
适用：Riemann 猜想、Goldbach、BSD、P vs NP、Navier-Stokes 正则性、Collatz、ABC、Erdős 问题集等公开未解或高难度公开问题；也适用于核查某猜想/定理是否已被攻克、最新进展，以及 AI 系统声称成果的验证状态。
行为：启动「完整攻坚引擎」——官方描述为多专家池 × 五相迭代 × 墓碑库 × 严格性分级，直至产出成果（具体实现以 Skill 包内 SKILL.md 为准）。
安装与启用¶
SkillHub 页面提供两种常见方式：让 Agent 按安装文档执行，或使用 skillhub CLI 安装到当前客户端的 skills 目录。
方式一：提示词交给 Agent¶
将下面意图发给当前 AI（与 SkillHub 页面一致）：
请根据 https://skillhub.cn/install/skillhub.md，安装 `@user_0a48355b/ydxc0511-2`。
Agent 会按 SkillHub 安装与优先源配置 检查 CLI、选择 skills 目录并完成安装。
方式二：skillhub CLI¶
先确认是否已安装 CLI：
command -v skillhub && skillhub --version
未安装时可按官方文档执行完整安装（示例）：
curl -fsSL https://skillhub-1388575217.cos.ap-guangzhou.myqcloud.com/install/install.sh | bash
安装 Skill 时必须用 --dir 指向当前 Agent 的 skills 目录，否则默认落在 ./skills/ 可能不会被识别。官方文档给出的常用路径包括：
- Cursor：
~/.cursor/skills/ - Claude Code：
~/.claude/skills/ - Codex：
~/.codex/skills/或项目下的.agents/skills/
在 Cursor 中可执行：
skillhub install @user_0a48355b/ydxc0511-2 --dir ~/.cursor/skills/
安装后按你所用客户端的要求刷新或重启 Agent，使 Skill 被加载。
典型用法¶
官方未提供单独的可复制对话脚本，用法即：在已启用该 Skill 的 Agent 中提出数学问题，由 Skill 自动匹配 L1–L4。下面按层级给出可复现的问题类型示例（表述需与真实数学内容一致，由你自行替换具体题目）。
- L1：「求 \( \int_0^1 x^2 \, dx \) 的值」或「解释什么是群同态」——预期短答、不依赖联网产物。
- L2：「证明拉格朗日中值定理，并说明条件」或一道标准大学作业题——预期可查资料后给出完整解答。
- L3：「给出某 IMO 几何题的严格证明」或「证明某分析学命题」——预期多步推演与严格性标注。
- L4：「Collatz 猜想目前有哪些重要部分结果？」或「某论文声称证明了某猜想，如何核对验证状态？」——预期启动更深度的查证与迭代流程。
触发范围与你在对话中描述的数学分支一致即可（初等数学、线性代数、概率、数论、拓扑、泛函分析等）；Skill 侧通过难度与任务类型路由，而非要求你手动指定 L 级别。
适用场景与注意¶
适合谁
- 需要在同一 Agent 里处理从速算到证明、再到开放问题核查的开发者或学习者。
- 希望简单题不被「长篇报告」拖累，难题又能联网、分视角迭代的人。
限制与注意
- 非数学任务不要指望触发：纯编程、通用闲聊、文档排版等应使用其他 Skill 或默认能力。
- L4 与未解问题：官方描述的是攻坚与进展核查流程，不等同于保证解决未解猜想；对严肃研究仍以同行评审文献为准。
- 数据以 SkillHub 页面为准：截至资料抓取，页面显示评分 100000、下载 9264；与你看到的第三方摘要若不一致，以 展示页 为准。
- 安装路径：务必
--dir到当前客户端 skills 目录，避免装错位置导致「已安装但 Agent 不识别」。
结尾¶
数学家把数学问答收成一条 Skill，用 L1–L4 区分响应深度：简单题轻量直答，常规题可查证，证明与开放问题才加重联网与迭代。若你主要在 Agent 里做数学推导、作业、竞赛或进展核查，可按上文安装 @user_0a48355b/ydxc0511-2，并从 SkillHub 展示页查看更新说明。
- https://www.skillhub.cn/skills/user_0a48355b/ydxc0511-2
- https://api.skillhub.cn/user_0a48355b/ydxc0511-2
