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.

將模型優先推理 (MFR) 應用於程式碼產生任務。當使用者請求「模型優先」、「MFR」、「編碼前形式化建模」、「模型然後實現」時，或當任務涉及複雜邏輯、狀態機、約束系統或任何需要形式正確性保證的實現時使用。強制建模和實作階段嚴格分離。 來源：petekp/claude-skills。