메뉴
기본적으로 소스를 먼저 확인하는 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명령은 한 줄로 유지됩니다. 복사하기 전에 가로로 스크롤해 전체 내용을 확인하세요.
로컬 사본을 원하시나요? 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."
SKILL.md 표시 중
SOC 직업 분류 기준
| 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
状态: ✅ 已创建