Formula Derivation

Formula Derivation is a Writing skill for Claude Code, published by wanshuiyin in Auto-claude-code-research-in-sleep.

14.7K stars1.3K forkson wanshuiyin/Auto-claude-code-research-in-sleepAdded 2026/08/14Repository updated 2026/08/11

ai-researchai-toolsarisautonomous-agentclaudeclaude-codeclaude-code-skillscodexdeep-learninggptidea-generationllmmachine-learningmcpmcp-serverml-researchopenaipaper-reviewpaper-writingresearch-automation

Install in seconds

Install Formula Derivation

Copy Formula Derivation into your Claude Code skills folder. Run the command in your terminal, or review the source on GitHub before installing.

terminal

npx degit https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/tree/main/skills/formula-derivation ~/.claude/skills/formula-derivation

Requires Node.js. Downloads this skill only — not the rest of the repository — into your Claude Code skills folder.

Without Node.js

git clone https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep.git

Clones the whole repository, then copy the skill’s own directory into your skills folder yourself.

In this catalog

Source file: skills/formula-derivation/SKILL.md in wanshuiyin/Auto-claude-code-research-in-sleep
Installs to: ~/.claude/skills/formula-derivation
Collection: One of 25 skills cataloged from this repository
Category: Writing — 1012 skills

What Formula Derivation does

Formula Derivation structures and derives research formulas, turning scattered equations and assumptions into a coherent derivation package or a blocker report. Use it when the target formula is not yet fixed or when you need a theory line rather than a finished theorem proof.

Formula Derivation is cataloged under Writing on DirSkills. Formula Derivation comes from a repository tagged ai-research, ai-tools, aris, autonomous-agent and claude.

Documentation

README

Excerpt

Formula Derivation: Research Theory Line Construction

Build an honest derivation package, not a fake polished theorem story.

Constants

DEFAULT_DERIVATION_DOC = DERIVATION_PACKAGE.md in project root
STATUS = COHERENT AS STATED | COHERENT AFTER REFRAMING / EXTRA ASSUMPTION | NOT YET COHERENT

Context: $ARGUMENTS

Goal

Produce exactly one of:

a coherent derivation package for the original target
a reframed derivation package with corrected object / assumptions / scope
a blocker report explaining why the current notes cannot yet support a coherent derivation

Inputs

This is the opening of the README. Read the full README on GitHub.

Frequently asked about Formula Derivation

What else does wanshuiyin publish alongside Formula Derivation?
Formula Derivation is one of 25 skills that DirSkills catalogs from wanshuiyin/Auto-claude-code-research-in-sleep, the repository it ships in. Its siblings there include Ablation Planner, AlphaXiv and Analyze Results. Each one is a separate skill with its own page in this directory, installs the same way Formula Derivation does, and is maintained by wanshuiyin in that same repository. The rest of the collection is listed on the wanshuiyin/Auto-claude-code-research-in-sleep page.
How does Formula Derivation compare to other Writing skills?
Formula Derivation ranks #82 by stars among the 1012 Writing skills in this catalog. The most-starred ones next to it are Article Writing, Social Media Content Calendar and Knowledge Comic Creator. DirSkills ranks by the star count of the repository each skill ships in, so that order reflects how popular those repositories are rather than any review of Formula Derivation against them. Open each page to compare what they document and how they install.