skills.rest
FuZhiyu
FuZhiyuCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

theory-modeling

Define model objects, assumptions, derivations, and verification records for auditable mathematical modeling.

8|2|Updated Apr 9, 2026
Search Tags:#mathematical modeling#assumption mapping#proof verification#equilibrium analysis#research reproducibility#theoretical economics#comparative statics
One-click install
npx skills add https://github.com/FuZhiyu/superRA --skill theory-modeling
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: theory-modeling
Source: https://github.com/FuZhiyu/superRA/tree/main/skills/theory-modeling
Command: npx skills add https://github.com/FuZhiyu/superRA --skill theory-modeling

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

This Skill prevents silent algebra, unstated assumptions, ambiguous notation, and unverifiable claims in mathematical modeling and theoretical research.

Core Features & Use Cases

  • Model Inventory and Assumption Mapping: Define primitives, endogenous objects, timing, solution concepts, notation, and verification requirements before planning.
  • Auditable Derivations: Enforce per-symbol and per-assumption ledgers, explicit solution concepts, one-move-per-step proofs, stated reasoning, and case handling.
  • Verification and Integration: Require independent symbolic, numerical, limiting-case, and rendering checks while preserving modeling discipline through refactoring and integration.
  • Use Case: Apply the Skill to derive equilibrium conditions, prove comparative statics, validate a calibration, or prepare reader-ready mathematical notes with traceable assumptions and verification records.

Quick Start

Ask the theory-modeling skill to inventory the model, map its assumptions, derive the requested result, and verify it with explicit checks.

Frequently Asked Questions about theory-modeling

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

FAQPage Schema
How do I prevent silent algebra and unstated assumptions in mathematical modeling?▼

To prevent silent algebra in mathematical modeling, enforce per-symbol and per-assumption ledgers that require explicit notation, one-move-per-step proofs, and stated reasoning before any results are reported.

What is assumption mapping and how does it work for theoretical economics models?▼

Assumption mapping in theoretical economics defines primitives, endogenous objects, timing, solution concepts, and notation before planning, ensuring every derivable equilibrium condition has a traceable assumption record.

How do I verify comparative statics derivations step by step?▼

To verify comparative statics derivations, apply independent symbolic checks, numerical validation, and limiting-case analysis after enforcing one-move-per-step proofs with explicit case handling and stated reasoning.

Can I use this approach to prepare reader-ready mathematical notes with traceable proofs?▼

Yes, you can prepare reader-ready mathematical notes by rendering model inventories, assumption ledgers, and verification records that preserve modeling discipline through refactoring and integration.

Does this method require explicit notation ledgers for equilibrium analysis?▼

Yes, equilibrium analysis requires explicit notation ledgers and user-gated canonical conventions to define solution concepts and ensure first-order conditions are auditable before reporting results.

What are the limitations of automated proof verification for research reproducibility?▼

Automated proof verification for research reproducibility requires disciplined integration of equations and artifacts, meaning unstated assumptions or ambiguous notation will block derivation unless explicitly mapped before planning.

Related Skills

Explore More Education & Research Skills→
sjtuytcsjtuytc
27

formula-derivation

Structure scattered equations and assumptions into coherent derivation packages.

Community
Advanced
goupup-aigoupup-ai
2

formula-derivation

Organize scattered formula notes into paper-ready derivation packages with labeled step types.

Community
Intermediate
CharGrnmnCharGrnmn
1

gpd-sensitivity-analysis

Analyze physics model parameters by computing partial derivatives and condition numbers.

Community
Advanced
rakibulismrakibulism
2

mathematician

Prove theorems and solve mathematical problems with rigorous derivations and verification.

Community
Advanced