skills.rest
Lingjie-wang
Lingjie-wangCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

formula-derivation

Structures scattered research notes into coherent formula derivation packages with explicit assumptions and status.

Updated Jul 9, 2026
Search Tags:#research#assumptions#academic writing#proof#theory#formula derivation#derivation package
One-click install
npx skills add https://github.com/Lingjie-wang/autoRL --skill formula-derivation-lingjie-wang
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: formula-derivation
Source: https://github.com/Lingjie-wang/autoRL/tree/main/Auto-claude-code-research-in-sleep/skills/formula-derivation
Command: npx skills add https://github.com/Lingjie-wang/autoRL --skill formula-derivation-lingjie-wang

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve? Research notes often contain scattered equations, mixed approximations, and unclear assumptions that cannot be turned into a coherent theory line. This Skill organizes them into an honest derivation package instead of a fake polished theorem story. ## Core Features & Use Cases - Derivation Structuring: Freezes the target, chooses an invariant object, normalizes assumptions and notation, and builds a derivation map before writing. - Honest Step Classification: Labels every step as identity, proposition, approximation, or interpretation, and marks gaps in an Open Risks section. - Status Reporting: Outputs COHERENT AS STATED, COHERENT AFTER REFRAMING, or NOT YET COHERENT with a blocker report when the notes cannot support a derivation. - Use Case: You have messy theory notes mixing exact algebra and heuristics. The Skill rewrites them into a DERIVATION_PACKAGE.md with target, assumptions, derivation map, main steps, and boundaries ready for paper drafting. ## Quick Start Ask the assistant to turn your current formula notes into a coherent derivation package targeting DERIVATION_PACKAGE.md.

Frequently Asked Questions about formula-derivation

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I turn messy research notes into a coherent formula derivation?▼

Provide your current formulas, notes, or draft and state the target. The Skill freezes the goal, picks an invariant object, normalizes assumptions and notation, then writes a structured derivation package with a derivation map and labeled steps.

When should I use formula derivation versus writing a proof?▼

Use formula derivation when the target, object, or assumptions are still unsettled and you need a coherent theory line. Use a proof-writing skill only after the exact claim, assumptions, and notation are fixed and rigorous proof or refutation is the goal.

What output file does the derivation package get written to?▼

By default it writes to DERIVATION_PACKAGE.md in the project root. If you specify a file path or reference an existing derivation draft, that file is read and updated instead of duplicating content.

What happens if my notes cannot support a coherent derivation?▼

The Skill marks the status as NOT YET COHERENT and writes a blocker report naming the exact issue, such as a missing object, unstable assumptions, or unsupported approximation, plus what reframe or extra assumption would be needed.

Does it write directly into paper or LaTeX appendix files?▼

No. It writes to the derivation package file by default and only edits paper sections or .tex appendix files when you explicitly request that target.

Related Skills

Explore More Education & Research Skills→
TakfesTakfes

research-synthesis-planner

Organize academic paper collections into a structured NotebookLM research synthesis workflow.

Community
Advanced
jkfeejkfee

proof-writer

Generate structured proof packages with dependency maps for ML/AI theorems.

Community
Advanced
stephendorstephendor
1

notation-check

Compare paper drafts against a standard notation file to detect symbol drift.

Community
Advanced
flonatflonat
127

symbolic-check

Verifies algebraic expressions and identities using sympy.

Community
Advanced