Summary
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-codeInstalls into .claude/skills of the current project.
Keeps your Mac awake while Claude Code, Codex or Cursor works. Lets it sleep when they are done.
Try free for 7 days →
Block distracting apps from your iPhone permanently without a 3rd party app. Free and open source.
Block now (100% free) →
Notes, actions and memory. Without a meeting bot. First month 100% off.
Download for free →
belt cli automatically finds the best tools and skills for your agent. image, video, music, tts...
one prompt install →
Free an open-source skills that make AI coding agents easier to understand, verify, and control.
Download for free →
Connect your Claude agent to live crypto prices and trading routes via 1inch
Get the MCP →Files
SKILL.md
Select a file.
Featured
Keeps your Mac awake while Claude Code, Codex or Cursor works. Lets it sleep when they are done.
Try free for 7 days →Block distracting apps from your iPhone permanently without a 3rd party app. Free and open source.
Block now (100% free) →Notes, actions and memory. Without a meeting bot. First month 100% off.
Download for free →belt cli automatically finds the best tools and skills for your agent. image, video, music, tts...
one prompt install →Free an open-source skills that make AI coding agents easier to understand, verify, and control.
Download for free →Connect your Claude agent to live crypto prices and trading routes via 1inch
Get the MCP →
