skillboardUpdated every 6 hours
skillboardStructure and derive research formulas when the user wants to 推导公式, derive a theory line, build equations from a problem statement, clarify assumptions, separate formal derivation from remarks, or turn messy theory notes into a paper-ready derivation skeleton. Use for research-style formula development, not for fully rigorous theorem proving once the claim is already fixed.
Formula Derivation Use this skill when the task is not merely to prove a finished theorem, but to build the derivation itself : define the right object, decide what should be assumed, determine what is identity vs proposition vs approximation, connect simple and general regimes without splitting into two unrelated stories, and turn messy notes into a derivation line that can later be written into a paper. Do not use this skill as a replacement for strict proof writing once the exact claim is…
Full body not shown for this license – view the source on GitHub →Copy a source-pinned command for your client. You run it yourself.
Destination: .claude/skills/formula-derivation · pinned to the source commit
git clone https://github.com/brycewang-stanford/Auto-Empirical-Research-Skills.git
cd Auto-Empirical-Research-Skills
git checkout 692e9fa3fea40bbdf614584d461851f8fb968ac2
mkdir -p ".claude/skills/formula-derivation"
cp -r "skills/42-wanshuiyin-ARIS/skills/skills-codex/formula-derivation" ".claude/skills/formula-derivation"Review the source before running. This copies files into your project; it is not a one-click install and does not verify runtime safety.
Scanner static-checks@0.1.0 · commit 692e9fa3fea4. Static checks cannot prove runtime safety – review the source and the exact diff before installing. How checks work.
No static rules matched. This is not a safety guarantee.