math-skill 1.0.0 → 2.1.0

package/README.md

@@ -1,278 +1,313 @@
-# ⚔️ Math Skill — 数学思想武器
-
-> **数学思想武器：将数学思维应用到科研和生活中。**\
-> **Mathematical Thinking Weapons: Apply Mathematical Thinking to Research and Daily Life.**
-
-[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](LICENSE)
-
----
-
-## 核心理念 / Philosophy
-
-数学不只是一种计算工具，更是一种**思想方法**。从公理化到抽象，从逻辑演绎到概率思维，数学提供了理解世界的独特视角。
-
-这个 skill 将数学中最核心的思想方法提取为**可操作的思维框架**，帮助你在科研中发现新角度、在生活中做出更理性的决策。它既是研究者的思维武器，也是一套生活问题的理性工具。
-
-> "数学不只是计算，它是关于结构、关系和变化的系统性思考方式。"\
-> "Mathematics is not just computation — it is a systematic way of thinking about structure, relationships, and change."
-
----
-
-## 双路径模式 / Dual-Path Mode
-
-每个思想武器都有两种模式：
-
-- **科研模式 / Research Mode**：保留完整数学符号与推导，适用于数学推导、论文审查、算法设计、实验设计优化
-- **生活模式 / Life Mode**：只保留思维框架的核心步骤，用日常语言替代数学符号，适用于日常决策、人际互动、时间管理、生活规划
-
-系统根据问题性质自动选择模式——科研问题自动使用科研模式，生活问题自动使用生活模式。不再用 KKT 条件分析人际矛盾，也不用纳什均衡公式计算时间分配。
-
----
-
-## 十六思想武器 / Sixteen Thinking Weapons
-
-| # | 思想武器 | 核心要义 | 科研应用 | 生活应用 |
-|---|---------|---------|---------|---------|
-| 0 | 🧭 [武器选择器](skills/meta-selector/SKILL.md) | 不确定该用哪个工具时，根据问题特征推荐1-3个最合适的思想武器 | 选择审视维度、判断方法论方向 | 面对模糊问题时快速定位切入点 |
-| 1 | 📐 [公理化思想](skills/axiomatization/SKILL.md) | 从最少假设出发，严格逻辑构建 | 审查论文假设合理性、构建理论框架 | 分析观点的逻辑前提、识别隐含假设 |
-| 2 | 🧩 [抽象化思想](skills/abstraction/SKILL.md) | 抓住本质，忽略非本质细节 | 提炼科学问题核心、发现跨领域共性 | 简化复杂问题、透过现象看本质 |
-| 3 | 🧠 [逻辑演绎](skills/logic-deduction/SKILL.md) | 从真命题严格推理新真命题 | 检查证明严谨性、发现逻辑漏洞 | 性辩论、识别逻辑谬误 |
-| 4 | 🌉 [建模思想](skills/modeling/SKILL.md) | 现实问题→数学问题→解释现实 | 构建科研模型、预测实验结果 | 规划预算、路线、风险评估 |
-| 5 | ⚖️ [优化思想](skills/optimization/SKILL.md) | 约束条件下寻找最优解 | 实验设计优化、资源分配优化 | 时间管理、投资组合、购物决策 |
-| 6 | 🎲 [概率与统计](skills/probability-statistics/SKILL.md) | 量化不确定性，数据提取规律 | 实验数据分析、显著性检验 | 解读新闻数据、评估风险、避免偏差 |
-| 7 | 🔄 [变换思想](skills/transformation/SKILL.md) | 复杂问题→等价简单问题 | 信号处理、方程求解、数据降维 | 换角度看问题、分解难题 |
-| 8 | ⚛️ [对称与不变性](skills/symmetry-invariance/SKILL.md) | 变换下保持不变的性质 | 发现守恒量、分类研究对象 | 寻找不变量、识别模式 |
-| 9 | 📈 [归纳与类比](skills/induction-analogy/SKILL.md) | 从特殊到一般，已知到未知 | 提出科学假说、发现新定理 | 从经验中学习、跨领域借鉴 |
-| 10 | 🖥️ [算法与计算思想](skills/algorithmic-thinking/SKILL.md) | 将问题转化为有限步骤的程序 | 分析计算代价、判断问题可行性 | 设计高效流程、自动化重复任务 |
-| 11 | 📡 [信息论思想](skills/information-theory/SKILL.md) | 信息是不确定性的减少 | 最优压缩、信道容量、特征选择 | 评估信息价值、减少冗余 |
-| 12 | 🎯 [博弈论思想](skills/game-theory/SKILL.md) | 最优策略取决于他人的选择 | 多方互动决策、机制设计 | 谈判策略、竞争分析 |
-| 13 | 🔗 [因果推断思想](skills/causal-inference/SKILL.md) | 相关≠因果，但因果可形式化 | 干预效果评估、政策评价 | 区分原因与借口、反事实思考 |
-| 14 | 🌀 [拓扑思想](skills/topological-thinking/SKILL.md) | 连续变形下不变的性质 | 拓扑数据分析、形状分类 | 理解连通结构、鲁棒性分析 |
-| 15 | 🧮 [离散与组合思想](skills/discrete-combinatorial/SKILL.md) | 计数、枚举、有限对象的规律 | 组合计数、图论分析、生成函数 | 系统性枚举、鸽巢推理 |
-
----
-
-## 快速开始 / Quick Start
-
-### 安装 / Installation
-
-直接粘贴下面这段给 Claude Code、OpenClaw 或其他终端型 AI 助手即可：
-
-```
-请帮我安装 math-skill：https://github.com/the-thinker0/math-skill，并教我如何使用
-```
-
-手动安装备选：
-
-```bash
-npm install math-skill    # npm
-```
-
-or:
-```bash
-git clone https://github.com/the-thinker0/math-skill.git  # GitHub
-```
-
-其他平台（Cursor 等）：核心内容是通用 Markdown，请参照各平台文档将其放入要求的目录结构中。
-
-### 使用
-
-在 Claude Code 等支持 skill 的 AI 助手中，使用以下命令触发对应思想武器：
-
-```
-/ask <你的问题>                     # 武器选择器（不确定该用哪个工具时先问这个）
-/axiomatization <你的问题>          # 公理化思想
-/abstraction <你的问题>             # 抽象化思想
-/logic-deduction <你的问题>         # 逻辑演绎
-/modeling <你的问题>                # 建模思想
-/optimization <你的问题>            # 优化思想
-/probability-statistics <你的问题>  # 概率与统计
-/transformation <你的问题>          # 变换思想
-/symmetry-invariance <你的问题>     # 对称与不变性
-/induction-analogy <你的问题>       # 归纳与类比
-/algorithmic-thinking <你的问题>    # 算法与计算思想
-/information-theory <你的问题>      # 信息论思想
-/game-theory <你的问题>             # 博弈论思想
-/causal-inference <你的问题>        # 因果推断思想
-/topological-thinking <你的问题>    # 拓扑思想
-/discrete-combinatorial <你的问题>  # 离散与组合思想
-```
-
-### 语言切换
-
-默认输出为**中文**。如需**英文**输出，在命令后追加 `in English`：
-
-```
-/optimization How should I allocate my research time this semester? in English
-```
-
----
-
-## 使用场景示例 / Usage Examples
-
-### 不确定该用哪个工具时
-
-```
-/ask 我面对一个复杂的决策，既涉及多方互动又涉及资源分配，不知道从哪个角度切入...
-```
-
-### 科研场景
-
-**审查论文的理论基础**：
-```
-/axiomatization 这篇论文声称从三个假设推导出新定理，但我怀疑假设集合可能不自洽...
-```
-
-**检查证明的逻辑**：
-```
-/logic-deduction 定理 3.2 的证明中，第 5 行到第 6 行的推导是否有逻辑跳跃？
-```
-
-**构建数学模型**：
-```
-/modeling 我的实验数据显示变量 x 和 y 有某种非线性关系，用什么模型来描述？
-```
-
-**优化实验设计**：
-```
-/optimization 我有 3 个实验要做，只有 2 周时间，每个实验需要不同设备，怎么安排？
-```
-
-**统计检验**：
-```
-/probability-statistics 新药有效率比旧药高 15%，p=0.03，n=50，结果可靠吗？
-```
-
-### 生活场景（自动使用生活模式）
-
-**时间管理**：
-```
-/optimization 我需要在论文、作业和社交之间分配时间，论文 deadline 还有两周...
-```
-
-**解读新闻**：
-```
-/probability-statistics 新闻说某种食物能使患癌风险降低 30%，我应该多吃吗？
-```
-
-**解决人际矛盾**：
-```
-/transformation 我无法解决和室友的矛盾，在当前沟通方式下僵局似乎无法打破...
-```
-
----
-
-## 目录结构 / Directory Structure
-
-```
-math-skill/
-├── .gitignore               # Git 排除文件
-├── .npmignore               # npm 发布排除文件
-├── package.json             # 包描述文件
-├── commands/                # 手动触发的 slash 命令入口
-│   ├── ask.md               # 武器选择器命令
-│   ├── axiomatization.md
-│   ├── abstraction.md
-│   ├── logic-deduction.md
-│   ├── modeling.md
-│   ├── optimization.md
-│   ├── probability-statistics.md
-│   ├── transformation.md
-│   ├── symmetry-invariance.md
-│   ├── induction-analogy.md
-│   ├── algorithmic-thinking.md
-│   ├── information-theory.md
-│   ├── game-theory.md
-│   ├── causal-inference.md
-│   ├── topological-thinking.md
-│   └── discrete-combinatorial.md
-├── skills/                  # 十六思想武器详细定义
-│   ├── meta-selector/       # 武器选择器（第0号武器）
-│   │   ├── SKILL.md
-│   │   └── original-texts.md
-│   ├── axiomatization/
-│   │   ├── SKILL.md         # 核心方法论 + 操作规程（科研模式 + 生活模式）
-│   │   └── original-texts.md # 数学出处与经典文献
-│   ├── abstraction/
-│   ├── logic-deduction/
-│   ├── modeling/
-│   ├── optimization/
-│   ├── probability-statistics/
-│   ├── transformation/
-│   ├── symmetry-invariance/
-│   ├── induction-analogy/
-│   ├── algorithmic-thinking/
-│   ├── information-theory/
-│   ├── game-theory/
-│   ├── causal-inference/
-│   ├── topological-thinking/
-│   └── discrete-combinatorial/
-├── knowledge-base/          # 数学知识体系概述
-│   └── overview.md
-├── agents/                  # 子 Agent 定义
-│   └── math-critic.md       # 数学审视子 Agent
-├── tests/                   # 验证脚本
-│   ├── validate.sh
-│   └── validate.ps1
-├── docs/                    # 使用指南
-│   └── CLAUDE.md
-├── README.md
-└── LICENSE
-```
-
----
-
-## 每个思想武器包含什么 / What Each Skill Contains
-
-每个思想武器 (`skills/*/SKILL.md`) 包含以下部分：
-
-1. **核心原则** — 该思想方法的精髓，配有数学家的名言。数学形式化部分用独立标记，生活模式读者可跳过
-2. **不适用场景** — 何时不应该使用该工具（避免误用），标注适用模式 `[科研/通用/生活]`
-3. **何时使用** — 科研触发条件和生活触发条件分别列出
-4. **方法流程** — 分步操作指南，每步配有**科研模式**（完整数学）和**生活模式**（日常语言）两条路径，以及**共通要点**
-5. **常见错误** — 错误做法与正确做法的对比表，标注适用模式
-6. **操作规程** — 双路径输出格式：科研模式输出格式和生活模式输出格式，确保每次使用都有可观测的结果
-7. **与其他 skill 的关系** — 思想武器之间的联系
-
-此外，每个思想武器还配有 `original-texts.md`，包含：
-- 数学出处和经典文献
-- 重要定理的原始表述
-- 历史背景和哲学含义
-
----
-
-## 数学知识体系 / Mathematical Knowledge System
-
-`knowledge-base/overview.md` 提供了完整的数学知识体系地图：
-
-### 三大基础支柱
-
-- **代数学** — 数、结构、关系和符号运算
-- **几何学** — 空间、形状、结构及其关系
-- **分析学** — 函数、极限、连续、微分、积分
-
-### 主要分支
-
-数论、概率统计、拓扑学、离散数学、应用数学（运筹学、信息论、金融数学等）
-
-### 知识层次
-
-地基层 → 代数层 → 综合层 → 前沿层
-
----
-
-## 灵感来源 / Inspiration
-
-灵感来自于个人学习中的两段感悟：Sophus Lie 打造"屠龙刀"的故事告诉我们，数学工具的价值远超其初衷——为解微分方程发明的李群-李代数，最终成为描述对称性的通用语言；而最优化理论与人生决策的哲学共鸣，让人意识到数学不只是算法，更是理解生活的透镜。详见 [`docs/inspiration.md`](docs/inspiration.md)。
-
----
-
-## 许可证 / License
-
-MIT License. 详见 `LICENSE`。
-
----
-
-## 贡献 / Contributing
-
-欢迎提交 Issue 和 Pull Request，与大家一起交流！
+<p align="right">
+  <a href="README.md">中文</a> | <a href="README.en-US.md">English</a>
+</p>
+
+# ⚔️ Math Skill — 数学研究激活器
+
+> **把现代数学（代数几何 / 微分几何 / 李理论 / 范畴论 / 矩阵分析 / 最优化）激活进算法与 GPU 协同设计——既在 math 上 beautiful，又 GPU friendly。**
+
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](LICENSE)
+[![npm version](https://img.shields.io/npm/v/math-skill.svg)](https://www.npmjs.com/package/math-skill)
+[![npm downloads](https://img.shields.io/npm/dt/math-skill.svg)](https://www.npmjs.com/package/math-skill)
+
+---
+
+> **如果这个项目对你有所启发，请不吝点亮一颗 Star。** 每一个 Star 都是对数学之美的共鸣，也是支撑这个项目继续前行的力量。欢迎每一位热爱数学、在数学海洋中遨游的同行者。
+
+---
+
+## 灵感来源
+
+Sophus Lie 打造"屠龙刀"的故事告诉我们：为解微分方程发明的李群-李代数，最终成为描述对称性、机器人状态估计的通用语言——数学工具的价值远超初衷，这正是「跨领域激活」的原型。详见 [`references/inspiration.md`](references/inspiration.md)。
+
+> 数学最迷人的地方：为特定问题发明的工具，在完全不同的领域展现出远超初衷的价值。这个 skill 正是这种「跨领域激活」精神的实践。
+
+---
+
+## 核心理念
+
+这次 AI 革命的数学基础，是 **20 世纪数学第一次登上商用计算舞台**——范畴论、代数拓扑、代数几何。当前主流算法的数学基础大多还停留在 1800–1900 年代的微积分 / 线性代数。把现代数学激活进算法设计，是算法探索阶段最重要的事。
+
+这个 skill 把十六种数学核心思想封装为可调用的思维框架，并在工作区出现 ML / 模型代码、CUDA / kernel、算法研究笔记时**自动介入**：诊断问题 → 映射现代数学结构 → 路由思想武器 → GPU 可行性筛选，强制每个产出同时通过**双验收门**：
+
+1. **数学正确（beautiful in math）**——自洽、可微（或可松弛为可微）、有正确性保证。
+2. **GPU 可行（friendly to GPU）**——过 `references/gpu-friendly-math.md` 八维门。
+
+> "模型内部已有足够的数学知识，缺的只是一次跨领域的激活。人选方向，Agent 搜索、枚举、验证。"
+
+---
+
+## v2.0.1 能力边界
+
+- **自动触发入口**：`math-research-activator` 需同时满足环境信号（工作区含架构核心代码/CUDA kernel/研究笔记）和任务信号（设计新架构/算子、分析理论性质、迁移数学结构）才介入；纯工程任务（debug、代码审查、重构、调参）不触发。
+- **现代数学激活层**：`references/books/*.md` × 7（代数几何、微分几何、李理论、抽象代数、矩阵分析、最优化、流形）作为低 token 的激活索引，按问题类型加载，不替代原书全文。
+- **GPU 八维横切**：15 个思想武器都显式落到 `references/gpu-friendly-math.md` 的正式八维：张量化 / GEMM 可映射 / 复杂度 / 显存与 KV-Cache / 低精度稳定 / 并行与通信 / 稀疏结构 / 算子融合。
+- **单一研究路径**：面向科研、算法、算子和训练/推理 Infra；不再保留生活建议模式。
+- **渐进式披露**：常驻层（activator + description）→ 方法论层（按需）→ 书籍层（按需），避免无关上下文常驻。
+
+---
+
+## 十六思想武器
+
+| # | 思想武器 | 核心要义 | 算法 / GPU 应用 |
+|---|---------|---------|----------------|
+| 0 | 🧭 [数学研究激活器](skills/math-research-activator/SKILL.md) | 自动触发入口：诊断→映射→路由→GPU 筛选，双验收门把关 | 环境+任务双重信号命中时介入，纯工程任务不触发 |
+| 1 | 📐 [公理化思想](skills/axiomatization/SKILL.md) | 从最少假设出发，严格逻辑构建 | 审查算法假设、为结构定公理与不变量 |
+| 2 | 🧩 [抽象化思想](skills/abstraction/SKILL.md) | 抓住本质，忽略非本质细节 | 提炼可迁移结构、发现跨域共性 |
+| 3 | 🧠 [逻辑演绎](skills/logic-deduction/SKILL.md) | 从真命题严格推理新真命题 | 形式验证算法正确性、循环不变量 |
+| 4 | 🌉 [建模思想](skills/modeling/SKILL.md) | 现实问题→数学问题→解释现实 | 构建可计算模型、参数化选择 |
+| 5 | ⚖️ [优化思想](skills/optimization/SKILL.md) | 约束条件下寻找最优解 | 优化器选择、二阶法 GPU 可行性、对偶 |
+| 6 | 🎲 [概率与统计](skills/probability-statistics/SKILL.md) | 量化不确定性，数据提取规律 | 随机算法、采样、量化、训练动力学 |
+| 7 | 🔄 [变换思想](skills/transformation/SKILL.md) | 复杂问题→等价简单问题 | 卷积→GEMM、谱变换、KV 频域压缩 |
+| 8 | ⚛️ [对称与不变性](skills/symmetry-invariance/SKILL.md) | 变换下保持不变的性质 | 等变网络（SO(3)/SE(3)）、热带半环路由 |
+| 9 | 📈 [归纳与类比](skills/induction-analogy/SKILL.md) | 从特殊到一般，已知到未知 | 跨域结构迁移、归纳偏置设计 |
+| 10 | 🖥️ [算法与计算思想](skills/algorithmic-thinking/SKILL.md) | 化为有限步骤，评估代价与可行性 | 复杂度（亚二次）、并行、算子融合 |
+| 11 | 📡 [信息论思想](skills/information-theory/SKILL.md) | 信息是不确定性的减少 | 压缩、剪枝、量化、KV 压缩、路由 |
+| 12 | 🎯 [博弈论思想](skills/game-theory/SKILL.md) | 最优策略取决于他人的选择 | 多智能体、对抗训练、路由博弈 |
+| 13 | 🔗 [因果推断思想](skills/causal-inference/SKILL.md) | 相关≠因果，但因果可形式化 | 可解释性、分布外泛化、DGP 建模 |
+| 14 | 🌀 [拓扑思想](skills/topological-thinking/SKILL.md) | 连续变形下不变的性质 | Čech 上同调正则、sheaf 注意力、TDA |
+| 15 | 🧮 [离散与组合思想](skills/discrete-combinatorial/SKILL.md) | 计数、枚举、有限对象的规律 | 稀疏结构、路由、有限域 / 半环算法 |
+
+---
+
+## 快速开始
+
+### 安装
+
+直接粘贴下面这段给 Claude Code 或其他终端型 AI 助手即可：
+
+```
+请帮我安装 math-skill：https://github.com/the-thinker0/math-skill，并教我如何使用
+```
+
+手动安装备选（下载源码，不等于自动注册 skill）：
+
+```bash
+git clone https://github.com/the-thinker0/math-skill.git
+```
+
+Claude Code / Codex 类平台：按平台的 skills / commands 目录规则复制或软链 `skills/`、`commands/`，并把 `references/` 保持在同一仓库层级。不要只复制单个 `SKILL.md`，否则 `../../references/*` 无法解析。
+
+Cursor / 其他 Markdown 规则平台：把 `commands/*.md` 作为手动入口，把 `skills/*/SKILL.md` 作为规则/技能正文，并保留 `references/`。如果平台没有自动 skill 触发机制，就用 `/ask` 或对应命令手动触发。
+
+也可先检查 npm 包内容：
+
+```bash
+npm pack math-skill --dry-run
+```
+
+### 使用
+
+**自动触发**：需同时满足两个条件才触发——（1）工作区含架构核心代码（attention/transformer/MoE、`*.cu`/kernel、Triton）或研究笔记；（2）用户任务涉及**设计/改进**新架构/算子、**分析**理论性质、或**迁移**数学结构。纯工程任务（debug、参数传递核查、重构、调参、loss 实现修改）不会触发。
+
+### 正常聊天时会自动调用吗？
+
+会，但取决于安装平台是否支持 **skill metadata 自动路由**。在 Claude Code / Codex 这类支持 skills 的环境里，安装后你不需要每次输入 `/ask`。但 v2.0.1 起触发条件已收紧：必须**环境信号和任务信号同时命中**才会自动加载，普通代码审查、debug、重构等工程任务不会触发。
+
+例如你可以直接这样问：
+
+```
+我想设计一个更省 KV-Cache 的长上下文 attention，有没有现代数学视角？
+```
+
+或：
+
+```
+这个 Triton kernel 的访存和融合方式能不能从算法结构上优化？
+```
+
+这类问题会触发 `math-research-activator`，并按需加载 `references/gpu-friendly-math.md` 与 `references/books/*.md`。`/ask` 和下面的 slash commands 是**显式入口 / 兜底入口**：当平台没有自动 skill 触发机制，或你想强制指定某个思想武器时再使用。
+
+**手动触发**（不确定该用哪个武器时先 `/ask`）：
+
+```
+/ask <你的问题>                     # 激活器：诊断+映射+路由+GPU 筛选
+/axiomatization <你的问题>          # 公理化思想
+/abstraction <你的问题>             # 抽象化思想
+/logic-deduction <你的问题>         # 逻辑演绎
+/modeling <你的问题>                # 建模思想
+/optimization <你的问题>            # 优化思想
+/probability-statistics <你的问题>  # 概率与统计
+/transformation <你的问题>          # 变换思想
+/symmetry-invariance <你的问题>     # 对称与不变性
+/induction-analogy <你的问题>       # 归纳与类比
+/algorithmic-thinking <你的问题>    # 算法与计算思想
+/information-theory <你的问题>      # 信息论思想
+/game-theory <你的问题>             # 博弈论思想
+/causal-inference <你的问题>        # 因果推断思想
+/topological-thinking <你的问题>    # 拓扑思想
+/discrete-combinatorial <你的问题>  # 离散与组合思想
+```
+
+### 语言切换
+
+Skill **自动检测用户语言**：中文消息返回中文输出，英文消息返回英文输出，无需手动切换。
+
+---
+
+## 使用场景示例
+
+### 自动触发（研究 / 算法 / GPU）
+
+工作区有 kernel 或注意力核心代码**且任务涉及设计/分析/迁移**时，激活器才会介入：给出问题诊断、可迁移的现代数学结构候选、武器路由、八维 GPU 筛选。纯工程任务（debug、代码审查、调参）不会触发。范例见 `skills/math-research-activator/SKILL.md` 的 **Tropical Sheaf Attention**：它是候选探索模板，不是预设成立的 benchmark 结论；必须经复杂度、显存、低精度稳定性和 kernel 可融合性验证后才能采用。
+
+### 手动触发（研究场景）
+
+**审查算法的理论假设**：
+```
+/axiomatization 这个注意力变体声称保持排列不变，但它的位置编码引入了隐含的全序假设，是否自洽？
+```
+
+**检查证明 / 不变量**：
+```
+/logic-deduction 这个收敛性证明从第 5 行到第 6 行的推导是否有跳跃？循环不变量成立吗？
+```
+
+**优化器 / 二阶法可行性**：
+```
+/optimization 想用 K-FAC 替换 Adam，但显存吃紧，这个二阶法在 GPU 上可行吗？有可改造的低秩近似吗？
+```
+
+**变换换表示**：
+```
+/transformation 这个自定义卷积算子能否等价改写成 GEMM 吃满 Tensor Core？逆变换数值稳定吗？
+```
+
+**等变 / 对称**：
+```
+/symmetry-invariance 设计一个 SO(3) 等变的特征提取层，群作用能张量化落到 GEMM 吗？
+```
+
+---
+
+## 三层渐进式披露
+
+| 层 | 内容 | 加载时机 |
+|----|------|---------|
+| 常驻触发层 | `skills/math-research-activator/SKILL.md` + 各武器简短 `description` | 自动 / 手动触发即载 |
+| 方法论层 | `references/agentic-workflow.md`（Human-in-the-Agent-Loop）、`references/gpu-friendly-math.md`（八维门） | 激活器按需引用 |
+| 书籍激活层 | `references/books/*.md` × 7（现代数学结构蒸馏稿） | 按问题类型按需加载 |
+
+**深挖回查**：蒸馏稿自足可用；需原文全保真且本机有 `math_book/<PDF>` 时，让 Agent 自动 `pdftotext` + grep + Read 命中页（不依赖预埋锚点）。PDF 绝不打包进 npm / git（版权 + 110MB）。
+
+---
+
+## 目录结构
+
+```
+math-skill/
+├── package.json             # v2.0.1，files[] 含 references/
+├── .gitignore / .npmignore  # 排除 math_book/ PDF
+├── commands/                # 手动 slash 命令入口（15 武器 + ask）
+├── skills/                  # 16 思想武器（15 武器 + math-research-activator）
+│   ├── math-research-activator/   # 自动触发入口
+│   └── <weapon>/{SKILL.md, original-texts.md}
+├── references/              # v2 新增：方法论 + 书籍激活层
+│   ├── agentic-workflow.md        # 协作方式
+│   ├── gpu-friendly-math.md       # 八维 GPU 验收门
+│   ├── inspiration.md             # 灵感来源
+│   └── books/                     # 7 本现代数学蒸馏稿
+├── agents/math-critic.md    # 审视 Agent（18 维，含 GPU + 现代数学激活）
+├── knowledge-base/overview.md
+├── tests/{validate.sh, validate.ps1}
+├── math_book/               # 本地 PDF（git/npm 忽略，不发布）
+└── README.md / LICENSE
+```
+
+---
+
+## 每个思想武器包含什么
+
+每个 `skills/*/SKILL.md`（v2 单一研究 / 算法路径）：
+
+1. **核心原则** + blockquote 子节 **数学形式化**（定义 / 定理 / 公式）
+2. **GPU 友好性（横切检查）**——本武器结构如何映射 GPU，过八维门
+3. **不适用场景** / **何时使用**（研究触发，含算法 / 算子设计用法）
+4. **方法流程**——单一科研路径（保留全部数学）
+5. **常见错误**——含一行 GPU 可算性
+6. **操作规程**——单一输出格式，末尾 `[GPU 可行性]` 项
+7. **与其他 skill 的关系**——含「现代数学激活」行，指向 `references/books/*`
+
+每个武器还配 `original-texts.md`（数学出处与经典文献）。审视产出可交 `agents/math-critic.md`（18 维，含 GPU 可行性 + 现代数学激活）二次把关。
+
+---
+
+## 数学知识体系
+
+`knowledge-base/overview.md` 提供数学知识地图：三大支柱（代数 / 几何 / 分析）、主要分支、知识层次（地基→代数→综合→前沿）、思维武器与数学分支映射。
+
+---
+
+## 推荐书目
+
+以下 7 本现代数学教材是本 skill 的「深层弹药库」。每本书配有蒸馏文件（`references/books/*.md`），已随 npm 包发布，自足可用。如需全保真原文查阅，可将对应 PDF 放入项目根目录的 `math_book/` 文件夹——Agent 会自动用 `pdftotext` + grep 定位原文页面。
+
+| # | 书名 | 作者 | 出版社 / 版次 | 年份 | ISBN | 蒸馏文件 | 本地 PDF |
+|---|------|------|-------------|------|------|---------|---------|
+| 1 | *Contemporary Abstract Algebra* | Joseph A. Gallian | Brooks/Cole, Cengage, 8th ed. | 2013 | 978-1-133-59971-5 | `abstract-algebra.md` | `Contemporary Abstract Algebra.pdf` |
+| 2 | *The Rising Sea: Foundations of Algebraic Geometry* | Ravi Vakil | Princeton University Press | 2025 | 978-0-691-26866-8 | `algebraic-geometry-rising-sea.md` | `The Rising Sea Foundations of Algebraic Geometry.pdf` |
+| 3 | *Manifolds and Differential Geometry* | Jeffrey M. Lee | AMS, Graduate Studies in Math Vol. 107 | 2009 | 978-0-8218-4815-9 | `differential-geometry.md` | `Manifolds and Differential Geometry.pdf` |
+| 4 | *Matrix Analysis* | Roger A. Horn, Charles R. Johnson | Cambridge University Press, 2nd ed. | 2013 | 978-0-521-83940-2 | `matrix-analysis.md` | `Matrix Analysis.pdf` |
+| 5 | *A micro Lie theory for state estimation in robotics* | Joan Solà, Jérémie Deray, Dinesh Atchuthan | arXiv:1812.01537v9 | 2021 | — | `micro-lie-theory.md` | `A micro Lie theory.pdf` |
+| 6 | *An Introduction to Optimization, With Applications to Machine Learning* | Edwin K. P. Chong, Wu-Sheng Lu, Stanisław H. Żak | John Wiley & Sons, 5th ed. | 2024 | 978-1-119-87763-9 | `optimization-ml.md` | `An Introduction to Optimization With Applications to Machine Learning.pdf` |
+| 7 | *Introduction to Smooth Manifolds* | John M. Lee | Springer, GTM 218, 2nd ed. | 2013 | 978-1-4419-9981-8 | `smooth-manifolds.md` | `Introduction to Smooth Manifolds.pdf` |
+
+**使用方式**：
+- 蒸馏文件（`references/books/*.md`）已随 npm 包发布，无需额外操作。
+- 如需全保真原文：将上表中对应 PDF 文件放入 `math_book/` 文件夹，Agent 会自动搜索定位。
+- PDF 绝不通过 npm / git 分发（版权原因），需自行获取。
+
+---
+
+## 变更日志
+
+### v2.1.0 — 完整双语支持
+- **全面双语**：所有 skill 文件均提供中英文独立版本——16 个 `SKILL.en.md`（思想武器）、16 个 `original-texts.en.md`（数学出处）、4 个 reference `.en.md`（方法论 + GPU 八维门）、`agents/math-critic.en.md`（18 维审视）、`knowledge-base/overview.en.md`（知识体系）。
+- **自动语言路由**：基于用户消息语言自动检测，路由到对应语言版本。**中文用户只加载中文件，英文用户只加载英文件**——不会消耗双倍 token。
+- **命令一致**：中英文用户使用完全相同的命令（`/ask`、`/optimization` 等），无需记忆不同入口。
+- **路由优化**：command 文件采用语言优先判断，直接路由到目标语言版本，避免多余文件加载。
+- **书目推荐**：README 新增「推荐书目」章节，列出 7 本现代数学教材的完整出版信息（作者、出版社、版次、ISBN）及 PDF 放置说明。
+- **蒸馏文件增强**：7 个 `references/books/*.md` 的「深挖入口」补充完整书目信息与 PDF 启用方式。
+- **语言切换升级**：从手动 `in English` 后缀改为自动检测用户消息语言，零配置。
+
+### v2.0.1
+- **收紧自动触发条件**：`math-research-activator` 从"环境信号 OR 对话信号任一命中即触发"改为"环境信号 AND 任务信号必须同时命中"（Gate 1 + Gate 2 双必要条件）。
+- **新增排除门（Gate 0）**：代码审查、debug、参数传递链核查、重构、调参、loss 实现修改等纯工程任务明确列入排除列表，优先级最高。
+- **环境信号收窄**：仅有 `model.py`、`trainer.py`、`config.json` 等常规 ML 工程文件不再构成环境信号；需要架构核心代码（attention/transformer/MoE、CUDA/Triton kernel）或研究笔记。
+- **description 字段更新**：显式标注"不触发于"场景列表，减少 AI 平台的 skill metadata 误匹配。
+
+### v2.0.0
+- 初始 v2 发布：16 思想武器、现代数学激活层、GPU 八维横切、渐进式披露。
+
+### v1.0.0
+- 初始发布：十五思想武器（公理化 / 抽象 / 逻辑演绎 / 建模 / 优化 / 概率统计 / 变换 / 对称与不变性 / 归纳与类比 / 算法与计算 / 信息论 / 博弈论 / 因果推断 / 拓扑 / 离散与组合）+ 科研与生活的双路径模式。
+- 十五个 `skills/*/SKILL.md`（含核心原则、不适用场景、方法流程、常见错误、操作规程）+ 对应 `original-texts.md`（数学出处与经典文献）。
+- 十五个手动触发的 slash 命令入口（`commands/*.md`）。
+- `knowledge-base/overview.md`（三大支柱 / 主要分支 / 知识层次 / 武器映射）。
+- `agents/math-critic.md` 审视 Agent。
+- 校验脚本 `tests/{validate.sh, validate.ps1}`。
+- 发布至 npm（`math-skill`），MIT 协议。
+
+---
+
+## 许可证
+
+MIT License. 详见 `LICENSE`。
+
+---
+
+## 贡献
+
+欢迎提交 Issue 和 Pull Request，与大家一起交流！
+
+---
+
+## Star History
+
+<a href="https://www.star-history.com/?repos=the-thinker0%2Fmath-skill&type=date&legend=top-left">
+ <picture>
+   <source media="(prefers-color-scheme: dark)" srcset="https://api.star-history.com/chart?repos=the-thinker0/math-skill&type=date&theme=dark&legend=top-left" />
+   <source media="(prefers-color-scheme: light)" srcset="https://api.star-history.com/chart?repos=the-thinker0/math-skill&type=date&legend=top-left" />
+   <img alt="Star History Chart" src="https://api.star-history.com/chart?repos=the-thinker0/math-skill&type=date&legend=top-left" />
+ </picture>
+</a>