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.