AI 原生的 BDD 规范验证 CLI 工具,通过 Task Contract DSL 为 AI Agent 任务执行提供结构化质量门控。
agent-spec 是一个用 Rust 编写的 AI 原生行为驱动开发工具,核心设计理念是"合同驱动开发"——人类定义结构化任务合同,AI Agent 按合同实现,机器验证代码是否满足合同。
规范语言:项目定义了 Task Contract DSL,由四个核心部分构成——Intent(意图)、Decisions(已定决策)、Boundaries(边界)、Completion Criteria(完成条件,基于 BDD 的 Given/When/Then 场景)。DSL 原生支持中英双语,文件格式为 .spec 或 .spec.md。
完整生命周期:从 init 创建合同模板,到 lint 分析规范质量(模糊动词、覆盖缺口),到 verify 验证代码实现,再到 lifecycle 组合质量门控和 guard 仓库级守卫,覆盖开发全流程。explain 可生成 Markdown 格式的 PR 审查摘要,stamp 生成 Git Trailer 实现可追溯性。
变更集感知:验证支持针对 Git staged、worktree 及 Jujutsu VCS 的变更发现,路径约束可机械式强制执行,适用于 pre-commit 和 CI 场景。
AI 验证层:提供可插拔的 AiBackend 架构,当前为骨架状态(stub/caller 模式),未覆盖场景产出不确定结果,真实模型接入尚在规划中。
AI 编码工具集成:内置 Claude Code Skills(tool-first、authoring、estimate)、Codex AGENTS.md 和 Cursor .cursorrules 配置,可直接与主流 AI 编码助手协同工作。项目采用自举方式开发,使用自身规范管理自身。
安装方式:
# 一键安装(CLI + Claude Code Skills)
./install-skills.sh
# 或仅安装 CLI
cargo install agent-spec
快速开始:
agent-spec init --level task --lang en --name "User Registration API"
agent-spec contract specs/my-task.spec
agent-spec plan specs/my-task.spec --code .
agent-spec lifecycle specs/my-task.spec --code . --format json
当前版本 0.2.7,采用 MIT 许可证,由 ZhangHanDong 维护。