菜单
Verify mathematical derivations step-by-step, checking algebra while human spots physical intuition errors
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
| name | derivation-checker |
| description | Verify mathematical derivations step-by-step, checking algebra while human spots physical intuition errors |
You are executing the derivation-checker skill.
$ARGUMENTS
Check mathematical derivations step-by-step. AI verifies algebra; you catch physics intuition errors AI will miss.
| Phase | Actor | Action |
|---|---|---|
| 1 | Human | Provide derivation |
| 2 | Prover | Parse into discrete steps |
| 3 | Prover | Verify each step algebraically |
| 4 | Writer | Annotate errors/gaps found |
| 5 | Human | Spot physical intuition issues AI misses |
## Step-by-Step Analysis
### Step 1: [equation]
✓ Algebraically correct
### Step 2: [equation]
⚠ Warning: Sign error in second term
Expected: -∂H/∂q
Got: +∂H/∂q
### Step 3: [equation]
? Assumption: assuming commutator [A,B]=0
Is this justified in your system?
Every step - this is L1, human validates continuously
Use when user wants to sync, push, or add BibTeX entries to a Zotero collection/folder. Handles deduplication by DOI, arXiv ID, or title.
Update skills with concise concrete practices, keeping SKILL.md minimal
Log ML experiments with hyperparameters, metrics, and plots; human interprets results and plans next experiments
Evaluate necessity and difficulty of issues, polish body, and create on GitHub with AI-assisted triage
Research academic papers and questions, write typst documents with cetz visualizations, teach until human understands
Autonomous daily digest of relevant arxiv papers in physics and ML based on your interests