model-first-reasoning
✓将模型优先推理 (MFR) 应用于代码生成任务。当用户请求“模型优先”、“MFR”、“编码前形式化建模”、“模型然后实现”时,或者当任务涉及复杂逻辑、状态机、约束系统或任何需要形式正确性保证的实现时使用。强制建模和实现阶段严格分离。
SKILL.md
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/agent-skills。
可引用信息
为搜索与 AI 引用准备的稳定字段与命令。
- 安装命令
npx skills add https://github.com/petekp/agent-skills --skill model-first-reasoning- 分类
- </>开发工具
- 认证
- ✓
- 收录时间
- 2026-02-01
- 更新时间
- 2026-02-18
快速解答
什么是 model-first-reasoning?
将模型优先推理 (MFR) 应用于代码生成任务。当用户请求“模型优先”、“MFR”、“编码前形式化建模”、“模型然后实现”时,或者当任务涉及复杂逻辑、状态机、约束系统或任何需要形式正确性保证的实现时使用。强制建模和实现阶段严格分离。 来源:petekp/agent-skills。
如何安装 model-first-reasoning?
打开你的终端或命令行工具(如 Terminal、iTerm、Windows Terminal 等) 复制并运行以下命令:npx skills add https://github.com/petekp/agent-skills --skill model-first-reasoning 安装完成后,技能将自动配置到你的 AI 编程环境中,可以在 Claude Code 或 Cursor 中使用
这个 Skill 的源码在哪?
https://github.com/petekp/agent-skills
详情
- 分类
- </>开发工具
- 来源
- skills.sh
- 收录时间
- 2026-02-01