Stats
Actions
Tags
From research-skills
Verify mathematical derivations step-by-step, checking algebra while human spots physical intuition errors
How this skill is triggered — by the user, by Claude, or both
Slash command
/research-skills:derivation-checkerThe summary Claude sees in its skill listing — used to decide when to auto-load this skill
You are executing the derivation-checker skill.
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
npx claudepluginhub hmyuuu/skills --plugin research-skillsStep-by-step derivation of theoretical results from first principles, with every step explicitly justified and special cases checked. Useful for formulas, theorems, proofs, and extending results.
Performs symbolic mathematics in Python: solving equations, calculus, algebra, matrix manipulation, physics calculations, and code generation. Use for exact symbolic results instead of numerical approximations.
Performs symbolic mathematics in Python with SymPy: solve equations algebraically, compute derivatives/integrals/limits, manipulate expressions, work with symbolic matrices, and generate code from formulas. Use when exact symbolic results are needed.