formula-derivation

Constructs structured derivation outlines from research problem statements and invariant objects.

1|Updated Mar 24, 2026
One-click install
npx skills add https://github.com/kitcaf/skills --skill formula-derivation-kitcaf
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: formula-derivation
Source: https://github.com/kitcaf/skills/tree/main/skills/skills-codex/skills/formula-derivation
Command: npx skills add https://github.com/kitcaf/skills --skill formula-derivation-kitcaf

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Helps researchers build a complete derivation line from a problem statement, clarify assumptions, and separate the derivation from remarks, turning messy notes into a paper-ready derivation skeleton.

Core Features & Use Cases

  • Define the right invariant object to anchor the derivation.
  • List assumptions and notation up front, and classify each step as identity, proposition, approximation, or interpretation.
  • Derive from a global quantity and perform a coherent decomposition, including handling simplified slices and transitions from local to general regimes.

Quick Start

Provide a problem statement, a target claim, and an invariant object, and the skill will generate a structured derivation outline.

Frequently Asked Questions about formula-derivation

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

FAQPage Schema
How do I structure a mathematical derivation from messy research notes into a paper-ready outline?▼

Deriving formulas from messy notes requires defining an invariant object, stating assumptions and notation upfront, and classifying each step as identity, proposition, approximation, or interpretation to build a paper-ready outline.

What is an invariant object and why is it needed for theory development?▼

An invariant object anchors theory development by centering the derivation workflow across scenarios, ensuring coherent decomposition from global quantities to local regimes while maintaining consistency.

How do I classify derivation steps when developing a research formula?▼

Classify each derivation step as identity, proposition, approximation, or interpretation to separate formal mathematical derivations from explanatory remarks and build a structured outline.

Can I derive formulas from a global quantity and handle local to general regime transitions?▼

Yes, you can derive from a global quantity by performing coherent decomposition that handles simplified slices and manages transitions from local regimes to general cases within a structured outline.

What inputs do I need to start generating a structured derivation outline?▼

Provide a problem statement, a target claim, and a defined invariant object alongside explicit assumptions and notation to generate a structured derivation outline.