SkillCheatSheet
formula-derivation
An AI agent skill from wanshuiyin/Auto-claude-code-research-in-sleep, scored 81 out of 100 by code and Verified.
Code score by group
It loses the most points in Description (10), the group that checks whether the description says what the skill does and when to use it.
What the author says it does
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.
This is the description in the skill's own SKILL.md, written by its author, not by SkillCheatSheet.
- Folder
- skills/formula-derivation
- License
- MIT
- GitHub stars
- 19,072
- SKILL.md lines
- 286
- Other files
- 0
Add formula-derivation to your agent
npx skills add wanshuiyin/Auto-claude-code-research-in-sleep --skill formula-derivationThe command uses the open skills CLI. A skill is instructions and scripts your agent will follow, so read it first: open the folder on GitHub at the commit that was scored.
Labelled for
More skills from wanshuiyin/Auto-claude-code-research-in-sleep
-
proof-writer
Writes rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollary, fill in missing proof steps, formalize a proof sketch, 补…
Verified87A -
claims-drafting
Draft patent claims for an invention. Use when user says "撰写权利要求", "draft claims", "写权利要求书", "claim drafting", or wants to create patent claims. The core skill of the patent pipel…
Verified85A -
paper-compile
Compile LaTeX paper to PDF, fix errors, and verify output. Use when user says "编译论文", "compile paper", "build PDF", "生成PDF", or wants to compile LaTeX into a submission-ready PDF.
Verified85A -
figure-spec
Generate deterministic publication-quality architecture, workflow, and pipeline diagrams from structured JSON (FigureSpec) into editable SVG. Use when user says "架构图", "workflow 图…
Verified84B -
rebuttal
Workflow 4: Submission rebuttal pipeline. Parses external reviews, enforces coverage and grounding, drafts a safe text-only rebuttal under venue limits, and manages follow-up roun…
Verified84B -
integrity-forensics
Run the Anti-Autoresearch integrity-forensics sweep (span-anchored evidence ledger → GPT auditors propose findings → a rules-only reporter that lists every proposal with what the…
Verified83B -
idea-creator
Generate and rank research ideas given a broad direction. Use when user says "找idea", "brainstorm ideas", "generate research ideas", "what can we work on", or wants to explore a r…
82B -
novelty-check
Verify research idea novelty against recent literature. Use when user says "查新", "novelty check", "有没有人做过", "check novelty", or wants to verify a research idea is novel before imp…
Verified81B
All skills in wanshuiyin/Auto-claude-code-research-in-sleep
Scores come from a snapshot of 300 public GitHub repositories taken on 12 November 2026. Every score is the result of fixed checks run by code; no AI is involved. How scoring works.