Overview
formula-derivation is an open-source productivity skill for Claude Code and compatible agents, published by wanshuiyin. Its author describes it as: “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…”. The project has 15k stars on GitHub and is available under the MIT license. Add it to your setup with `git clone https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep ~/.claude/skills/formula-derivation`.
What formula-derivation does
Build an honest derivation package, not a fake polished theorem story.
What’s inside
The SKILL.md for formula-derivation is organised into these sections:
- Constants
- Context: $ARGUMENTS
- Goal
- Inputs
- Workflow
- Step 1: Gather Derivation Context
- Step 2: Freeze the Target
- Step 3: Choose the Invariant Object
- Step 4: Normalize Assumptions and Notation
- Step 5: Classify the Derivation Steps
- Step 6: Build a Derivation Map
- Step 7: Write the Derivation Document
Installation
Add formula-derivation to your agent with:
git clone https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep ~/.claude/skills/formula-derivationReview a skill’s source before installing it — skills can instruct your agent to run commands. This command comes from the skill’s public repository, which is the source of truth for setup steps. New to skills? Read how to install Claude Code skills.
Supported agents
- Claude Code — declared in the repository topics
- Codex — declared in the repository topics
License
formula-derivation is published under the MIT license.
Strengths
- Clear MIT license — safe to read and adapt within its terms
- Ships in wanshuiyin/Auto-claude-code-research-in-sleep, an established project with 14,858 GitHub stars
- Works with Claude Code, Codex
- Actively maintained — repository updated in the last 90 days
Author
Topics
Frequently asked questions
- What does formula-derivation do?
- 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.
- How do I install formula-derivation?
- Run git clone https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep ~/.claude/skills/formula-derivation in your agent, then reload your skills. Review the source at https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep before installing.
- Is formula-derivation free to use?
- Yes. formula-derivation is free and open source under the MIT license, so you can read, run, and adapt it within that license's terms.
- Which agents does formula-derivation work with?
- formula-derivation lists Claude Code and Codex — named in its SKILL.md, its plugin marketplace or its repository topics. Skills use the portable SKILL.md format, so other agents that read that format may load it too.
- Where does formula-derivation come from?
- formula-derivation ships inside wanshuiyin/Auto-claude-code-research-in-sleep, a repository that contains 41 catalogued skills in total. The repository's 14,858 GitHub stars apply to that whole collection, not to this skill on its own.
