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.
Plug Mailtrap into your AI workflow and let it handle the email.
Connect Mailtrap MCP →
Agent, run crypto. Access onchain data & trade routes via 1inch.
Install now →
Make coding agent sessions - Searchable, Shareable, Vendor-neutral & Scored.
Try For Free →
Your agent targets a perfect 10 Code Health score. Deterministic. Every commit.
Try For Free →
Integrate web data into your AI product. One API to scrape website & brand data.
Get API Key Now →
belt cli automatically finds the best tools and skills for your agent. image, video, music, tts...
one prompt install →Files
SKILL.md
Select a file.
Featured
Plug Mailtrap into your AI workflow and let it handle the email.
Connect Mailtrap MCP →Agent, run crypto. Access onchain data & trade routes via 1inch.
Install now →Make coding agent sessions - Searchable, Shareable, Vendor-neutral & Scored.
Try For Free →Your agent targets a perfect 10 Code Health score. Deterministic. Every commit.
Try For Free →Integrate web data into your AI product. One API to scrape website & brand data.
Get API Key Now →belt cli automatically finds the best tools and skills for your agent. image, video, music, tts...
one prompt install →
