math-skill 3.3.0 → 3.3.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 +32 -28
- package/README.md +39 -35
- package/SKILL.en.md +1 -1
- package/SKILL.md +1 -1
- package/commands/ask.en.md +3 -2
- package/commands/ask.md +3 -2
- package/package.json +6 -35
- package/references/inspiration.en.md +1 -1
- package/references/inspiration.md +1 -1
- package/skills/math-research-activator/SKILL.en.md +1 -1
- package/skills/math-research-activator/SKILL.md +1 -1
- package/skills/math-research-activator/original-texts.en.md +6 -4
- package/skills/math-research-activator/original-texts.md +2 -0
package/README.en-US.md
CHANGED
|
@@ -16,9 +16,7 @@
|
|
|
16
16
|
|
|
17
17
|
## 📢 Community Announcements
|
|
18
18
|
|
|
19
|
-
> **
|
|
20
|
-
|
|
21
|
-
> **v3.3.0**: canonical entry structure, minimum-context routing, AI/cryptography isolation, mathematical and cryptographic corrections, relevance-driven GPU review, and complete bilingual pairing. Root `SKILL.md` is authoritative, and all three cryptography distillations now have dedicated English versions. See the changelog.
|
|
19
|
+
> **v3.3.1 released**: documentation-discipline patch — completed the README directory tree, corrected the workflow example, slimmed the changelog, and unified entry phrasing and counting caliber. v3.3.0 delivered routing convergence and technical corrections; this release fixes the documentation-consistency issues it left behind. See the changelog. Feedback and edge-case reports are welcome via GitHub Issues or Discussions.
|
|
22
20
|
|
|
23
21
|
---
|
|
24
22
|
|
|
@@ -53,8 +51,6 @@ Design Translation: How do these tools become model structures / losses / operat
|
|
|
53
51
|
Critic: Mathematically sound? Engineering-feasible?
|
|
54
52
|
```
|
|
55
53
|
|
|
56
|
-
> **v3.2.1 Design Philosophy Refinement**: This skill is a mathematical-thinking activator and anchor, not a knowledge encyclopedia. `knowledge-base/` anchors describe mathematical structures (manifolds, spectra, sheaf cohomology, pseudorandom function families, etc.), not specific AI architectures (diffusion, SSM, etc.); `design-patterns/` is a paradigmatic demonstration of "math→AI module" translation, not a copy-paste template library. This ensures the skill retains guiding capacity for any research direction (diffusion, SSM, MoE, alignment, etc.) and does not become outdated as concrete architectures evolve.
|
|
57
|
-
|
|
58
54
|
---
|
|
59
55
|
|
|
60
56
|
## Three-Layer Orthogonal Architecture
|
|
@@ -70,7 +66,7 @@ Supporting layers:
|
|
|
70
66
|
- `references/gpu-friendly-math.en.md`: on-demand GPU checks with N/A for irrelevant dimensions
|
|
71
67
|
- `agents/math-critic.en.md`: 19-dimension deep critic loaded only for comprehensive or paper-grade review
|
|
72
68
|
|
|
73
|
-
### Domain Router
|
|
69
|
+
### Domain Router
|
|
74
70
|
|
|
75
71
|
AI research and cryptography **share** mathematical foundations (probability/information/algebra/matrix/spectrum/optimization) but each has **exclusive** specialty layers. After intent diagnosis and before lens invocation, Domain Router determines the problem's domain and decides which anchors/books/design patterns to load, avoiding cross-domain pollution and token waste.
|
|
76
72
|
|
|
@@ -178,25 +174,24 @@ Step 1 Diagnosis: Scenario B (Mechanism Design)
|
|
|
178
174
|
Problem type: sequence memory compression + information preservation + long-range structure
|
|
179
175
|
Core tension: compress token count vs. preserve long-range dependencies
|
|
180
176
|
|
|
181
|
-
Step 2 Lens Selection:
|
|
177
|
+
Step 2 Lens Selection (default ≤2):
|
|
182
178
|
1. Spectral (preserve dominant subspace)
|
|
183
|
-
2. Information
|
|
184
|
-
|
|
179
|
+
2. Probabilistic/Information (preserve mutual-information-sensitive states)
|
|
180
|
+
(Add Topological only when the user stresses connectivity/bridge structure; not in default budget)
|
|
185
181
|
|
|
186
182
|
Step 3 Activation Anchors:
|
|
187
183
|
→ low-rank-approximation (Matrix Analysis anchor)
|
|
188
|
-
→ leverage-score-selection (Design Pattern: compression)
|
|
189
184
|
→ information-bottleneck (Probability & Information anchor)
|
|
185
|
+
→ leverage-score-selection or low-rank-kv-cache (0–2 compression design patterns)
|
|
190
186
|
If existing anchors are insufficient, enter Knowledge Gap Protocol to generate a temporary knowledge card.
|
|
191
187
|
|
|
192
188
|
Step 4 Design Translation:
|
|
193
|
-
|
|
194
|
-
|
|
195
|
-
Candidate C: Topology-Preserving Cache (graph bridge node retention)
|
|
189
|
+
Primary: Spectral KV Compression (low-rank + leverage score)
|
|
190
|
+
Alternative (key difference only): Information-Preserving Cache (relies on future query estimation)
|
|
196
191
|
|
|
197
|
-
Step 5
|
|
198
|
-
|
|
199
|
-
|
|
192
|
+
Step 5 Compact Review (ordinary tasks do not load the full critic):
|
|
193
|
+
Primary is most GPU-friendly; alternative needs future query estimation, higher uncertainty
|
|
194
|
+
Conclusion: prioritize primary; add a lightweight gate only if query-sensitive retention is needed
|
|
200
195
|
```
|
|
201
196
|
|
|
202
197
|
---
|
|
@@ -208,14 +203,16 @@ math-skill/
|
|
|
208
203
|
├── skills/
|
|
209
204
|
│ └── math-research-activator/ # Orchestrator: intent diagnosis + routing
|
|
210
205
|
├── lenses/ # 15 thinking lenses (reasoning methodology)
|
|
211
|
-
├── knowledge-base/ # Activation anchors by math domain, not a closed encyclopedia
|
|
206
|
+
├── knowledge-base/ # Activation anchors by math domain, not a closed encyclopedia (37 cards total)
|
|
212
207
|
│ ├── matrix-analysis/ # Matrix analysis (5 cards)
|
|
213
208
|
│ ├── optimization/ # Optimization (5 cards)
|
|
214
209
|
│ ├── differential-geometry/ # Differential geometry (6 cards)
|
|
215
210
|
│ ├── lie-theory/ # Lie theory (5 cards)
|
|
216
211
|
│ ├── topology/ # Topology (3 cards)
|
|
217
212
|
│ ├── probability/ # Probability & information (5 cards)
|
|
218
|
-
│
|
|
213
|
+
│ ├── information-geometry/ # Information geometry (2 cards)
|
|
214
|
+
│ ├── algebraic-geometry/ # Algebraic geometry (2 cards)
|
|
215
|
+
│ └── cryptography/ # Cryptography (4 cards, domain-exclusive)
|
|
219
216
|
├── design-patterns/ # Design translation (by AI component)
|
|
220
217
|
│ ├── attention/ # Attention mechanisms (5 patterns)
|
|
221
218
|
│ ├── loss/ # Loss functions (5 patterns)
|
|
@@ -226,7 +223,9 @@ math-skill/
|
|
|
226
223
|
│ ├── books/ # 10 book distillations (7 AI + 3 crypto)
|
|
227
224
|
│ ├── gpu-friendly-math.en.md # GPU checklist (applicable dimensions only)
|
|
228
225
|
│ ├── agentic-workflow.en.md # Collaboration style
|
|
229
|
-
│
|
|
226
|
+
│ ├── inspiration.en.md # Inspiration
|
|
227
|
+
│ ├── musings.en.md # Musings (philosophical reflections, not auto-loaded)
|
|
228
|
+
│ └── skill-index.en.md # Index (on-demand directory, not loaded by default)
|
|
230
229
|
├── agents/math-critic.en.md # Math-engineering dual critic (19 dims, with crypto security review)
|
|
231
230
|
├── commands/ask.en.md # /ask manual entry
|
|
232
231
|
├── math_book/ # Local PDFs (not published)
|
|
@@ -249,7 +248,7 @@ math-skill/
|
|
|
249
248
|
| 6 | *An Introduction to Optimization, With Applications to ML* | Chong, Lu, Żak | John Wiley & Sons, 5th ed. | 2024 | 978-1-119-87763-9 | `optimization-ml.en.md` |
|
|
250
249
|
| 7 | *Introduction to Smooth Manifolds* | John M. Lee | Springer, GTM 218, 2nd ed. | 2013 | 978-1-4419-9981-8 | `smooth-manifolds.en.md` |
|
|
251
250
|
|
|
252
|
-
### Cryptography Direction (3 books
|
|
251
|
+
### Cryptography Direction (3 books)
|
|
253
252
|
|
|
254
253
|
| # | Title | Author(s) | Publisher / Edition | Year | ISBN | Distillation |
|
|
255
254
|
|---|-------|-----------|-------------------|------|------|-------------|
|
|
@@ -265,6 +264,14 @@ Distillation files ship with the npm package. For full-fidelity lookups, place P
|
|
|
265
264
|
|
|
266
265
|
## Changelog
|
|
267
266
|
|
|
267
|
+
### v3.3.1 — Documentation-Discipline Patch
|
|
268
|
+
|
|
269
|
+
- **README directory tree completed**: added `algebraic-geometry/`, `cryptography/`, `musings.md`, `skill-index.md`; card total aligned to 37
|
|
270
|
+
- **README workflow example corrected**: lenses default ≤2, design patterns separated from anchors, Step 5 changed to compact review — consistent with `SKILL.md` budgets
|
|
271
|
+
- **Changelog slimmed**: v1/v2 compressed to one-line summaries; removed stale "37 .en.md" / "16 thinking weapons" numbers
|
|
272
|
+
- **Entry phrasing & counting caliber unified**: three entries use consistent "when to load .en" wording; repo-wide count standardized as 33 shared + 4 crypto = 37
|
|
273
|
+
- **Metadata & hygiene**: `package.json` description/keywords trimmed; `CLAUDE.md` dir tree and Node.js note fixed; `validate.sh` gained 20 documentation-discipline checks; `original-texts` gained purpose note and v2 terminology fix
|
|
274
|
+
|
|
268
275
|
### v3.3.0 — Routing Convergence, Bilingual Completion & Technical Corrections
|
|
269
276
|
|
|
270
277
|
- **Canonical entry and compatibility structure**: root `SKILL.md` / `SKILL.en.md` are now complete, self-contained normative entries. `skills/math-research-activator/SKILL*.md` are thin forwarders that preserve Claude/plugin layouts without allowing two full instruction copies to drift. `commands/ask*`, the critic, indexes, and overview now reference the root entries.
|
|
@@ -341,22 +348,19 @@ Distillation files ship with the npm package. For full-fidelity lookups, place P
|
|
|
341
348
|
**Architecture overhaul**: from "thinking weapon arsenal" to "math general staff" — three-layer orthogonal architecture:
|
|
342
349
|
|
|
343
350
|
- **Thinking Lenses** (15): slimmed down from v2's "thinking weapons" — reasoning methodology only, no concrete math knowledge mixed in
|
|
344
|
-
- **Knowledge Base** (31 cards): concrete math tools organized by domain, with definitions/formulas/AI design translation/GPU feasibility
|
|
351
|
+
- **Knowledge Base** (31 cards, expanded to 37 in v3.2): concrete math tools organized by domain, with definitions/formulas/AI design translation/GPU feasibility
|
|
345
352
|
- **Design Translation Layer** (new): the bridge from math to AI modules, organized by AI component (attention/loss/routing/representation/compression)
|
|
346
353
|
- **Activator rewrite**: from environment-signal matching to intent diagnosis (5 scenarios: analysis/design/query/verification/engineering)
|
|
347
354
|
- **Knowledge activation protocol**: fixed output format for knowledge cards (minimal definition → formula → applicable problems → AI translation → engineering feasibility → risks)
|
|
348
355
|
|
|
349
356
|
### v2.1.0 — Full Bilingual Support
|
|
350
|
-
-
|
|
351
|
-
|
|
352
|
-
### v2.0.1
|
|
353
|
-
- Tightened auto-trigger conditions, added exclusion gate, narrowed environment signals
|
|
357
|
+
- Full bilingual support, auto language routing, same commands for both languages, no double token cost
|
|
354
358
|
|
|
355
|
-
### v2.0.0
|
|
356
|
-
- 16 thinking weapons, modern math activation layer, GPU 8-D cross-cut
|
|
359
|
+
### v2.0.0–v2.0.1
|
|
360
|
+
- 16 thinking weapons (v2 naming, replaced by 15 lenses in v3), modern math activation layer, GPU 8-D cross-cut; tightened auto-trigger conditions and exclusion gate
|
|
357
361
|
|
|
358
362
|
### v1.0.0
|
|
359
|
-
- Initial release:
|
|
363
|
+
- Initial release: early "thinking-weapon arsenal + dual research/life paths" form (restructured into three-layer architecture in v3.0.0)
|
|
360
364
|
|
|
361
365
|
---
|
|
362
366
|
|
package/README.md
CHANGED
|
@@ -16,9 +16,7 @@
|
|
|
16
16
|
|
|
17
17
|
## 📢 社区公告
|
|
18
18
|
|
|
19
|
-
>
|
|
20
|
-
|
|
21
|
-
> **v3.3.0**:完成入口结构、最小上下文路由、AI/密码学领域隔离、数学与密码学准确性、GPU 审查和全量中英配对升级。根 `SKILL.md` 是权威入口,三份密码学书稿已提供独立英文版。详见变更日志。
|
|
19
|
+
> **v3.3.1 已发布**:文档纪律修复版——补全 README 目录树遗漏域、纠正工作流范例、瘦身 changelog、统一入口话术与计数口径。v3.3.0 完成路由收敛与专业性校正;本版修复其遗留的文档一致性问题。详见变更日志。欢迎通过 GitHub Issues 或 Discussions 反馈使用体验与边界场景。
|
|
22
20
|
|
|
23
21
|
---
|
|
24
22
|
|
|
@@ -53,8 +51,6 @@ Sophus Lie 打造"屠龙刀"的故事告诉我们:为解微分方程发明的
|
|
|
53
51
|
批判器:数学上站得住、工程上跑得动吗?
|
|
54
52
|
```
|
|
55
53
|
|
|
56
|
-
> **v3.2.1 设计哲学修正**:本 skill 是数学思考的 activator 与锚点,不是知识百科。`knowledge-base/` 的锚点描述数学结构(流形、谱、层上同调、伪随机函数族等),而非具体 AI 架构(diffusion、SSM 等);`design-patterns/` 是"数学→AI 模块"的翻译范式示范,不是可复制的模板库。这保证了 skill 对任意研究方向(扩散、SSM、MoE、对齐等)都有引导能力,而不会随具体架构过时。
|
|
57
|
-
|
|
58
54
|
---
|
|
59
55
|
|
|
60
56
|
## 三层正交架构
|
|
@@ -70,7 +66,7 @@ Sophus Lie 打造"屠龙刀"的故事告诉我们:为解微分方程发明的
|
|
|
70
66
|
- `references/gpu-friendly-math.md`:按需 GPU 检查;不适用维度标 N/A
|
|
71
67
|
- `agents/math-critic.md`:仅全面/论文级审查按需加载的 19 维深度批判器
|
|
72
68
|
|
|
73
|
-
### Domain Router
|
|
69
|
+
### Domain Router
|
|
74
70
|
|
|
75
71
|
AI 研究与密码学**共享**数学根基(概率/信息/代数/矩阵/谱/优化),但**独有**各自专业层。Domain Router 在意图诊断后、调用透镜前,先判定问题归属,决定加载哪些锚点/书稿/设计模式,避免跨域污染与 token 浪费。
|
|
76
72
|
|
|
@@ -178,25 +174,24 @@ git clone https://github.com/the-thinker0/math-skill.git ~/.codex/skills/math-re
|
|
|
178
174
|
问题类型:序列记忆压缩 + 信息保留 + 长程结构
|
|
179
175
|
核心张力:压缩 token 数量 vs 不破坏长期依赖
|
|
180
176
|
|
|
181
|
-
第二步
|
|
177
|
+
第二步 透镜选择(默认 ≤2):
|
|
182
178
|
1. 谱分解(保留主导子空间)
|
|
183
|
-
2.
|
|
184
|
-
|
|
179
|
+
2. 概率/信息(保留互信息敏感状态)
|
|
180
|
+
(拓扑仅在用户强调连通/桥接结构时再加,不计入默认预算)
|
|
185
181
|
|
|
186
182
|
第三步 激活锚点:
|
|
187
183
|
→ low-rank-approximation(矩阵分析锚点)
|
|
188
|
-
→ leverage-score-selection(压缩设计模式)
|
|
189
184
|
→ information-bottleneck(概率与信息锚点)
|
|
185
|
+
→ leverage-score-selection 或 low-rank-kv-cache(0–2 个压缩设计模式)
|
|
190
186
|
若现有锚点不足,进入 Knowledge Gap Protocol 生成临时知识卡。
|
|
191
187
|
|
|
192
188
|
第四步 设计翻译:
|
|
193
|
-
|
|
194
|
-
|
|
195
|
-
候选 C:Topology-Preserving Cache(图桥接节点保留)
|
|
189
|
+
主方案:Spectral KV Compression(低秩 + leverage score)
|
|
190
|
+
备选仅写关键差异:Information-Preserving Cache(依赖未来 query 估计)
|
|
196
191
|
|
|
197
|
-
第五步
|
|
198
|
-
|
|
199
|
-
|
|
192
|
+
第五步 紧凑审查(普通任务不加载完整 critic):
|
|
193
|
+
主方案最 GPU 友好;备选需估计未来 query,不确定性更高
|
|
194
|
+
结论:优先主方案;需要 query 敏感保留时再加轻量 gate
|
|
200
195
|
```
|
|
201
196
|
|
|
202
197
|
---
|
|
@@ -208,14 +203,16 @@ math-skill/
|
|
|
208
203
|
├── skills/
|
|
209
204
|
│ └── math-research-activator/ # 总控:意图诊断 + 路由
|
|
210
205
|
├── lenses/ # 15 个思想透镜(推理方法论)
|
|
211
|
-
├── knowledge-base/ #
|
|
206
|
+
├── knowledge-base/ # 激活锚点(按数学领域组织,非封闭百科;共 37 卡)
|
|
212
207
|
│ ├── matrix-analysis/ # 矩阵分析(5 卡片)
|
|
213
208
|
│ ├── optimization/ # 最优化(5 卡片)
|
|
214
209
|
│ ├── differential-geometry/ # 微分几何(6 卡片)
|
|
215
210
|
│ ├── lie-theory/ # 李理论(5 卡片)
|
|
216
211
|
│ ├── topology/ # 拓扑(3 卡片)
|
|
217
212
|
│ ├── probability/ # 概率与信息(5 卡片)
|
|
218
|
-
│
|
|
213
|
+
│ ├── information-geometry/ # 信息几何(2 卡片)
|
|
214
|
+
│ ├── algebraic-geometry/ # 代数几何(2 卡片)
|
|
215
|
+
│ └── cryptography/ # 密码学(4 卡片,域独有)
|
|
219
216
|
├── design-patterns/ # 设计翻译层(按 AI 组件组织)
|
|
220
217
|
│ ├── attention/ # 注意力机制(5 模式)
|
|
221
218
|
│ ├── loss/ # 损失函数(5 模式)
|
|
@@ -226,7 +223,9 @@ math-skill/
|
|
|
226
223
|
│ ├── books/ # 10 本书蒸馏稿(7 AI + 3 密码学)
|
|
227
224
|
│ ├── gpu-friendly-math.md # GPU 维度清单(仅评相关项)
|
|
228
225
|
│ ├── agentic-workflow.md # 协作方式
|
|
229
|
-
│
|
|
226
|
+
│ ├── inspiration.md # 灵感来源
|
|
227
|
+
│ ├── musings.md # 杂谈(哲学感悟,不自动加载)
|
|
228
|
+
│ └── skill-index.md # 索引(按需目录,不默认加载)
|
|
230
229
|
├── agents/math-critic.md # 数学-工程双重批判器(19 维,含密码学安全审视)
|
|
231
230
|
├── commands/ask.md # /ask 手动入口
|
|
232
231
|
├── math_book/ # 本地 PDF(不发布)
|
|
@@ -241,15 +240,15 @@ math-skill/
|
|
|
241
240
|
|
|
242
241
|
| # | 书名 | 作者 | 出版社 / 版次 | 年份 | ISBN | 蒸馏文件 |
|
|
243
242
|
|---|------|------|-------------|------|------|---------|
|
|
244
|
-
| 1 | *Contemporary Abstract Algebra* | Joseph A. Gallian | Brooks/Cole, Cengage, 8th ed. | 2013 | 978-1-133-59971-5 | `abstract-algebra.md` |
|
|
245
|
-
| 2 | *The Rising Sea: Foundations of Algebraic Geometry* | Ravi Vakil | Princeton University Press | 2025 | 978-0-691-26866-8 | `algebraic-geometry-rising-sea.md` |
|
|
246
|
-
| 3 | *Manifolds and Differential Geometry* | Jeffrey M. Lee | AMS, Graduate Studies in Math Vol. 107 | 2009 | 978-0-8218-4815-9 | `differential-geometry.md` |
|
|
247
|
-
| 4 | *Matrix Analysis* | Roger A. Horn, Charles R. Johnson | Cambridge University Press, 2nd ed. | 2013 | 978-0-521-83940-2 | `matrix-analysis.md` |
|
|
248
|
-
| 5 | *A micro Lie theory for state estimation in robotics* | Joan Solà et al. | arXiv:1812.01537v9 | 2021 | — | `micro-lie-theory.md` |
|
|
249
|
-
| 6 | *An Introduction to Optimization, With Applications to ML* | Chong, Lu, Żak | John Wiley & Sons, 5th ed. | 2024 | 978-1-119-87763-9 | `optimization-ml.md` |
|
|
250
|
-
| 7 | *Introduction to Smooth Manifolds* | John M. Lee | Springer, GTM 218, 2nd ed. | 2013 | 978-1-4419-9981-8 | `smooth-manifolds.md` |
|
|
243
|
+
| 1 | *Contemporary Abstract Algebra* | Joseph A. Gallian | Brooks/Cole, Cengage, 8th ed. | 2013 | 978-1-133-59971-5 | `abstract-algebra.md` / `.en.md` |
|
|
244
|
+
| 2 | *The Rising Sea: Foundations of Algebraic Geometry* | Ravi Vakil | Princeton University Press | 2025 | 978-0-691-26866-8 | `algebraic-geometry-rising-sea.md` / `.en.md` |
|
|
245
|
+
| 3 | *Manifolds and Differential Geometry* | Jeffrey M. Lee | AMS, Graduate Studies in Math Vol. 107 | 2009 | 978-0-8218-4815-9 | `differential-geometry.md` / `.en.md` |
|
|
246
|
+
| 4 | *Matrix Analysis* | Roger A. Horn, Charles R. Johnson | Cambridge University Press, 2nd ed. | 2013 | 978-0-521-83940-2 | `matrix-analysis.md` / `.en.md` |
|
|
247
|
+
| 5 | *A micro Lie theory for state estimation in robotics* | Joan Solà et al. | arXiv:1812.01537v9 | 2021 | — | `micro-lie-theory.md` / `.en.md` |
|
|
248
|
+
| 6 | *An Introduction to Optimization, With Applications to ML* | Chong, Lu, Żak | John Wiley & Sons, 5th ed. | 2024 | 978-1-119-87763-9 | `optimization-ml.md` / `.en.md` |
|
|
249
|
+
| 7 | *Introduction to Smooth Manifolds* | John M. Lee | Springer, GTM 218, 2nd ed. | 2013 | 978-1-4419-9981-8 | `smooth-manifolds.md` / `.en.md` |
|
|
251
250
|
|
|
252
|
-
### 密码学方向(3
|
|
251
|
+
### 密码学方向(3 本)
|
|
253
252
|
|
|
254
253
|
| # | 书名 | 作者 | 出版社 / 版次 | 年份 | ISBN | 蒸馏文件 |
|
|
255
254
|
|---|------|------|-------------|------|------|---------|
|
|
@@ -265,6 +264,14 @@ math-skill/
|
|
|
265
264
|
|
|
266
265
|
## 变更日志
|
|
267
266
|
|
|
267
|
+
### v3.3.1 — 文档纪律修复版
|
|
268
|
+
|
|
269
|
+
- **README 目录树补全**:补入 `algebraic-geometry/`、`cryptography/`、`musings.md`、`skill-index.md`,卡片总数标注对齐 37
|
|
270
|
+
- **README 工作流范例纠正**:透镜默认 ≤2、设计模式与锚点分离、第五步改为紧凑审查,与 `SKILL.md` 预算一致
|
|
271
|
+
- **changelog 瘦身**:v1/v2 压缩为一行摘要,移除"37 个 .en.md""16 思想武器"等失真数字
|
|
272
|
+
- **入口话术与计数口径统一**:三处入口对"何时读 `.en` 版"措辞统一;全仓计数统一为 33 共用 + 4 密码 = 37
|
|
273
|
+
- **元数据与工程卫生**:`package.json` description/keywords 瘦身;`CLAUDE.md` 目录树与 Node.js 依赖表述修正;`validate.sh` 新增 20 条文档纪律结构性检查;`original-texts` 加用途标注并修正 v2 旧术语
|
|
274
|
+
|
|
268
275
|
### v3.3.0 — 路由收敛、双语补全与专业性校正
|
|
269
276
|
|
|
270
277
|
- **权威入口与兼容结构**:新增根 `SKILL.md` / `SKILL.en.md` 作为完整、自足的规范入口;`skills/math-research-activator/SKILL*.md` 缩为薄转发层,继续兼容 Claude/plugin 目录布局,同时避免两份完整正文长期漂移。`commands/ask*`、critic、索引和 overview 的引用均改到根入口。
|
|
@@ -341,22 +348,19 @@ math-skill/
|
|
|
341
348
|
**架构重构**:从"思想武器库"升级为"数学参谋部"——三层正交架构:
|
|
342
349
|
|
|
343
350
|
- **思想透镜**(15 个):从 v2 的"思想武器"瘦身而来,只保留推理方法论,不再混入具体数学知识
|
|
344
|
-
- **知识库**(31
|
|
351
|
+
- **知识库**(31 张卡片,v3.2 起扩展至 37):按数学领域组织的具体工具卡片,含定义/公式/AI 设计翻译/GPU 可行性
|
|
345
352
|
- **设计翻译层**(新增):数学→AI 模块的桥梁,按 AI 组件(attention/loss/routing/representation/compression)组织
|
|
346
353
|
- **Activator 重写**:从环境信号匹配改为意图诊断(5 场景:分析/设计/查询/验证/工程)
|
|
347
354
|
- **知识激活协议**:知识卡片固定输出格式(最小定义→公式→适用问题→AI 翻译→工程可行性→风险)
|
|
348
355
|
|
|
349
356
|
### v2.1.0 — 完整双语支持
|
|
350
|
-
-
|
|
351
|
-
|
|
352
|
-
### v2.0.1
|
|
353
|
-
- 收紧自动触发条件、新增排除门、环境信号收窄
|
|
357
|
+
- 全面双语、自动语言路由、命令一致、token 保障
|
|
354
358
|
|
|
355
|
-
### v2.0.0
|
|
356
|
-
- 16
|
|
359
|
+
### v2.0.0–v2.0.1
|
|
360
|
+
- 16 思想武器(v2 旧名,v3 起改为 15 透镜)、现代数学激活层、GPU 八维横切;收紧自动触发条件与排除门
|
|
357
361
|
|
|
358
362
|
### v1.0.0
|
|
359
|
-
-
|
|
363
|
+
- 初始发布:早期"思想武器库 + 科研与生活双路径"形态(已在 v3.0.0 重构为三层架构)
|
|
360
364
|
|
|
361
365
|
---
|
|
362
366
|
|
package/SKILL.en.md
CHANGED
|
@@ -7,7 +7,7 @@ description: |
|
|
|
7
7
|
|
|
8
8
|
# Mathematical Research Router
|
|
9
9
|
|
|
10
|
-
|
|
10
|
+
This is the English compatibility entry, loaded only via explicit English command paths (e.g. `/ask` English routing). `SKILL.md` is the canonical Codex entry and can answer in either language. Answer in the user's primary language; technical terms, code, paths, and formulas do not determine language. Do not load both entries simultaneously.
|
|
11
11
|
|
|
12
12
|
## Objective and hard constraints
|
|
13
13
|
|
package/SKILL.md
CHANGED
package/commands/ask.en.md
CHANGED
|
@@ -8,8 +8,9 @@ description: |
|
|
|
8
8
|
|
|
9
9
|
Determine primary language: judge by sentence frame, verbs, mood particles. AI/math/engineering terms (attention, loss, routing, etc.) do not count as language signals. Code, paths, formulas do not count. When CN/EN ratio is close, follow the previous turn's language; default to Chinese if no context. Explicit "in English/in Chinese" takes priority.
|
|
10
10
|
|
|
11
|
-
- Chinese primary → load `../SKILL.md`
|
|
12
|
-
- English primary → load `../SKILL.en.md`
|
|
11
|
+
- Chinese primary → load `../SKILL.md` (canonical entry, can answer in either language)
|
|
12
|
+
- English primary → load `../SKILL.en.md` (English compatibility entry)
|
|
13
|
+
- Do not load both simultaneously
|
|
13
14
|
|
|
14
15
|
Current question:
|
|
15
16
|
$ARGUMENTS
|
package/commands/ask.md
CHANGED
|
@@ -9,8 +9,9 @@ description: |
|
|
|
9
9
|
|
|
10
10
|
判定主语言:看句式、动词、语气词的主框架。AI/数学/工程术语(attention、loss、routing 等)不计入语言判定。代码、路径、公式不计入。中英比例接近时沿用上一轮语言,无上下文默认中文。显式"用英文/用中文"优先。
|
|
11
11
|
|
|
12
|
-
- 中文主语言 → 读取 `../SKILL.md
|
|
13
|
-
- 英文主语言 → 读取 `../SKILL.en.md
|
|
12
|
+
- 中文主语言 → 读取 `../SKILL.md`(权威入口,可中英作答)
|
|
13
|
+
- 英文主语言 → 读取 `../SKILL.en.md`(英文兼容入口)
|
|
14
|
+
- 两者不同时加载
|
|
14
15
|
|
|
15
16
|
当前问题:
|
|
16
17
|
$ARGUMENTS
|
package/package.json
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "math-skill",
|
|
3
|
-
"version": "3.3.
|
|
4
|
-
"description": "面向 AI
|
|
3
|
+
"version": "3.3.1",
|
|
4
|
+
"description": "面向 AI 架构创新与密码学研究的数学研究路由器:三层正交架构(15 透镜 / 37 锚点 / 22 设计原型)+ Domain Router + Knowledge Gap Protocol。Math research router for AI and cryptography: three-layer architecture with progressive loading and domain isolation.",
|
|
5
5
|
"keywords": [
|
|
6
6
|
"math",
|
|
7
7
|
"mathematics",
|
|
@@ -10,49 +10,20 @@
|
|
|
10
10
|
"claude",
|
|
11
11
|
"cursor",
|
|
12
12
|
"ai",
|
|
13
|
-
"axiomatization",
|
|
14
|
-
"abstraction",
|
|
15
|
-
"logic",
|
|
16
|
-
"modeling",
|
|
17
13
|
"optimization",
|
|
18
14
|
"probability",
|
|
19
|
-
"transformation",
|
|
20
15
|
"symmetry",
|
|
21
|
-
"
|
|
22
|
-
"algorithm",
|
|
16
|
+
"topology",
|
|
23
17
|
"information-theory",
|
|
24
18
|
"game-theory",
|
|
25
|
-
"causal-inference",
|
|
26
|
-
"topology",
|
|
27
|
-
"combinatorics",
|
|
28
|
-
"discrete-math",
|
|
29
|
-
"math-research-activator",
|
|
30
|
-
"ask",
|
|
31
|
-
"tool-selection",
|
|
32
|
-
"algebraic-geometry",
|
|
33
19
|
"differential-geometry",
|
|
34
20
|
"lie-theory",
|
|
35
|
-
"manifolds",
|
|
36
|
-
"category-theory",
|
|
37
21
|
"matrix-analysis",
|
|
38
|
-
"gpu",
|
|
39
|
-
"tensor-core",
|
|
40
|
-
"gpu-friendly",
|
|
41
|
-
"agentic-workflow",
|
|
42
|
-
"auto-trigger",
|
|
43
|
-
"co-design",
|
|
44
|
-
"research",
|
|
45
|
-
"bilingual",
|
|
46
|
-
"lenses",
|
|
47
|
-
"knowledge-base",
|
|
48
|
-
"design-patterns",
|
|
49
|
-
"math-research-os",
|
|
50
22
|
"cryptography",
|
|
51
23
|
"crypto",
|
|
52
|
-
"
|
|
53
|
-
"
|
|
54
|
-
"
|
|
55
|
-
"domain-router"
|
|
24
|
+
"gpu-friendly",
|
|
25
|
+
"research",
|
|
26
|
+
"bilingual"
|
|
56
27
|
],
|
|
57
28
|
"license": "MIT",
|
|
58
29
|
"author": "the-thinker0",
|
|
@@ -34,4 +34,4 @@ The inspiration for this project stems precisely from this insight:
|
|
|
34
34
|
|
|
35
35
|
---
|
|
36
36
|
|
|
37
|
-
> **The "Life as an Optimization Problem" section below has been moved to `musings.en.md`.**
|
|
37
|
+
> **The "Life as an Optimization Problem" section below has been moved to `musings.en.md`.** For philosophical reflections, see `musings.en.md`.
|
|
@@ -7,4 +7,4 @@ description: |
|
|
|
7
7
|
|
|
8
8
|
# Compatibility Entry
|
|
9
9
|
|
|
10
|
-
This is the Claude/plugin-style compatibility entry. Read and follow `../../SKILL.en.md` completely; the root file is the single authoritative
|
|
10
|
+
This is the Claude/plugin-style compatibility entry. Read and follow `../../SKILL.en.md` completely; the root file is the single authoritative body and all resource paths resolve from the repository root. Do not load both the Chinese and English entries simultaneously.
|
|
@@ -1,5 +1,7 @@
|
|
|
1
1
|
# Intellectual Sources for the Math Research OS
|
|
2
2
|
|
|
3
|
+
> **Note**: This file is design-rationale background (Pólya/Newell-Simon/Schoenfeld intellectual sources), not a runtime resource — the Domain Router does not auto-load it. Consult it only to understand the skill's design motivation.
|
|
4
|
+
|
|
3
5
|
## The Tradition of Problem Classification and Tool Selection
|
|
4
6
|
|
|
5
7
|
### Pólya's Problem-Solving Heuristics
|
|
@@ -40,8 +42,8 @@ Core insight: **the nature of the problem space determines the choice of search
|
|
|
40
42
|
|
|
41
43
|
Alan H. Schoenfeld, in *Mathematical Problem Solving* (1985), analyzed why students fail to solve problems even when they possess the necessary tools — the critical deficiency is not a lack of tools but a lack of **strategic decision-making ability**:
|
|
42
44
|
|
|
43
|
-
- **Resources**: Knowledge, skills, tools — corresponding to our 15
|
|
44
|
-
- **Heuristics**: How to use resources — corresponding to the methodological workflow for each
|
|
45
|
+
- **Resources**: Knowledge, skills, tools — corresponding to our 15 thinking lenses
|
|
46
|
+
- **Heuristics**: How to use resources — corresponding to the methodological workflow for each thinking lens
|
|
45
47
|
- **Control**: When to use which resource — corresponding to the function of the activator
|
|
46
48
|
- **Belief Systems**: Beliefs about mathematics and about oneself — affecting whether the appropriate tool is selected
|
|
47
49
|
|
|
@@ -65,7 +67,7 @@ Characteristics of wicked problems:
|
|
|
65
67
|
- Solutions are not right or wrong, only better or worse
|
|
66
68
|
- Span multiple domains
|
|
67
69
|
|
|
68
|
-
Core insight: **wicked problems require combinations of cross-domain
|
|
70
|
+
Core insight: **wicked problems require combinations of cross-domain thinking lenses, whereas tame problems can be solved with a single tool**. The activator recommends multi-tool combinations when facing wicked problems and single-tool focus when facing tame problems.
|
|
69
71
|
|
|
70
72
|
> "Wicked problems have no right or wrong answers, only better or worse ways of dealing with them." — Rittel & Webber
|
|
71
73
|
|
|
@@ -76,7 +78,7 @@ Daniel Kahneman, in *Thinking, Fast and Slow* (2011), proposed the dual-system t
|
|
|
76
78
|
- **System 1**: Fast, intuitive, automatic — responsible for the majority of everyday decisions
|
|
77
79
|
- **System 2**: Slow, rational, deliberate — required for decisions demanding careful thought
|
|
78
80
|
|
|
79
|
-
Core insight: **not all problems require System 2-level rational analysis**. Many everyday decisions require only intuition (System 1), and forcibly deploying
|
|
81
|
+
Core insight: **not all problems require System 2-level rational analysis**. Many everyday decisions require only intuition (System 1), and forcibly deploying thinking lenses constitutes over-analysis. The activator's "inapplicable scenarios" list is grounded in this insight — simple problems do not need tools; wicked problems do.
|
|
80
82
|
|
|
81
83
|
> "Overthinking is the enemy of decision-making — some decisions are best left to intuition." — Kahneman
|
|
82
84
|
|
|
@@ -1,5 +1,7 @@
|
|
|
1
1
|
# 数学研究操作系统的思想来源 / Intellectual Sources for the Math Research OS
|
|
2
2
|
|
|
3
|
+
> **注意**:本文件是项目设计理念的背景资料(Pólya/Newell-Simon/Schoenfeld 等思想来源),不是运行时资源——Domain Router 不自动加载本文件。仅供了解 skill 的设计动机时参阅。
|
|
4
|
+
|
|
3
5
|
## 问题分类与工具选择的传统 / The Tradition of Problem Classification and Tool Selection
|
|
4
6
|
|
|
5
7
|
### Pólya 的问题求解启发法 / Pólya's Problem-Solving Heuristics
|