formula-derivation
Structure and derive research formulas when the user wants to 推导公式, derive a theory line, build equations from a problem statement, clarify assumptions, separate formal derivation from remarks, or turn messy theory notes into a paper-ready derivation skeleton. Use for research-style formula development, not for fully rigorous theorem proving once the claim is already fixed.
npx skills add majiayu000/claude-skill-registry --skill formula-derivation-wanshuiyin-auto-claude-code-res --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Formula Derivation Use this skill when the task is not merely to prove a finished theorem, but to **build the derivation itself**: - define the right object, - decide what should be assumed, - determine what is identity vs proposition vs approximation, - connect simple and general regimes without splitting into two unrelated stories, - and turn messy notes into a derivation line that can later be written into a paper. Do **not** use this skill as a replacement for strict proof writing once the exact claim is already fixed and the user wants a theorem-proof package. In that case, hand off to `proof-writer`. ## Core Principle The derivation must be built around **one invariant object**. Do not start from scattered formulas. Start from the object that survives across regimes, then derive proxies, decompositions, and interpretations from it. ## What to Produce Prefer one of these outputs: 1. a **mainline derivation note** for internal alignment; 2. a **paper-style theory draft** with tighter narrative; 3. a **blocker report** if the current notes cannot support a coherent derivation. ## Workflow ### 1. Freeze the Target State explicitly: - what phenomenon is being explained; - what c
- Core Principle
- What to Produce
- Workflow
- 1. Freeze the Target
- 2. Choose the Invariant Object
- 3. Put Assumptions and Notation First
- 4. Classify Every Step
- 5. Derive from the Global Quantity When Splitting Costs
- 6. Keep Special Cases and General Cases in One Line
- 7. Treat Simplified Parameters as Analysis Slices
- 8. Separate Main Text from Remarks
- 9. Write Boundaries Explicitly
- Common Derivation Patterns
- Recommended Output Structure
What does the formula-derivation skill do?
Structure and derive research formulas when the user wants to 推导公式, derive a theory line, build equations from a problem statement, clarify assumptions, separate formal derivation from remarks, or turn messy theory notes into a paper-ready derivation skeleton. Use for research-style formula development, not for fully rigorous theorem proving once the claim is already fixed.
How do I install it?
Run `npx skills add majiayu000/claude-skill-registry --skill formula-derivation-wanshuiyin-auto-claude-code-res --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From majiayu000/claude-skill-registry, a repository with 534 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.