facebookresearch/autoform-bot：Meta开源的形式化代码规划与审查Agent

facebookresearch autoform-bot 仓库，采用 MIT 许可开源。项目定位超出 Skills 式的技能封装：以形式化方式支持代码规划与审查，让生成前的计划与生成后的检查都有确定性结构可依。关注代码质量可控性的团队可将其作为 Agent 写码流程中的规划与门禁组件评估。本次公开材料未披露具体形式化方法与支持的模型范围。