
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)协作开发的团队
- 希望建立契约即文档工作流的工程师
- 追求代码审查标准化的开源项目
暂无评论
