model-first-reasoning

Features and purpose

Apply Model-First Reasoning (MFR) to code generation tasks. Use when the user requests "model-first", "MFR", "formal modeling before coding", "model then implement", or when tasks involve complex logic, state machines, constraint systems, or any implementation requiring formal correctness guarantees. Enforces strict separation between modeling and implementation phases.

Quick start

Follow the repository instructions for this skill and your agent. Review the files and dependencies before adding it to your workflow.