메뉴
Verify mathematical derivations step-by-step, checking algebra while human spots physical intuition errors
Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.
SOC 직업 분류 기준
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
| 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