formula-derivation

Structure scattered equations into a coherent derivation package with classified steps.

Updated Apr 21, 2026
One-click install
npx skills add https://github.com/Shallow-W/llm-wiki --skill formula-derivation-shallow-w
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: formula-derivation
Source: https://github.com/Shallow-W/llm-wiki/tree/main/.claude/skills/formula-derivation
Command: npx skills add https://github.com/Shallow-W/llm-wiki --skill formula-derivation-shallow-w

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

You have scattered equations, unclear target objects, and formulas that do not connect into a credible derivation line; this Skill helps you produce an honest, structured derivation package instead of a polished story.

Core Features & Use Cases

  • Derivation package construction: Organizes a complete derivation document with target, status, invariant object, assumptions, notation, and a derivation map.
  • Target freezing and object selection: Forces explicit clarification of what is being derived and chooses a stable invariant object to organize the reasoning.
  • Step classification and coherence checks: Labels each nontrivial step as identity, proposition, approximation, or interpretation, and downgrades to a blocker report when coherence is not supportable.

Quick Start

Ask the AI to convert your current messy formulas and assumptions into a single DERIVATION_PACKAGE.md entry with clear status and an honest derivation map.

Frequently Asked Questions about formula-derivation

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

FAQPage Schema
How do I structure scattered research notes into a coherent formula derivation?

To structure scattered research notes into a coherent formula derivation, you need to freeze the derivation target, select a stable invariant object, normalize assumptions, and classify each step. This produces an honest derivation package instead of a polished story.

What is the best way to organize assumptions and notation for paper-ready formulas?

Organizing assumptions and notation for paper-ready formulas requires explicit normalization of symbols and conditions before manipulation. By freezing the target object and mapping each step as an identity or proposition, you ensure internal coherence.

How do I classify mathematical derivation steps during theory writing?

Classify mathematical derivation steps during theory writing by labeling each nontrivial operation as an identity, proposition, approximation, or interpretation. This classification enforces coherence checks and downgrades unsupported logic into an explicit blocker report.

What should I do when my derivation target and invariant object are not fully fixed?

When your derivation target and invariant object are not fully fixed, you must reframe the problem by adding extra assumptions. Freezing the target before manipulation and choosing a stable invariant object organizes the reasoning into a credible derivation line.

Can I use this approach to convert messy equations into a single derivation document?

Yes, you can convert messy equations into a single derivation document. The process structures your scattered formulas and unclear goals into a complete package featuring a derivation map, status tracking, and coherence verification.

Why does my formula derivation report a blocker instead of completing the steps?

Your formula derivation reports a blocker instead of completing the steps because coherence is not supportable at that stage. When step classification reveals unsupported approximations or interpretations, the system downgrades to an explicit blocker report to maintain honesty.