math-skill 1.0.0 → 2.0.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.en-US.md +280 -0
- package/README.md +280 -278
- package/agents/math-critic.md +235 -203
- package/commands/abstraction.md +13 -34
- package/commands/algorithmic-thinking.md +13 -34
- package/commands/ask.md +20 -21
- package/commands/axiomatization.md +13 -34
- package/commands/causal-inference.md +13 -34
- package/commands/discrete-combinatorial.md +13 -34
- package/commands/game-theory.md +13 -34
- package/commands/induction-analogy.md +13 -34
- package/commands/information-theory.md +13 -34
- package/commands/logic-deduction.md +13 -34
- package/commands/modeling.md +13 -37
- package/commands/optimization.md +13 -33
- package/commands/probability-statistics.md +13 -36
- package/commands/symmetry-invariance.md +13 -34
- package/commands/topological-thinking.md +13 -33
- package/commands/transformation.md +13 -33
- package/knowledge-base/overview.md +228 -230
- package/package.json +71 -59
- package/references/agentic-workflow.md +53 -0
- package/references/books/abstract-algebra.md +120 -0
- package/references/books/algebraic-geometry-rising-sea.md +167 -0
- package/references/books/differential-geometry.md +136 -0
- package/references/books/matrix-analysis.md +142 -0
- package/references/books/micro-lie-theory.md +112 -0
- package/references/books/optimization-ml.md +160 -0
- package/references/books/smooth-manifolds.md +101 -0
- package/references/gpu-friendly-math.md +65 -0
- package/skills/abstraction/SKILL.md +119 -264
- package/skills/algorithmic-thinking/SKILL.md +136 -371
- package/skills/axiomatization/SKILL.md +149 -213
- package/skills/causal-inference/SKILL.md +149 -374
- package/skills/discrete-combinatorial/SKILL.md +129 -286
- package/skills/game-theory/SKILL.md +121 -318
- package/skills/induction-analogy/SKILL.md +150 -310
- package/skills/information-theory/SKILL.md +138 -242
- package/skills/logic-deduction/SKILL.md +133 -280
- package/skills/math-research-activator/SKILL.md +134 -0
- package/skills/{meta-selector → math-research-activator}/original-texts.md +104 -104
- package/skills/modeling/SKILL.md +137 -318
- package/skills/optimization/SKILL.md +133 -292
- package/skills/probability-statistics/SKILL.md +149 -312
- package/skills/symmetry-invariance/SKILL.md +137 -358
- package/skills/topological-thinking/SKILL.md +126 -273
- package/skills/transformation/SKILL.md +122 -264
- package/docs/CLAUDE.md +0 -187
- package/skills/meta-selector/SKILL.md +0 -188
- /package/{docs → references}/inspiration.md +0 -0
|
@@ -1,34 +1,13 @@
|
|
|
1
|
-
---
|
|
2
|
-
name: causal-inference
|
|
3
|
-
description: |
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
15
|
-
|
|
16
|
-
当前问题:
|
|
17
|
-
$ARGUMENTS
|
|
18
|
-
|
|
19
|
-
科研模式输出要求:
|
|
20
|
-
1. 一句话概述因果问题(区分"看到"vs"做了"vs"想象")。
|
|
21
|
-
2. 画出因果 DAG 并标注因果假设依据。
|
|
22
|
-
3. 识别混淆变量(列表标注可观测/不可观测)。
|
|
23
|
-
4. 选择识别策略(后门/前门/do算子/IV/DD)并计算 P(y|do(x))。
|
|
24
|
-
5. 进行反事实分析(对关键个体或子群体)。
|
|
25
|
-
6. 说明验证方法(RCT/自然实验/IV/DD)。
|
|
26
|
-
7. 进行敏感性分析(评估因果结论对未观测混淆的脆弱性)。
|
|
27
|
-
|
|
28
|
-
生活模式输出要求:
|
|
29
|
-
1. **[因果链]:[分析]** — X真的导致Y吗?还是它们只是恰好同时出现?画出因果链。
|
|
30
|
-
2. **[隐藏因素]:[列表]** — 有没有同时影响X和Y的隐藏因素。
|
|
31
|
-
3. **[真实效果]:[判断]** — 如果我真的做了X,结果会怎样(而不是"看到X时结果如何")。
|
|
32
|
-
4. **[反事实]:[思考]** — 如果当初没做X/做了X,结果会怎样。
|
|
33
|
-
5. **[验证方式]:[建议]** — 如何验证这个因果判断是否可靠。
|
|
34
|
-
6. **[行动建议]:[步骤]** — 在当前因果判断下最务实的行动方案。
|
|
1
|
+
---
|
|
2
|
+
name: causal-inference
|
|
3
|
+
description: |
|
|
4
|
+
处理相关≠因果、干预/反事实/do-演算/因果图建模/混淆变量识别/效应评估,或为可解释性/分布外泛化/DGP 建模引入显式因果假设时调用。路由到 ../skills/causal-inference/SKILL.md。
|
|
5
|
+
English: Trigger when handling correlation≠causation, intervention/counterfactual/do-calculus/causal DAG/confounder/effect estimation, or introducing explicit causal assumptions for interpretability/OOD generalization/DGP modeling. Routes to ../skills/causal-inference/SKILL.md.
|
|
6
|
+
---
|
|
7
|
+
|
|
8
|
+
读取并遵循 `../skills/causal-inference/SKILL.md`,按其操作规程输出(用于算法/算子/GPU 设计时含 [GPU 可行性] 项)。
|
|
9
|
+
|
|
10
|
+
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
11
|
+
|
|
12
|
+
当前问题:
|
|
13
|
+
$ARGUMENTS
|
|
@@ -1,34 +1,13 @@
|
|
|
1
|
-
---
|
|
2
|
-
name: discrete-combinatorial
|
|
3
|
-
description: |
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
15
|
-
|
|
16
|
-
当前问题:
|
|
17
|
-
$ARGUMENTS
|
|
18
|
-
|
|
19
|
-
科研模式输出要求:
|
|
20
|
-
1. 一句话概述问题及其离散结构与计数类型。
|
|
21
|
-
2. 说明选择的基本计数原理(乘法/加法/鸽巢/容斥)及理由。
|
|
22
|
-
3. 给出生成函数构造(如适用)及其代数性质。
|
|
23
|
-
4. 给出图结构分析(如涉及)及关键属性。
|
|
24
|
-
5. 给出递推关系与封闭公式(如适用)。
|
|
25
|
-
6. 用小案例(n=0,1,2,3)验证公式,对比手动枚举与公式计算结果。
|
|
26
|
-
7. 如果信息不足,先指出缺口,再基于现有事实分析。
|
|
27
|
-
|
|
28
|
-
生活模式输出要求:
|
|
29
|
-
1. **[问题类型]:[分类]** — 有限选择/排列/分配/关系。
|
|
30
|
-
2. **[可能数量]:[粗略估计]** — 选项很多还是只有几种。
|
|
31
|
-
3. **[系统性枚举]:[方法]** — 有没有遗漏。
|
|
32
|
-
4. **[关系结构]:[分析]** — 事物之间的连接方式。
|
|
33
|
-
5. **[规律发现]:[模式]** — 能否从已知推导未知。
|
|
34
|
-
6. **[行动建议]:[步骤]** — 基于枚举和规律的结论。
|
|
1
|
+
---
|
|
2
|
+
name: discrete-combinatorial
|
|
3
|
+
description: |
|
|
4
|
+
需计数/枚举/发现有限结构规律、处理图论/组合结构/生成函数/递推关系,或为稀疏/路由/拓扑结构设计组合方案时调用。路由到 ../skills/discrete-combinatorial/SKILL.md。
|
|
5
|
+
English: Trigger when needing to count/enumerate/find patterns in finite structures, handling graph theory/combinatorial structures/generating functions/recurrences, or designing combinatorial schemes for sparse/routing/topological structures. Routes to ../skills/discrete-combinatorial/SKILL.md.
|
|
6
|
+
---
|
|
7
|
+
|
|
8
|
+
读取并遵循 `../skills/discrete-combinatorial/SKILL.md`,按其操作规程输出(用于算法/算子/GPU 设计时含 [GPU 可行性] 项)。
|
|
9
|
+
|
|
10
|
+
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
11
|
+
|
|
12
|
+
当前问题:
|
|
13
|
+
$ARGUMENTS
|
package/commands/game-theory.md
CHANGED
|
@@ -1,34 +1,13 @@
|
|
|
1
|
-
---
|
|
2
|
-
name: game-theory
|
|
3
|
-
description: |
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
15
|
-
|
|
16
|
-
当前问题:
|
|
17
|
-
$ARGUMENTS
|
|
18
|
-
|
|
19
|
-
科研模式输出要求:
|
|
20
|
-
1. 一句话概述博弈问题(参与者、策略、核心冲突)。
|
|
21
|
-
2. 明确参与者列表、策略集和支付函数/矩阵(标注信息结构)。
|
|
22
|
-
3. 分析占优策略并消去劣策略,缩小策略空间。
|
|
23
|
-
4. 计算纳什均衡(纯策略和/或混合策略),标注多重均衡及其帕累托排序。
|
|
24
|
-
5. 分类博弈类型并选择对应分析工具(零和/序列/合作/重复)。
|
|
25
|
-
6. 检查均衡稳定性(颤抖手完美/演化稳定/偏离路径激励)。
|
|
26
|
-
7. 若均衡不理想,提出机制设计建议(改变支付/增加规则/引入声誉/拍卖设计)。
|
|
27
|
-
|
|
28
|
-
生活模式输出要求:
|
|
29
|
-
1. **[参与者]:[谁在影响你的决策]** — 列出所有相关方及其可能的行动。
|
|
30
|
-
2. **[得失]:[各方的利益]** — 不同选择下每个人的得失。
|
|
31
|
-
3. **[稳定状态]:[分析]** — 是否存在没人愿意单方面改变的策略组合?标注多重稳定状态。
|
|
32
|
-
4. **[互动类型]:[竞争/合作/谈判]** — 分类互动结构,选择对应策略。
|
|
33
|
-
5. **[稳定性]:[评估]** — 这个稳定状态是否对小错误鲁棒?能否在重复互动中持续?
|
|
34
|
-
6. **[规则建议]:[改进]** — 如果当前规则下结局不理想,如何改变规则让好结局更自然。
|
|
1
|
+
---
|
|
2
|
+
name: game-theory
|
|
3
|
+
description: |
|
|
4
|
+
策略取决于他人选择、需计算纳什均衡/分析博弈/做机制设计,或为多智能体/对抗训练/路由博弈设计策略时调用。路由到 ../skills/game-theory/SKILL.md。
|
|
5
|
+
English: Trigger when optimal strategy depends on others' choices, needing Nash equilibrium/game analysis/mechanism design, or designing strategies for multi-agent/adversarial training/routing games. Routes to ../skills/game-theory/SKILL.md.
|
|
6
|
+
---
|
|
7
|
+
|
|
8
|
+
读取并遵循 `../skills/game-theory/SKILL.md`,按其操作规程输出(用于算法/算子/GPU 设计时含 [GPU 可行性] 项)。
|
|
9
|
+
|
|
10
|
+
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
11
|
+
|
|
12
|
+
当前问题:
|
|
13
|
+
$ARGUMENTS
|
|
@@ -1,34 +1,13 @@
|
|
|
1
|
-
---
|
|
2
|
-
name: induction-analogy
|
|
3
|
-
description: |
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
15
|
-
|
|
16
|
-
当前问题:
|
|
17
|
-
$ARGUMENTS
|
|
18
|
-
|
|
19
|
-
科研模式输出要求:
|
|
20
|
-
1. **案例清单**:列出所有观察到的具体案例 `[案例N]: [描述] [关键特征]`,确保覆盖边界值与极端值
|
|
21
|
-
2. **模式识别**:`[共同模式]: [描述] [出现频率: N/M] [差异模式]: [描述]`,注意是否有 Borwein 型突然破坏
|
|
22
|
-
3. **假说表述**:用精确语言表述假说 `[假说]: [内容] [类型: 强/弱/条件]`,优先尝试强假说
|
|
23
|
-
4. **反例搜索**:`[反例]: [找到/未找到]。如找到: [描述],假说修正: [新表述]`
|
|
24
|
-
5. **证明方向**:如适用,选择归纳变体 `[归纳类型: 弱/强/结构/超限]` 并给出证明思路;说明为何选择该变体
|
|
25
|
-
6. **类比映射**:`[源领域A] → [目标领域B]: [对应关系] [结构相似度: X/Y] [有效性: 高/中/低]`,逐项检验组件、关系、操作
|
|
26
|
-
7. **假说修正**:如需修正,记录 `[修正方式: 怪物排除/引理吸收/策略修订] [修正后假说]`
|
|
27
|
-
|
|
28
|
-
生活模式输出要求:
|
|
29
|
-
1. **[观察案例]:[列表]** —— 具体观察到什么
|
|
30
|
-
2. **[共同模式]:[发现]** —— 案例之间的共同点
|
|
31
|
-
3. **[初步猜测]:[提出]** —— 基于模式提出什么假设
|
|
32
|
-
4. **[反例检查]:[验证]** —— 有没有反例推翻猜测
|
|
33
|
-
5. **[经验迁移]:[评估]** —— 能否将经验迁移到其他领域(核心结构是否相似)
|
|
34
|
-
6. **[修正方向]:[建议]** —— 如果有反例,如何修正猜测
|
|
1
|
+
---
|
|
2
|
+
name: induction-analogy
|
|
3
|
+
description: |
|
|
4
|
+
从数据找规律、做数学归纳证明(弱/强/结构/超限)、跨域类比迁移结构,或为算法/算子设计借鉴其他领域结构时调用。路由到 ../skills/induction-analogy/SKILL.md。
|
|
5
|
+
English: Trigger when finding patterns from data, doing mathematical induction proofs (weak/strong/structural/transfinite), transferring structures across domains by analogy, or borrowing structures from other fields for algorithm/operator design. Routes to ../skills/induction-analogy/SKILL.md.
|
|
6
|
+
---
|
|
7
|
+
|
|
8
|
+
读取并遵循 `../skills/induction-analogy/SKILL.md`,按其操作规程输出(用于算法/算子/GPU 设计时含 [GPU 可行性] 项)。
|
|
9
|
+
|
|
10
|
+
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
11
|
+
|
|
12
|
+
当前问题:
|
|
13
|
+
$ARGUMENTS
|
|
@@ -1,34 +1,13 @@
|
|
|
1
|
-
---
|
|
2
|
-
name: information-theory
|
|
3
|
-
description: |
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
15
|
-
|
|
16
|
-
当前问题:
|
|
17
|
-
$ARGUMENTS
|
|
18
|
-
|
|
19
|
-
科研模式输出要求:
|
|
20
|
-
1. 一句话概述问题。
|
|
21
|
-
2. [信息源]: [描述] H(X) = [值]——定义随机变量 X,计算其熵,量化当前不确定性。
|
|
22
|
-
3. [信息增益]: I(X;Y) = [值]——计算互信息,识别最有价值的观察 Y。
|
|
23
|
-
4. [编码策略]: [选择]——信源编码(压缩)或信道编码(纠错),说明逼近哪种极限。
|
|
24
|
-
5. [信道容量]: C = [值]——计算信道容量,比较传输速率 R 与 C。
|
|
25
|
-
6. [信息准则]: [AIC/BIC/KL/MDL]——说明选择的信息准则及理由。
|
|
26
|
-
7. [最优决策]: [说明]——基于信息增益最大化或 KL 散度最小化的决策建议。
|
|
27
|
-
|
|
28
|
-
生活模式输出要求:
|
|
29
|
-
1. **[核心不确定性]:[描述]** — 你最想搞清楚什么。
|
|
30
|
-
2. **[信息价值排序]:[列表]** — 哪些信息最能减少不确定性,价值高低排序。
|
|
31
|
-
3. **[信息瓶颈]:[识别]** — 信息传递或获取的限制在哪。
|
|
32
|
-
4. **[精炼传递]:[建议]** — 如何用最精炼的方式聚焦关键信息。
|
|
33
|
-
5. **[最优解释]:[判断]** — 哪个解释最简洁且最有力。
|
|
34
|
-
6. **[行动建议]:[步骤]** — 在当前信息水平下最务实的行动方案。
|
|
1
|
+
---
|
|
2
|
+
name: information-theory
|
|
3
|
+
description: |
|
|
4
|
+
以"信息=不确定性的减少"度量信息价值、计算熵/互信息/KL 散度/信道容量,或为压缩/量化/路由设计信息准则时调用。路由到 ../skills/information-theory/SKILL.md。
|
|
5
|
+
English: Trigger when measuring information value as "information = reduction of uncertainty," computing entropy/mutual information/KL divergence/channel capacity, or designing information criteria for compression/quantization/routing. Routes to ../skills/information-theory/SKILL.md.
|
|
6
|
+
---
|
|
7
|
+
|
|
8
|
+
读取并遵循 `../skills/information-theory/SKILL.md`,按其操作规程输出(用于算法/算子/GPU 设计时含 [GPU 可行性] 项)。
|
|
9
|
+
|
|
10
|
+
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
11
|
+
|
|
12
|
+
当前问题:
|
|
13
|
+
$ARGUMENTS
|
|
@@ -1,34 +1,13 @@
|
|
|
1
|
-
---
|
|
2
|
-
name: logic-deduction
|
|
3
|
-
description: |
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
15
|
-
|
|
16
|
-
当前问题:
|
|
17
|
-
$ARGUMENTS
|
|
18
|
-
|
|
19
|
-
科研模式输出要求:
|
|
20
|
-
1. **[前提清单]** — 列出所有前提,标注 `[已证]` / `[公理]` / `[假设]` / `[经验]`,并标注逻辑层次 `[命题]` / `[谓词]`
|
|
21
|
-
2. **[推理链重构]** — 用形式逻辑语言重述推理过程,每一步标注使用的推理规则(含 UI/UG/EI/EG 等谓词规则)
|
|
22
|
-
3. **[谬误检查]** — 逐一检查命题逻辑与谓词逻辑谬误,标注 `✅ 无此谬误` 或 `❌ 发现 [具体谬误]`
|
|
23
|
-
4. **[量词结构分析]** — 若有 ∀ / ∃ 嵌套,标注量词顺序与逻辑强度 `∀∃(弱)` / `∃∀(强)`
|
|
24
|
-
5. **[完整性评估]** — 推理链是否完整?标注 `✅ 完整` 或 `⚠️ 跳跃:[说明]`
|
|
25
|
-
6. **[结论强度]** — 标注 `[必然]` / `[或然]` / `[假设性]`,并标注适用范围 `[全称]` / `[存在]` / `[条件]`
|
|
26
|
-
7. **[证明策略评估]** — 当前论证使用了何种证明策略?是否有更优策略?标注 `✅ 策略适当` 或 `💡 建议:[更优策略]`
|
|
27
|
-
|
|
28
|
-
生活模式输出要求:
|
|
29
|
-
1. **[前提]:[列出]** — 论证基于什么事实或假设?哪些是确认的?哪些是未说出的?
|
|
30
|
-
2. **[推理步骤]:[逐步]** — 从前提到结论每一步是否合理?有没有跳跃?
|
|
31
|
-
3. **[谬误检查]:[排查]** — 有没有偷换概念、循环论证、以偏概全、因果倒置等?
|
|
32
|
-
4. **[量词分析]:[区分]** — 是"所有"还是"有些"?"大多数人"≠"所有人"
|
|
33
|
-
5. **[结论强度]:[评估]** — 结论是确定性的还是倾向性的?是"必然"还是"可能"?
|
|
34
|
-
6. **[论证改进]:[建议]** — 如何让论证更有说服力?哪些步骤需要补强?
|
|
1
|
+
---
|
|
2
|
+
name: logic-deduction
|
|
3
|
+
description: |
|
|
4
|
+
检查证明严谨性、做形式/谓词逻辑分析、发现逻辑漏洞,或为算法正确性与不变量做形式推导与证明验证时调用。路由到 ../skills/logic-deduction/SKILL.md。
|
|
5
|
+
English: Trigger when checking proof rigor, doing formal/predicate logic analysis, finding logical loopholes, or doing formal derivation and proof verification for algorithm correctness and invariants. Routes to ../skills/logic-deduction/SKILL.md.
|
|
6
|
+
---
|
|
7
|
+
|
|
8
|
+
读取并遵循 `../skills/logic-deduction/SKILL.md`,按其操作规程输出(用于算法/算子/GPU 设计时含 [GPU 可行性] 项)。
|
|
9
|
+
|
|
10
|
+
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
11
|
+
|
|
12
|
+
当前问题:
|
|
13
|
+
$ARGUMENTS
|
package/commands/modeling.md
CHANGED
|
@@ -1,37 +1,13 @@
|
|
|
1
|
-
---
|
|
2
|
-
name: modeling
|
|
3
|
-
description: |
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
15
|
-
|
|
16
|
-
当前问题:
|
|
17
|
-
$ARGUMENTS
|
|
18
|
-
|
|
19
|
-
科研模式输出要求:
|
|
20
|
-
1. **问题定义**:用一句话描述要解决的现实问题
|
|
21
|
-
2. **假设清单**:列出 `[假设N]: [内容](合理性:高/中/低)`
|
|
22
|
-
3. **量纲检查**:对关键物理量做量纲分析,构造无量纲 Pi 项
|
|
23
|
-
4. **模型选择**:说明使用的数学框架及理由 `[框架]: [选择] 因为 [理由]`
|
|
24
|
-
5. **变量定义**:定义所有变量、参数及其物理意义
|
|
25
|
-
6. **求解方案**:说明求解方法(解析/数值/定性)
|
|
26
|
-
7. **敏感度分析**:识别敏感参数,评估其对输出的影响
|
|
27
|
-
8. **模型选择准则**:若有候选模型,用 AIC/BIC/CV 比较并选出最优
|
|
28
|
-
9. **验证计划**:如何检验模型的有效性?
|
|
29
|
-
10. **适用范围**:明确标注模型在什么条件下有效、什么条件下失效
|
|
30
|
-
|
|
31
|
-
生活模式输出要求:
|
|
32
|
-
1. **[核心问题]:[描述]** — 你到底要解决什么问题
|
|
33
|
-
2. **[关键因素]:[列表]** — 哪些因素必须考虑,哪些可以忽略
|
|
34
|
-
3. **[因素关系]:[框架]** — 什么影响什么,影响有多大
|
|
35
|
-
4. **[初步结论]:[推导]** — 在框架下最可能的结论
|
|
36
|
-
5. **[现实检验]:[验证]** — 结论和现实是否一致
|
|
37
|
-
6. **[适用范围]:[边界]** — 结论在什么条件下有效
|
|
1
|
+
---
|
|
2
|
+
name: modeling
|
|
3
|
+
description: |
|
|
4
|
+
将现实问题转化为数学问题(现实→数学→解释)、构建预测/解释模型、做量纲分析与模型选择,或为算法/算子建立可计算模型时调用。路由到 ../skills/modeling/SKILL.md。
|
|
5
|
+
English: Trigger when translating real-world problems into math, building predictive/explanatory models, doing dimensional analysis and model selection, or building computable models for algorithms/operators. Routes to ../skills/modeling/SKILL.md.
|
|
6
|
+
---
|
|
7
|
+
|
|
8
|
+
读取并遵循 `../skills/modeling/SKILL.md`,按其操作规程输出(用于算法/算子/GPU 设计时含 [GPU 可行性] 项)。
|
|
9
|
+
|
|
10
|
+
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
11
|
+
|
|
12
|
+
当前问题:
|
|
13
|
+
$ARGUMENTS
|
package/commands/optimization.md
CHANGED
|
@@ -1,33 +1,13 @@
|
|
|
1
|
-
---
|
|
2
|
-
name: optimization
|
|
3
|
-
description: |
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
15
|
-
|
|
16
|
-
当前问题:
|
|
17
|
-
$ARGUMENTS
|
|
18
|
-
|
|
19
|
-
科研模式输出要求:
|
|
20
|
-
1. 一句话概述决策问题。
|
|
21
|
-
2. 明确目标函数和约束条件(标注硬约束/软约束)。
|
|
22
|
-
3. 分析可行域和可能的最优解。
|
|
23
|
-
4. 进行灵敏度分析(影子价格)。
|
|
24
|
-
5. 给出明确的行动建议。
|
|
25
|
-
6. 如果信息不足,先指出缺口,再基于现有事实分析。
|
|
26
|
-
|
|
27
|
-
生活模式输出要求:
|
|
28
|
-
1. 一句话说清"我最想要什么"。
|
|
29
|
-
2. 列出限制条件(标注不可逾越/可以协商)。
|
|
30
|
-
3. 在这些限制下,实际有哪些选择。
|
|
31
|
-
4. 哪个限制一旦放宽收益最大。
|
|
32
|
-
5. 给出明确的行动建议。
|
|
33
|
-
6. 如果信息不足,先指出缺口,再基于现有事实分析。
|
|
1
|
+
---
|
|
2
|
+
name: optimization
|
|
3
|
+
description: |
|
|
4
|
+
问题涉及约束下取舍与目标极值、需用拉格朗日/KKT/对偶分析,或为算法/算子/训练设计选择优化方法时调用。路由到 ../skills/optimization/SKILL.md。
|
|
5
|
+
English: Trigger when a problem involves trade-offs and extrema under constraints, needs Lagrangian/KKT/duality analysis, or chooses optimization methods for algorithm/operator/training design. Routes to ../skills/optimization/SKILL.md.
|
|
6
|
+
---
|
|
7
|
+
|
|
8
|
+
读取并遵循 `../skills/optimization/SKILL.md`,按其操作规程输出(用于算法/算子/GPU 设计时含 [GPU 可行性] 项)。
|
|
9
|
+
|
|
10
|
+
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
11
|
+
|
|
12
|
+
当前问题:
|
|
13
|
+
$ARGUMENTS
|
|
@@ -1,36 +1,13 @@
|
|
|
1
|
-
---
|
|
2
|
-
name: probability-statistics
|
|
3
|
-
description: |
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
15
|
-
|
|
16
|
-
当前问题:
|
|
17
|
-
$ARGUMENTS
|
|
18
|
-
|
|
19
|
-
科研模式输出要求:
|
|
20
|
-
1. **随机变量定义**:明确 `[变量]: [含义] [类型: 离散/连续]`,指定样本空间 Ω 和事件域 𝔽
|
|
21
|
-
2. **概率模型**:说明使用的分布及理由 `[分布]: [选择] 因为 [理由]`,注明自由度 df 或关键参数
|
|
22
|
-
3. **数据评估**:`[样本量]: N, [偏差检查]: [结果], [质量]: [评估], [收集方式]: [随机/方便]`
|
|
23
|
-
4. **统计推断结果**:`[估计值]: [θ̂], [置信区间]: [a, b], [p-value]: [值], [估计方法]: [MLE/Bayesian]`
|
|
24
|
-
5. **回归建模(如适用)**:`[模型]: [线性/逻辑], [系数]: [β̂], [选择准则]: [AIC/BIC值], [R²]: [值]`
|
|
25
|
-
6. **实验设计评估(如适用)**:`[设计]: [随机化/区组/因子], [功效]: [Power值], [最小样本量]: [n]`
|
|
26
|
-
7. **因果评估(如适用)**:`[DAG]: [路径图], [混淆变量]: [列表], [调整集]: [S], [因果效应]: [P(Y|do(X))]`
|
|
27
|
-
8. **偏差检查**:逐一检查常见统计谬误,标注 `✅ 无此问题` 或 `⚠️ 发现 [具体问题]`
|
|
28
|
-
9. **效应量与不确定性**:报告效应量 Cohen's d / odds ratio 及其置信区间,注明统计功效和剩余不确定性
|
|
29
|
-
|
|
30
|
-
生活模式输出要求:
|
|
31
|
-
1. **[不确定性]:[描述]** — 你面对的不确定性是什么
|
|
32
|
-
2. **[已知信息]:[列表]** — 你对这件事了解多少,信息质量如何
|
|
33
|
-
3. **[大概率结论]:[判断]** — 基于现有信息最可能的结论是什么
|
|
34
|
-
4. **[不确定性余量]:[评估]** — 结论有多可靠,还剩多少不确定
|
|
35
|
-
5. **[验证方式]:[建议]** — 如何进一步验证这个结论
|
|
36
|
-
6. **[行动建议]:[步骤]** — 在当前不确定性下最务实的行动方案
|
|
1
|
+
---
|
|
2
|
+
name: probability-statistics
|
|
3
|
+
description: |
|
|
4
|
+
量化不确定性、做贝叶斯推断/假设检验/回归建模/实验设计,或为随机算法/采样/量化/训练动力学设计概率机制时调用。路由到 ../skills/probability-statistics/SKILL.md。
|
|
5
|
+
English: Trigger when quantifying uncertainty, doing Bayesian inference/hypothesis testing/regression/experimental design, or designing probabilistic mechanisms for random algorithms/sampling/quantization/training dynamics. Routes to ../skills/probability-statistics/SKILL.md.
|
|
6
|
+
---
|
|
7
|
+
|
|
8
|
+
读取并遵循 `../skills/probability-statistics/SKILL.md`,按其操作规程输出(用于算法/算子/GPU 设计时含 [GPU 可行性] 项)。
|
|
9
|
+
|
|
10
|
+
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
11
|
+
|
|
12
|
+
当前问题:
|
|
13
|
+
$ARGUMENTS
|
|
@@ -1,34 +1,13 @@
|
|
|
1
|
-
---
|
|
2
|
-
name: symmetry-invariance
|
|
3
|
-
description: |
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
15
|
-
|
|
16
|
-
当前问题:
|
|
17
|
-
$ARGUMENTS
|
|
18
|
-
|
|
19
|
-
科研模式输出要求:
|
|
20
|
-
1. **变换清单**:列出所有可识别的变换 `[变换N]: [描述] [类型: 空间/时间/代数/逻辑/规范]`,组织为候选群,标注验证了哪些群公理(封闭性✓/✗, 结合律✓/✗, 单位元✓/✗, 逆元✓/✗)
|
|
21
|
-
2. **不变量发现**:对每种群作用,标注 `[在群G下]: [不变量Y] 保持不变`;若为有限群,写出 Reynolds 算子形式 R(f)=1/|G| Σ f(g·x);用 Burnside 引理计数轨道 |X/G|=1/|G| Σ |Fix(g)|
|
|
22
|
-
3. **简化策略**:说明如何利用不变量简化问题 `[利用不变量Y]: [如何简化]`;标注是否在商空间 X/G 或基本域 D 上工作,估计维度缩减量
|
|
23
|
-
4. **对称分类**:给出轨道-稳定子分析 `[对象x]: |O(x)|=[值], |Stab(x)|=[值]`,基于轨道的分类结果,评估不变量是否完备
|
|
24
|
-
5. **对称破缺检查**:`[对称性Z]: [存在/破缺],破缺方式: [自发/显式]`;若为连续破缺 G→H,标注 Goldstone 模数 dim(G/H);标注破缺后的有效对称群 H
|
|
25
|
-
6. **代数/物理对称**:若涉及方程求解,标注 Galois 群 Gal(f) 及其可解性(可解/不可解)和求解链结构;若涉及物理系统,标注 Noether 对应:`[对称群G]: [守恒律]`
|
|
26
|
-
7. **结论**:明确写出利用对称性/不变性得出的结论,包括:发现了哪些不变量,实现了多少维度缩减,分类结果是什么
|
|
27
|
-
|
|
28
|
-
生活模式输出要求:
|
|
29
|
-
1. **[变化模式]:[描述]** — 什么在变化,变化的规律是什么(循环往复?线性推进?随机波动?)
|
|
30
|
-
2. **[不变量]:[发现]** — 不管怎么变,什么始终不变(找到变化中恒定的核心)
|
|
31
|
-
3. **[简化策略]:[方法]** — 如何利用不变量简化问题(从关注细节升级为关注核心模式)
|
|
32
|
-
4. **[本质分类]:[判断]** — 表面不同的东西本质是否同类(关键不变量是否相同?)
|
|
33
|
-
5. **[规律破缺]:[检查]** — 规律是否被打破?打破的方式是什么(打破可能比规律本身更重要)
|
|
34
|
-
6. **[行动建议]:[步骤]** — 基于不变量和规律破缺的结论,明确下一步行动
|
|
1
|
+
---
|
|
2
|
+
name: symmetry-invariance
|
|
3
|
+
description: |
|
|
4
|
+
做群论/不变量/Noether 定理/对称性破缺分析,或为算法设计等变性/守恒量/不变结构时调用。路由到 ../skills/symmetry-invariance/SKILL.md。
|
|
5
|
+
English: Trigger when doing group theory/invariant/Noether's theorem/symmetry-breaking analysis, or designing equivariance/conservation/invariant structures for algorithms. Routes to ../skills/symmetry-invariance/SKILL.md.
|
|
6
|
+
---
|
|
7
|
+
|
|
8
|
+
读取并遵循 `../skills/symmetry-invariance/SKILL.md`,按其操作规程输出(用于算法/算子/GPU 设计时含 [GPU 可行性] 项)。
|
|
9
|
+
|
|
10
|
+
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
11
|
+
|
|
12
|
+
当前问题:
|
|
13
|
+
$ARGUMENTS
|
|
@@ -1,33 +1,13 @@
|
|
|
1
|
-
---
|
|
2
|
-
name: topological-thinking
|
|
3
|
-
description: |
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
15
|
-
|
|
16
|
-
当前问题:
|
|
17
|
-
$ARGUMENTS
|
|
18
|
-
|
|
19
|
-
科研模式输出要求:
|
|
20
|
-
1. 一句话概述问题的拓扑本质。
|
|
21
|
-
2. 识别连续性要求(同胚/同伦/微分同胚),明确什么可变、什么必须固定。
|
|
22
|
-
3. 列出所有可计算的拓扑不变量(χ、π₁、β_n、连通性、紧致性)。
|
|
23
|
-
4. 用不变量对研究对象进行分类。
|
|
24
|
-
5. 构造拓扑模型(单纯复形/滤流/持续同调/网络图)并验证拓扑等价。
|
|
25
|
-
6. 基于拓扑性质给出推理结论。
|
|
26
|
-
|
|
27
|
-
生活模式输出要求:
|
|
28
|
-
1. **[什么可变/什么不变]:[区分]** — 精确数值不重要,什么核心特征必须保持。
|
|
29
|
-
2. **[不变特征]:[发现]** — 不管怎么变化,什么始终存在。
|
|
30
|
-
3. **[本质分类]:[判断]** — 看似不同的东西核心是否同类。
|
|
31
|
-
4. **[连接结构]:[分析]** — 事物之间的连通、断裂、循环、空洞。
|
|
32
|
-
5. **[结构可靠性]:[验证]** — 识别的结构是否真的可靠。
|
|
33
|
-
6. **[行动建议]:[步骤]** — 基于结构洞察的结论。
|
|
1
|
+
---
|
|
2
|
+
name: topological-thinking
|
|
3
|
+
description: |
|
|
4
|
+
做拓扑数据分析/持续同调/同调与基本群计算,或为算法设计连通性/鲁棒性/上同调一致性判据时调用。路由到 ../skills/topological-thinking/SKILL.md。
|
|
5
|
+
English: Trigger when doing topological data analysis/persistent homology/homology and fundamental group computation, or designing connectivity/robustness/cohomology-consistency criteria for algorithms. Routes to ../skills/topological-thinking/SKILL.md.
|
|
6
|
+
---
|
|
7
|
+
|
|
8
|
+
读取并遵循 `../skills/topological-thinking/SKILL.md`,按其操作规程输出(用于算法/算子/GPU 设计时含 [GPU 可行性] 项)。
|
|
9
|
+
|
|
10
|
+
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
11
|
+
|
|
12
|
+
当前问题:
|
|
13
|
+
$ARGUMENTS
|
|
@@ -1,33 +1,13 @@
|
|
|
1
|
-
---
|
|
2
|
-
name: transformation
|
|
3
|
-
description: |
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
15
|
-
|
|
16
|
-
当前问题:
|
|
17
|
-
$ARGUMENTS
|
|
18
|
-
|
|
19
|
-
科研模式输出要求:
|
|
20
|
-
1. 一句话概述问题。
|
|
21
|
-
2. 分析当前表示下困难的根源。
|
|
22
|
-
3. 选择合适的变换并说明理由。
|
|
23
|
-
4. 描述变换后的问题形式。
|
|
24
|
-
5. 在新表示下给出解法。
|
|
25
|
-
6. 逆变换回原空间并验证等价性。
|
|
26
|
-
|
|
27
|
-
生活模式输出要求:
|
|
28
|
-
1. **[当前困难]:[描述]** — 当前视角下问题的核心困难是什么。
|
|
29
|
-
2. **[新视角]:[切换方向]** — 选择一个不同的视角(时间→频率、局部→整体、表面→本质等)。
|
|
30
|
-
3. **[新视角下的分析]:[洞察]** — 在新视角下问题呈现什么新特征。
|
|
31
|
-
4. **[视角有效性]:[条件]** — 这个新视角在什么条件下才有效。
|
|
32
|
-
5. **[回到原问题]:[翻译]** — 把新视角的结论翻译回原问题语言。
|
|
33
|
-
6. **[行动建议]:[具体步骤]** — 明确写出"接下来我将……"。
|
|
1
|
+
---
|
|
2
|
+
name: transformation
|
|
3
|
+
description: |
|
|
4
|
+
问题在当前表示下难处理、需通过数学变换转为等价简单问题,或为算法/算子设计寻找更 GPU 友好的等价表示时调用。路由到 ../skills/transformation/SKILL.md。
|
|
5
|
+
English: Trigger when a problem is intractable in its current form and needs a transform into an equivalent simpler problem, or when finding a more GPU-friendly equivalent representation for algorithm/operator design. Routes to ../skills/transformation/SKILL.md.
|
|
6
|
+
---
|
|
7
|
+
|
|
8
|
+
读取并遵循 `../skills/transformation/SKILL.md`,按其操作规程输出(用于算法/算子/GPU 设计时含 [GPU 可行性] 项)。
|
|
9
|
+
|
|
10
|
+
如果输入包含 "in English",请使用英文输出;否则使用中文输出。
|
|
11
|
+
|
|
12
|
+
当前问题:
|
|
13
|
+
$ARGUMENTS
|