skillboardUpdated every 6 hours
skillboardStructures 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.
Formula Derivation: Research Theory Line Construction Build an honest derivation package, not a fake polished theorem story. Constants DEFAULT DERIVATION DOC in project root STATUS Context: $ARGUMENTS Goal Produce exactly one of: 1. a coherent derivation package for the original target 2. a reframed derivation package with corrected object / assumptions / scope 3. a blocker report explaining why the current notes cannot yet support a coherent derivation Inputs Extract and normalize: the target…
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/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.