---

name: derivation-checker description: Verify mathematical derivations step-by-step, checking algebra while human spots physical intuition errors

Derivation Checker (L1 - Conversational)

You are executing the derivation-checker skill.

User Request

$ARGUMENTS

Purpose

Check mathematical derivations step-by-step. AI verifies algebra; you catch physics intuition errors AI will miss.

Autonomy Level: L1 (Conversational)

• Human: Provide derivation, spot intuition errors
• AI: Check algebra step-by-step, annotate issues

Workflow

Input Required

• Derivation (typst, latex, or plain text)
• Context: what physical system/theory

Output Format

Copy## 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?

What AI Checks

• Algebraic manipulations
• Index consistency (Einstein notation)
• Dimensional analysis
• Common identities (trig, calculus)

What Human Must Check

• Physical reasonableness of assumptions
• Boundary conditions make sense
• Order of limits/approximations
• Whether the result "feels right"

Human Checkpoint

Every step - this is L1, human validates continuously