What problem does it solve?
This Skill helps you structure and derive research formulas when your notes are scattered or the target object and assumptions are still unclear, so the result becomes a coherent derivation package instead of a polished but unfounded theorem story.
Core Features & Use Cases
- Derivation Package Builder: Chooses a target file (explicitly specified, referenced, or defaults to DERIVATION_PACKAGE.md) and writes a theory-line derivation document with clear structure.
- Invariant Object + Assumption Normalization: Freezes the target and selects a single organizing “invariant object” so special cases don’t quietly change the underlying meaning.
- Honest Coherence Checking: Classifies output status as coherent as stated, coherent after reframing/extra assumptions, or not yet coherent with a blocker report and explicit missing pieces.
Quick Start
Ask the AI to use formula-derivation to build a paper-ready derivation package into DERIVATION_PACKAGE.md for your current 推导公式 goal, using your provided equations and assumptions, and to output either a coherent derivation or a blocker report if the object or assumptions remain inconsistent.