メニュー
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/xdelin/OpenClaw-Education-Skills --skill math-formula-calculatorコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？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."
SOC 職業分類に基づく
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
状态: ✅ 已创建