Menu
Le prompt qui vérifie d'abord la source est sélectionné par défaut. Vous pouvez passer à une commande directe ou télécharger une copie locale.
Lisez SKILL.md et les fichiers associés affichés par SkillsMP avant de décider de l'installer.
Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.
Une commande directe contourne le prompt de vérification. Examinez la source avant de l'exécuter.
npx skills add https://github.com/xdelin/OpenClaw-Education-Skills --skill math-formula-calculatorLa commande reste sur une seule ligne. Faites défiler horizontalement pour la vérifier avant de la copier.
Vous préférez une copie locale ? Téléchargez les fichiers actuellement disponibles dans SkillsMP.
Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.
"PDF to Markdown - PDF文本转Markdown工具. Use when you need pdf to markdown capabilities. Triggers on: pdf to markdown."
"Short Drama Writer. Use when you need short drama writer capabilities. Triggers on: short drama writer."
Basé sur la classification professionnelle SOC
Affichage de SKILL.md
| name | math-formula-calculator |
| description | 数学公式计算专家 - Excel 公式解析、分步计算、边界验证。专用于招投标价格分计算、复杂公式求解。 |
| author | Clawdbot |
| version | 1.0.0 |
支持的函数:
解析能力:
计算流程:
第 1 步：公式原文抄录 → 不修改任何字符
第 2 步：公式结构拆解 → 识别函数层级
第 3 步：变量代入 → 明确每个变量的值
第 4 步：由内向外计算 → 先计算最内层函数
第 5 步：记录中间结果 → 每步保留计算过程
第 6 步：最终结果 → 四舍五入 (如需)
示例:
=ROUND(IF(B2<E2,MAX(0,F2-ABS(B2-E2)/E2*100*0.6),IF(B2=E2,F2,MAX(0,F2-ABS(B2-E2)/E2*100*0.9))),2)
变量:
B2 = 207 (报价)
E2 = 176.89445 (基准价)
F2 = 30 (基准分)
计算步骤:
1. B2 < E2? → 207 < 176.89445? → FALSE
2. 进入 ELSE 分支：MAX(0, F2-ABS(B2-E2)/E2*100*0.9)
3. ABS(B2-E2) = ABS(207-176.89445) = 30.10555
4. ABS(...)/E2 = 30.10555/176.89445 = 0.1702
5. ...*100 = 0.1702*100 = 17.02
6. ...*0.9 = 17.02*0.9 = 15.32
7. F2-... = 30-15.32 = 14.68
8. MAX(0, 14.68) = 14.68
9. ROUND(14.68, 2) = 14.68
结果：14.68 分
验证项目:
验证流程:
1. 识别公式中所有分母 → 检查是否为 0 风险
2. 识别 MAX/MIN 函数 → 确认边界处理
3. 代入极端值测试 → 最大值/最小值/临界值
4. 检查结果合理性 → 是否在预期范围内
支持的评标方法:
价格分公式模板:
' 基准价法 (报价>基准价)
=30-ABS(报价 - 基准价)/基准价*100*0.9
' 基准价法 (报价<基准价)
=30-ABS(报价 - 基准价)/基准价*100*0.6
' 完整版 (含边界处理)
=MAX(0,30-ABS(报价 - 基准价)/基准价*100*系数)
用户：解析这个公式 =ROUND(IF(B2<E2,MAX(0,F2-ABS(B2-E2)/E2*100*0.6),...),2)
数学公式计算专家:
1. 外层函数：ROUND(..., 2) → 保留 2 位小数
2. 中间函数：IF(条件，真值，假值)
3. 条件：B2 < E2
4. 真值：MAX(0, F2-ABS(B2-E2)/E2*100*0.6)
5. 假值：IF(B2=E2, F2, MAX(0, F2-ABS(B2-E2)/E2*100*0.9))
...
用户：计算价格分，报价 207 万，基准价 176.89 万，基准分 30 分
数学公式计算专家:
已知:
- 报价 = 207 万
- 基准价 = 176.89 万
- 基准分 = 30 分
- 报价 > 基准价，系数用 0.9
计算:
1. 差额 = |207 - 176.89| = 30.11
2. 比例 = 30.11 / 176.89 = 0.1702
3. 扣分 = 0.1702 × 100 × 0.9 = 15.32
4. 价格分 = 30 - 15.32 = 14.68 分
结果：14.68 分
用户：验证这个公式是否有边界问题
数学公式计算专家:
检查项目:
1. ✅ 分母 E2 (基准价) → 应>0，正常
2. ✅ MAX(0, ...) → 已处理负数情况
3. ✅ ROUND(..., 2) → 已处理精度
4. ⚠️ 建议：添加 IFERROR 处理异常
改进建议:
=IFERROR(ROUND(IF(...),2), 0)
❌ 错误：ABS(报价 - 基准价) / 报价
✅ 正确：ABS(报价 - 基准价) / 基准价
记忆方法: 比例计算始终以"基准"为分母
❌ 错误：报价<基准价用 0.9，报价>基准价用 0.6 ✅ 正确：报价<基准价用 0.6(鼓励低价)，报价>基准价用 0.9(惩罚高价)
记忆方法: 低价扣分少 (0.6)，高价扣分多 (0.9)
❌ 错误：30 - ABS(...)*100*系数 (可能为负)
✅ 正确：MAX(0, 30 - ABS(...)*100*系数)
记忆方法: 分数不能为负，必须用 MAX(0,...)
┌─────────────────────────────────────────────────────────────┐
│ 数学公式计算 SOP │
├─────────────────────────────────────────────────────────────┤
│ │
│ 1. 公式原文抄录 │
│ ↓ │
│ 2. 公式结构拆解 (识别函数层级) │
│ ↓ │
│ 3. 变量代入 (明确每个变量的值) │
│ ↓ │
│ 4. 由内向外计算 (先最内层) │
│ ↓ │
│ 5. 记录中间结果 (每步保留) │
│ ↓ │
│ 6. 边界验证 (除零/负数/溢出) │
│ ↓ │
│ 7. 结果校验 (合理性检查) │
│ ↓ │
│ 8. 用户确认 (输出前请用户验证) │
│ │
└─────────────────────────────────────────────────────────────┘
版本: 1.0.0
创建时间: 2026-03-10
状态: ✅ 已创建