用途:帮助编写与编辑 agent-spec 的 Task Contract(.spec/.spec.md),把“什么算正确”写成精确契约,由机器验证代码。
主要能力:创建规范文件、改进意图/约束/边界/场景、编写带测试选择器的 BDD 场景、修复 lint 警告与质量分、维护 agent-spec 自身规范。写前先路由产物:辩论进 knowledge/proposals/(LEP-),架构裁决进 knowledge/decisions/(ADR-),义务进 knowledge/requirements/(REQ-),可执行任务契约进 specs/(task-)。当存在 requirements 语料时,任务契约必须带 satisfies: [REQ-*]。
必要用法:先检查 CLI,command -v agent-spec || cargo install agent-spec;未安装则提示 cargo install agent-spec。脚手架示例:agent-spec init --level task;改写/对齐任务可用 agent-spec init --level task --template rewrite-parity --lang en --name "CLI Parity Contract"。写完后必须运行 agent-spec parse <spec> 与 agent-spec lint <spec> --min-score 0.7。
结构要点:契约含 Intent、Constraints、Decisions、Boundaries、Acceptance Criteria、Out of Scope、Questions;每行只用一个受支持的节标题,场景用裸 DSL 行,不新增顶层节。异常场景数应不少于正常路径。可用 Rule 分组场景,id 用 kebab-case,分隔符为破折号或两个以上空格。可用 <!-- lint-ack: <code> — <reason> --> 记录有理由的警告豁免,错误不可豁免。
适用场景:CLI、MCP、协议、改写/对齐等需要可验证契约的任务;普通增量任务不必强制对齐矩阵。
限制:资料未提供收费、价格、平台支持范围等信息;未安装 CLI 时无法执行校验命令。