Screened · automated checks passed
formula-derivation
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.
Quoted from the skill's own SKILL.md trigger description — this is what tells
Claude when to activate it. Not yet verified by us.
Automated screening
100/100 validator score
Scored by the same rules as our free SKILL.md validator: trigger description quality, body substance, structure. Automated — a human bench test is the next step in the pipeline.
Install (unverified — review first)
git clone https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep # skill lives at: skills/formula-derivation/SKILL.md
SkillProof status
This skill is in our test queue. We install every skill in a clean environment, run a trigger battery and score output against a baseline before it earns a catalog page — the full protocol is public. Until then, treat it like any unreviewed dependency: read the SKILL.md and any scripts before installing.
Already tested in Documents & Files
- TR Dizin Stdlib-only CLI for the open TR Dizin (Turkish national academic index) JSON API — search, filters, PDF-to-text
- Patent Writing Chinese Generates CNIPA-style Chinese patent .docx files with real OMML equations and B&W block diagrams.
- DOCX — Word Documents Create and edit real Word documents — headings, tables, tracked changes.
- Shipping Artifacts Defines the doc set that makes an AI-built app reviewable before it ships.