# agent-spec > AI 代码契约验证工具,让 AI 按规范开发,机器自动验证代码是否达标 ## 介绍 agent-spec 是一个 AI 原生的 BDD(行为驱动开发)契约验证工具。核心思想是:**人审契约 → Agent 按契约实现 → 机器验证代码是否满足契约**。 它通过结构化的 Task Contract(任务契约)来规范 AI 编程工作流,让代码审查从逐行看代码转变为验证契约是否达成。 ## 核心概念:Task Contract 任务契约包含四个核心部分: - **Intent(意图)**: 要做什么,为什么做 - **Decisions(已定决策)**: 技术方案中已确定的部分 - **Boundaries(边界)**: 允许改什么、禁止碰什么 - **Completion Criteria(完成条件)**: BDD 场景定义明确的通过/失败标准 支持中英文双语编写。 ## 主要功能 - **契约驱动开发**: 先写契约,再写代码 - **自动化验证**: 命令一键运行 lint + verify + report - **变更边界检查**: 自动检测代码变更是否在允许范围内 - **AI Agent Skills**: 为 Claude Code、Codex、Cursor 提供 Skill 集成 - **自举设计**: 项目本身用 agent-spec 管理自己的开发 ## 快速开始 ## 适用场景 - 需要 AI 代理(Claude Code/Codex/Cursor)协作开发的团队 - 希望建立契约即文档工作流的工程师 - 追求代码审查标准化的开源项目 --- **分类**:源码 **标签**:验证 · AI · 契约 **作者**:Xiao.Xi **链接**:https://octohz.com/p/1497