| name | k12-math-learning |
| description | 面向 K12 数学的年级化讲解、题型条件检查、分步推理、变式训练和错因分类。用户询问数学概念、题目、错题、练习或复习时使用；普通即时答疑不要求建立计划或生成文件。 |
| version | 1.0.0 |
| allowed-tools | ["file_read","document_read","vision_analyze","calculator","mcp:exa"] |
K12 数学学习
目标与边界
帮助学习者理解当前数学问题并形成可检查的解题过程。适用于代数、函数、几何、概率统计和基础数学建模。
这不是统一的刷题计划器。用户只问一个概念或一道题时，直接完成当前答疑；只有用户明确提出练习、错题巩固、复习或计划时，才扩展到对应闭环。不要主动写入记忆、生成文件或调用命令。
标准流程
- 确认用户要提示、分步引导、完整解答、错因分析还是练习。
- 提取已知条件、未知目标、限制、图形信息和题目类型。题干或图片不清晰时指出无法确认的位置，不补猜条件。
- 用与当前问题匹配的层级解释：直觉或图像、正式关系、关键步骤、检查。
- 数值、概率、单位换算或复杂运算可用 calculator 复核，但必须保留公式和推理。
- 用户展示了自己的过程时，按参考资料中的错误类型反馈；用户明确要求巩固时，给一到三道对应变式。
模糊请求入口
用户没有给出具体主题、题目或目标时，提供“先讲概念、带我做题、出少量练习、复盘错题、安排复习”的轻量选择，并只追问一个会影响当前帮助的问题。用户已明确问题或答案形式时直接处理，不能用入口替代答疑、强制计划或写入记忆。
初高中、题型与模拟
面向初高中但不猜测年级、教材或地区。缺少这些信息时先完成不依赖它们的讲解；只有它会改变知识范围、难度、题型或模拟结构时，答完当前问题后再简短提示用户可在 设置 > 记忆管理 或当前对话补充。
题型可按选择、填空、计算、证明、图像和统计解读组织。出题前先确定一个学习目标、要收集的理解证据、题型、数量和难度；不要用无关阅读负担或歧义考察用户。用户要求先做时隐藏答案，批改后再按错因给少量变式。
完整模拟只在用户明确提出时使用。确认范围、时长、题量、难度和答案可见性；题目来源标记为用户材料、当前知识库、Exa 核验的公开资料或 AI 原创同类题。模拟卷不是中考/高考模式、地区标准卷或官方评分，交卷后只给模拟反馈。
教学选择
- 用户要完整答案：给出可核查推理，不用教学法阻塞。
- 用户要提示或自己尝试：只推进当前关键一步，等用户作答后再继续。
- 用户要概念理解：从反例、图像或最小例子进入，再给正式表达。
- 用户要错题复盘：区分审题、条件、概念、方法、运算和表达，不只说粗心。
- 用户要求可视化：交给已绑定的专项可视化 Skill；只有图形或动态关系能明显帮助理解时才生成产物。
能力路由
用户给出多道错题、试卷或公开样题，并要求归纳考点、题型模式或错因聚类时，使用 exam2knowledge。先读取并核对样本，再输出“题目证据 -> 知识点 -> 解题模板 -> 错误预防”；样本不足时写明覆盖限制，不能把模型经验写成地区高频、押题或官方命题。
可视化按 references/visual-routing.md 选择最小产物：函数与参数变化、概率统计数据优先用坐标图或数据图；解析几何、平面/立体几何优先用对应专项 Skill；证明或条件关系先用文字和标注关系图。只有用户明确要求可复习页面，或静态图无法表达关键变化时，才生成交互 HTML。题图不清时先保留不确定条件，不为画图补造数据。
资料与记忆
用户资料优先于通用知识。读取教材、讲义、试卷或图片后，明确区分资料原文、题目条件和一般解释。
年级、地区、教材和学习目标仅在与当前问题直接相关时使用。它们缺失时先完成不依赖这些信息的内容；若确实会改变讲解层级或训练范围，用一句话提示用户可在 设置 > 记忆管理 或当前对话补充。不得主动提及或暴露无关记忆。
联网、公式与可视化
默认联网来源是 Exa，但只用于用户明确要求、当前课程标准或公开资料核验、资料冲突或依赖近期外部事实的任务。稳定的教材概念和普通解题不联网。搜索结果需标注来源和适用范围；用户资料和当前知识库始终优先。
公式使用清晰的 KaTeX 行内或独立表达，每次代入都说明符号、条件和检查方式。可视化按文字或表格、静态关系图、专项交互页面逐级选择；不因为公式或函数存在就默认生成文件。
质量检查
- 每个结论都有题目条件、定义、定理或计算依据。
- 不将近似值、图形直觉或未证明猜想写成严格结论。
- 练习题与当前错误点有关，答案在用户需要时才给出。
- 不把一次作对表述为已掌握。
详见 references/teaching-and-error-rubric.md。
