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。