Menu
Verify mathematical derivations step-by-step, checking algebra while human spots physical intuition errors
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
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
Based on SOC occupation classification
| 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