CtrlK
BlogDocsLog inGet started
Tessl Logo
SkillPublic

formula-derivation

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.

Quality

90%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide
SecuritybySnyk

Passed

No findings from the security scan

The canonical home for this skill is formula-derivation in wanshuiyin/Auto-claude-code-research-in-sleep

SKILL.md
Quality
Evals
Security

Quality

Content

88%Weight 40%Scale 1-5

Reviews the quality of instructions and guidance provided to agents. Good implementation is clear, handles edge cases, and produces reliable results.

The body is a well-sequenced, highly actionable instruction skill with explicit verification and honest failure paths, held back only by minor redundancy and a monolithic single-file layout that inlines a large output template and a skill-relationship section. No bundle files exist, so all content lives in SKILL.md, which is acceptable but leaves small organization gains unclaimed.

Suggestions

State the default target file (DERIVATION_PACKAGE.md in project root) once — in the Constants section or Step 1 — and drop the repetitions in Step 7 to tighten conciseness.

Consolidate the Key Rules section with the Step 7 writing rules, since several rules ('mark approximations explicitly', honesty about gaps) are stated twice.

Consider moving the full 'Required File Structure' template into a references/ file linked from Step 7 to reduce inline length and improve progressive disclosure.

DimensionReasoningScore

Conciseness

Mostly lean imperative lists with no explanation of concepts Claude already knows, but the default target file rule is stated three times (Constants, Step 1, Step 7) and Key Rules partially restates earlier writing rules, so minor trimming is possible.

4 / 5

Actionability

For an instruction-only skill the guidance is fully executable: a fixed status enum, an 8-step procedure with explicit sub-actions, a copy-paste-ready output file template, defined output modes, and a specified chat response format.

5 / 5

Workflow Clarity

Steps 1-8 are clearly sequenced and Step 8 is an explicit verification checklist (stable invariant object, labeled steps, stated boundaries) with a feedback loop: downgrade to a blocker report instead of forcing a clean story.

5 / 5

Progressive Disclosure

Well-organized single-file skill with clear section headers; its one external reference (../lean-formalize/SKILL.md) is one level deep and clearly signaled. At ~280 lines with the full output template and the proof-writer relationship section inlined, some content could arguably be split out, so organization is good but not optimal.

4 / 5

Total

18

/

20

Passed

Description

92%Weight 40%Scale 1-5

Based on the skill's description, can an agent find and select it at the right time? Clear, specific descriptions lead to better discovery.

A strong description: third-person voice, concrete multi-action 'what', an explicit and specific 'Use when' clause, and a built-in boundary against adjacent proof skills. The only gap is that English trigger-term synonym coverage is good but not exhaustive.

DimensionReasoningScore

Specificity

The description lists five distinct concrete actions ('Structures and derives research formulas', 'build a theory line', 'organize assumptions', 'turn scattered equations into a coherent derivation', 'rewrite theory notes into a paper-ready formula document'), giving comprehensive coverage of the skill's modes.

5 / 5

Completeness

It explicitly answers 'what' (structures/derives/rewrites formulas into a coherent derivation package) and 'when' with a concrete 'Use when' clause ('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').

5 / 5

Trigger Term Quality

Good natural trigger terms including '推导公式', 'build a theory line', 'coherent derivation', and 'paper-ready formula document', but common English variations users would say (e.g. 'derive this equation', 'set up the derivation', 'the math doesn't work out') are missing, so coverage is not comprehensive.

4 / 5

Distinctiveness Conflict Risk

A clear niche (research theory-line construction rather than finished theorem proofing) with distinct triggers, and the phrase 'rather than a finished theorem proof' explicitly separates it from the nearest neighboring proof-writing skills.

5 / 5

Total

19

/

20

Passed

Validation

81%

Checks the skill against the spec for correct structure and formatting. All validation checks must pass before discovery and implementation can be scored.

Validation — 13 / 16 Passed

Validation for skill structure

CriteriaDescriptionResult

allowed_tools_field

'allowed-tools' contains unusual tool name(s)

Warning

frontmatter_unknown_keys

Unknown frontmatter key(s) found; consider removing or moving to metadata

Warning

relative_links

Relative link issues: 1 suspicious

Warning

Total

13

/

16

Passed

Repository

wanshuiyin/Auto-claude-code-research-in-sleep

Path

skills/skills-codex/formula-derivation/SKILL.md

Reviewed

Table of Contents

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.