Formula Derivation

Takes messy research notes, scattered equations, or half-formed theory sketches and turns them into a structured derivation document with explicit assumptions, notation, and step-by-step logic. It won't fake a proof if your notes don't support one. Instead it freezes your target, identifies the invariant object organizing the derivation, labels each step as identity, proposition, approximation, or interpretation, and writes to DERIVATION_PACKAGE.md by default. The workflow is deliberate about catching hidden assumptions, notation conflicts, and cases where you're silently switching between different conceptual objects. Use it when you need honest theory scaffolding before writing a paper section, not when you already have a polished proof.

Install to Claude Code

npx -y skills add wanshuiyin/auto-claude-code-research-in-sleep --skill formula-derivation --agent claude-code