Formula Derivation

Formula Derivation is a Writing skill for Claude Code, published by OpenLAIR in dr-claw.

1K stars116 forkson OpenLAIR/dr-clawAdded 2026/08/21Repository updated 2026/08/09

ai-agentsai-scientistauto-researchclaude-codeclaude-science-desktop-alternativeclaude-science-freeliterature-reviewpaper-writingresearch-assistant

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/OpenLAIR/dr-claw/tree/main/skills/aris-formula-derivation ~/.claude/skills/aris-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/OpenLAIR/dr-claw.git

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

In this catalog

Source file: skills/aris-formula-derivation/SKILL.md in OpenLAIR/dr-claw
Installs to: ~/.claude/skills/aris-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 into a coherent theory line, assumption set, and derivation map. Use it when a target equation is still being chosen or when scattered notes need to be turned into a paper-ready derivation document.

Formula Derivation is cataloged under Writing on DirSkills. Formula Derivation comes from a repository tagged ai-agents, ai-scientist, auto-research, claude-code and claude-science-desktop-alternative.

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 OpenLAIR publish alongside Formula Derivation?
Formula Derivation is one of 25 skills that DirSkills catalogs from OpenLAIR/dr-claw, the repository it ships in. Its siblings there include ARIS Infra, Ablation Planner and Academic Researcher. Each one is a separate skill with its own page in this directory, installs the same way Formula Derivation does, and is maintained by OpenLAIR in that same repository. The rest of the collection is listed on the OpenLAIR/dr-claw page.
How does Formula Derivation compare to other Writing skills?
Formula Derivation ranks #436 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.