Structures and derives research formulas when the user wants to 推导公式, build a theory line, organize assumptions, turn scattered equations into a coherent derivation, or rewrite theory notes into a paper-ready formula document. Use when the derivation target is not yet fully fixed, the main object still needs to be chosen, or the user needs a coherent derivation package rather than a finished theorem proof.
$npx -y skills add openlair/dr-claw --skill aris-formula-derivationInstalls into the current project.
Run `npx skills use "https://github.com/openlair/dr-claw" --skill "openlair/dr-claw/aris-formula-derivation"` and follow the generated skill instructions now. Read its complete output, redirecting it to a temporary file first if necessary. Resolve relative paths from the supporting-files directory it provides.
Use the skills in "https://github.com/openlair/dr-claw" that are relevant to the current task. Run `npx skills add "https://github.com/openlair/dr-claw"` and select the relevant skills, then follow their instructions.