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

82%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide

Securityby

Passed

No findings from the security scan

Quality

Content

81%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.

A well-structured, actionable instruction skill with a clear multi-step workflow, verification checkpoint, and honest fallback path. It is concise and assumes competence, with only mild redundancy and limited opportunity to offload content to separate files.

Dimension	Reasoning	Score
Conciseness	The body is efficient and assumes Claude's competence without explaining what formulas or derivations are, but the Inputs section and Step 1's extraction list overlap, introducing mild redundancy that could be tightened.	4 / 5
Actionability	Provides concrete, executable guidance including a copy-paste-ready Required File Structure template, explicit step-classification taxonomy, and three named output modes with their contents; minor gaps remain in that some steps describe what to decide rather than exactly how to format it.	4 / 5
Workflow Clarity	An explicit 8-step sequence with a dedicated Step 8 Final Verification checklist and a feedback loop (downgrade to a blocker report when coherence cannot be achieved honestly), giving clear checkpoints and error recovery for the file-writing operation.	5 / 5
Progressive Disclosure	Well-organized into clearly headed sections with no nested references and a single self-contained file; since it exceeds 50 lines with no external bundle files, some inline material (output modes, proof-writer relationship) could conceptually be split, leaving minor organization gaps.	4 / 5
	Total	17 / 20 Passed

Description

83%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, third-person description that explicitly covers both capabilities and trigger conditions with natural user phrasing including a Chinese trigger term. It is concrete and well-scoped, with only minor room to broaden trigger synonyms and sharpen action specificity.

Dimension	Reasoning	Score
Specificity	Lists several concrete actions ('build a theory line, organize assumptions, turn scattered equations into a coherent derivation, or rewrite theory notes into a paper-ready formula document') rather than vague language, though the actions are conceptual rather than file-level operations, leaving minor coverage gaps versus a fully exhaustive enumeration.	4 / 5
Completeness	Clearly answers both 'what' (Structures and derives research formulas, building a theory line and coherent derivation package) and 'when' ('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') with concrete trigger phrases.	5 / 5
Trigger Term Quality	Includes natural phrases a user would say ('推导公式', 'build a theory line', 'organize assumptions', 'rewrite theory notes into a paper-ready formula document') with good keyword coverage, though a few common synonyms or alternate phrasings are absent.	4 / 5
Distinctiveness Conflict Risk	The narrow niche (derivation package construction) and explicit contrast 'rather than a finished theorem proof' keep conflict risk low, with only minor overlap against a closely related proof-writing skill.	4 / 5
	Total	17 / 20 Passed

Validation

87%

Warnings & errors only

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

Validation — 14 / 16 Passed

Validation for skill structure

Criteria	Description	Result
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

	Total	14 / 16 Passed

Repository: wanshuiyin/Auto-claude-code-research-in-sleep
Path: skills/formula-derivation/SKILL.md
Commit: f4f20f9

Reviewed: 1 day ago

Table of Contents

Discovery Implementation Validation

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.