夜雨聆风【导读】FM-Agent发布Codex插件，可通过Codex Marketplace安装。
FM-Agent发布Codex插件，支持Coding Agent生成代码 → FM-Agent 验证代码质量并生成 Bug 报告 → Coding Agent根据报告自动修复 Bug 的流程。截至目前，FM-Agent可以通过插件形式同时集成到Claude Code和Codex两大主流Coding Agent中。
插件 GitHub 仓库：
https://github.com/fmagent-project/FM-Agent-Plugin
安装和配置
用户可通过Codex Marketplace 直接下载安装 FM-Agent 插件，具体流程如下：
已关注
关注
重播 分享 赞
运行流程
安装完成后，只需运行 $fm-agent-plugin:FM-Agent-Auto-Fix 命令，即可启动代码自动验证与修复流程。以下是一个实际运行示例：
已关注
关注
重播 分享 赞
总结
FM-Agent可以通过插件形式同时集成到Claude Code和Codex两大主流Coding Agent中，欢迎体验试用，提供意见，让FM-Agent成为你可靠的AI编程伙伴！同时，欢迎加入FM-Agent用户群和开发者群。
往期文章
FM-Agent团队，公众号：形式化方法智能体FM-Agent发布Claude Code插件，打通“开发-验证-修复”流程