ZhangHanDong/agent-spec

解决的问题

agent-spec 是一个「意图编译器」，旨在弥合人类需求与 AI 生成代码之间的差距。它通过将非结构化的人类请求（PRD、问题、对话等）转换为可验证的、机器可读的 Task Contract，防止 AI 代理产生「幻觉」或偏离原始意图。这确保了在代码被接受之前，其实施已通过严格标准进行机械验证。

工作原理

该项目实现了一个从高层意图到验证代码的编译流水线：

1. 输入：人类意图以结构化需求（中间表示或 IR）的形式被捕获。
2. 降级：这些需求被转换为 Task Contract，定义了意图、技术决策、边界（可修改与不可修改的部分）以及完成标准（BDD 场景）。
3. 实现：AI 代理基于这些合同实现代码。
4. 验证：使用 cargo test、linting、结构检查等工具，通过无模型的确定性后端验证实现，确保代码满足合同要求。
5. 活跃追踪：系统追踪需求是否随时间保持遵守或被违反。

适用对象

主要面向使用 AI 代理（如 Claude Code、Cursor 或 Codex）自动化编码任务，且需要对 AI 生成变更进行严格治理、可追溯性和机械验证的开发者和团队。

核心亮点

• 确定性验证：AI 用于起草和编码，但验证环节是无模型且确定性的。
• 任务合同：支持英文和中文的专用 DSL，用于定义边界和 BDD 场景。
• 显式测试绑定：将特定 BDD 场景直接链接到代码库中的实际测试函数。
• 代理技能：包含为流行 AI 工具预构建的编写、估算和意图编译技能。
• 计划生成：为 AI 代理生成自包含的提示，包含合同、代码库上下文和拓扑排序的任务草图。