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…

Agent skill published as a SKILL.md in wanshuiyin/Auto-claude-code-research-in-sleep (folder skills/formula-derivation). Install it with one command using the open skills CLI, or copy the folder into ~/.claude/skills/.