model-first-reasoning

A rigorous methodology that REQUIRES constructing an explicit problem MODEL before any reasoning or implementation. The model becomes a frozen contract that governs all downstream work.

Based on Kumar & Rana (2025), "Model-First Reasoning LLM Agents: Reducing Hallucinations through Explicit Problem Modeling" (arXiv:2512.14474)

Hallucination is not merely the generation of false statements—it is a symptom of reasoning performed without a clearly defined model of the problem space.

Applica il Model-First Reasoning (MFR) alle attività di generazione del codice. Utilizzare quando l'utente richiede "prima il modello", "MFR", "modellazione formale prima della codifica", "modello poi implementazione" o quando le attività coinvolgono logica complessa, macchine a stati, sistemi di vincoli o qualsiasi implementazione che richiede garanzie di correttezza formale. Applica una rigorosa separazione tra le fasi di modellazione e implementazione. Fonte: petekp/claude-skills.