Structures and derives research formulas when the user wants to 推导公式, build a theory line, organize assumptions, turn s…
Part of ARIS
by wanshuiyin· ResearchUnclaimed · Yours? Claim it
About
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.
Skills people install alongside formula-derivation.
Runs on your machine.
Runs on your machine.
Runs on your machine.
Runs on your machine.
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/formula-derivation ~/.copilot/skills/formula-derivation
Runs on your machine.
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/formula-derivation ~/.cursor/skills/formula-derivation
Runs on your machine.
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/formula-derivation ~/.claude/skills/formula-derivation
/plugin marketplace add wanshuiyin/Auto-claude-code-research-in-sleep /plugin install aris@aris
Runs on your machine.
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/formula-derivation ~/.agents/skills/formula-derivation
Runs on your machine.
Runs on your machine.
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/formula-derivation ~/.gemini/skills/formula-derivation
Runs on your machine.
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/formula-derivation .agents/skills/formula-derivation
Runs on your machine.
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/formula-derivation ~/.openclaw/skills/formula-derivation
Runs on your machine.
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/formula-derivation ~/.config/opencode/skills/formula-derivation
Runs on your machine.
npx -y degit wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/formula-derivation ~/.hermes/skills/formula-derivation
Scanned and passed · checked 5 h ago
From people who use it
Step by step
Nothing new reaches your agent until a person has looked at it.
Scanned on every change, and again when our rules improve.
No reviews yet. Used formula-derivation? Say how it went.
Write a reviewSkills people install alongside formula-derivation.
Khazix's everyday skills: goal briefs for long agent runs, disk cleanup, AI news, doc tidy-ups, deep research and Chinese long-form writing.
A library of AI research skills that lets your agent fine-tune, train, evaluate and serve models, and take a project from idea to paper.
A six-step competitive analysis for product managers, from the market landscape to rivals' strategic direction, ending in battle cards.
Researches tech and advanced-manufacturing investment themes by finding supply-chain bottlenecks, then ranks which companies to study first.
Nobody has shared how they use formula-derivation yet.
Security scan
Passed
Safe to install in every agent it supports. Runs in your agent, as instructions.