GRACE 合约式工程工具集
用可验证的项目约束和知识图谱，引导 AI 按批准的变更方案编写代码。
- Star 数
- ★ 251
- 最近更新
- 15 天前
- License
- MIT
- 主语言
- TypeScript
- FA 评分
- 74/100 · 存在缺口
30 秒速览
- 运行形态
- 可在哪里用
- 兼容但需适配Codex · Claude Code
- 费用
- 免费，无需付费服务
- 上手难度
- 中 · 需要几步配置
- 开始前需要
- 典型场景
- 希望先批准变更规格和实现计划，再让 Claude Code、Codex CLI 或 Kilo Code 处理代码修改的工程团队。
- 不适合
- 需要自动分析 Go、Rust、Java 等语言导出一致性的团队
- 无法安装 Bun 或所需语言运行时的 CLI 用户
- 源码审查
- 74/100 · 存在缺口
这个 Agent 能做什么，适合哪些场景？
GRACE 是一套以合约为先的 AI 工程方法，围绕语义标记、`.grace` XML 工件、知识图谱导航、断言、作用域和日志验证展开。此仓库分发 GRACE Agent Skills，并提供可选的 Bun 驱动 `grace` CLI；它是打包与分发仓库，不是面向终端用户的应用。GRACE 4 将 `.grace` 作为项目持久模型，记录上下文、图谱与验证投影以及变更方案。Skills 引导 Agent 从初始化、规格和计划走到执行、验证与归档，CLI 则负责 lint、状态检查和基于投影的查询。文档列出 Claude Code Marketplace 和 Agent Skills 兼容安装方式，并说明支持 Claude Code、Codex CLI 和 Kilo Code；具体平台入口与命令以各自安装方式为准。
在项目根目录运行 $grace-init 创建 .grace 骨架，再由 $grace-spec 和 $grace-plan 生成变更规格与计划。计划包含断言、作用域、任务及验证门；执行前可用 grace lint --path <root> --assertions current 检查当前基线，并用 grace status --path <root> --json 查看健康状态。$grace-execute 按顺序或并行安全模式执行批准计划，grace lint 可检查基线、目标和最终断言，也可选择运行 MustPassCommand。CLI 还提供 grace module find/show、grace verification find/show 和 grace file show 查询图谱、验证条目及文件标记。工具输出 lint 与状态结果、投影查询结果和运行日志；是否运行测试类命令由 --run-commands 显式启用。
- 希望先批准变更规格和实现计划，再让 Claude Code、Codex CLI 或 Kilo Code 处理代码修改的工程团队。
- 维护
.grace项目模型、需要检查上下文、图谱、验证和活动变更完整性的团队。 - 希望在实现前验证基线、在应用变更前验证最终断言的开发者。
- 需要通过
grace module或grace verification命令查找模块、依赖和验证条目的维护者。 - 从 GRACE 3 迁移到 GRACE 4、希望由 Agent 应用迁移并用 CLI 校验结果的项目团队。
如何安装或部署这个 Agent？
先安装 Skills；CLI 可选，但安装后可用于检查和查询。Claude Code 可通过 Marketplace 安装；Agent Skills 兼容环境可复制仓库中的技能目录。CLI 需要 Bun 在 PATH 中，并从 npm latest 安装稳定版。README 未给出 Kilo Code 的专属安装命令，也未说明各 Agent 的账号或模型费用。
如何使用这个 Agent？
以下为新建 GRACE 4 项目的文档流程；$grace-* 是 Agent Skill 调用名称。安装可选 CLI 后，从项目根目录运行检查命令：
这个 Agent 有哪些优点和局限？
.grace将需求上下文、图谱、验证和变更工件组织为持久项目模型。- 流程包含规格审批、计划、基线检查、执行和最终断言检查等明确阶段。
- CLI 支持 lint、状态、模块、验证和文件标记查询，并为 JSON 失败响应定义稳定错误封套。
- TypeScript/JavaScript 语义分析由打包的编译器支持；Python 和 Dart 也有运行时适配器。
- CLI 需要 Bun；受治理的 Python 和 Dart 文件还分别需要对应运行时。
- 未注册分析器的语言只做结构性治理，
MODULE_MAP依赖用户提供，导出一致性不受分析。 - GRACE 4 不把 GRACE 3 项目文档当作当前状态；迁移需运行
$grace-migrate并审阅报告。 - 仓库是 Skills 和可选 CLI 的分发包，不是独立的终端用户应用。
这个 Agent 与同类方案有什么区别？
与相关度最高的同类 agent 并排比较关键指标。
| Agent | 源码审查 | 形态 / 费用 | Star | 最近更新 | 主语言 | 完整支持的平台 |
|---|---|---|---|---|---|---|
| GRACE 合约式工程工具集 当前 | 74 · 存在缺口 | Agent 插件 / 技能免费 | ★ 251 | 15 天前 | TypeScript | Codex · Claude Code |
| WUPHF — 带共享记忆的 AI 员工协作办公室 | 66 · 存在缺口 | 命令行工具免费 + 模型费 | ★ 1.5k | 今天 | Go | Codex · Claude Code |
| Cognee 智能体记忆平台 | 47 · 缺口较多 | 代码库 / SDK免费 + 模型费 | ★ 32k | 今天 | Python | Claude Code · OpenAI API |
| Pilot Shell | 53 · 缺口较多 | 命令行工具付费 | ★ 2.1k | 1 天前 | JavaScript | Claude Code |
FollowAgents 如何评估这个 Agent？
查看各维度的扣分理由
README 说明验证命令默认从项目根目录运行、路径拒绝绝对路径和越界路径，并对迁移清理设置多项前置条件和明确确认；命令执行也需显式启用。缓存位于项目外且可关闭，降低了权限和副作用风险。扣分原因：所给材料没有说明敏感数据、凭据或运行日志的访问控制与脱敏策略；清理恢复措施有限，发布和外部命令的风险说明也不完整。发布者身份未知，材料未充分说明维护者归属或可信来源。
README 描述了明确的失败关闭行为、运行时缺失与适配器失败的不同状态，以及结构化 JSON 错误信封和简洁文本错误。CI 配置覆盖 Linux、Windows 与真实 Dart 适配器检查，包清单也定义 Bun 和依赖。扣分原因：这些配置与文档只能佐证设计和检查意图；本次静态审查没有执行它们，且材料未给出依赖可用性承诺。
技能目录列出从初始化、规格、计划、执行到迁移、审查和查询等场景；README 详细界定支持语言、运行时要求、治理边界及 GRACE 3 迁移路径。扣分原因：材料未提供技能触发条件或何时不应调用的规则，因此触发精度只能评为有限；不同环境的适配仍依赖 Bun 以及部分语言运行时。
README 有清晰的目录、安装方式、快速开始、命令表和限制说明；LICENSE 与 package.json 明示 MIT，版本为 4.2.1。扣分原因：给定材料没有 CHANGELOG 内容或明确维护者责任主体；版本和发布流程虽有说明，但不足以证明完整的变更记录与长期维护承诺。
CLI 提供 lint、状态、模块与验证查询，并支持文本和 JSON 输出；技能覆盖从项目建模到变更验证的完整工作流，且项目级检查和缓存可减少重复分析。扣分原因：材料未量化节省的时间、运行成本或采用门槛，且 Bun 与部分语言运行时构成普通用户的额外成本。
README、package.json、许可证及 CI 和发布工作流提供了关于安装、版本、依赖与验证流程的多处可核对陈述；文档也区分精确分析、启发式置信度和未支持语言的结构检查。扣分原因：工作流和脚本配置不能证明在本次审查中实际通过；若干功能与安全性描述仍只有仓库内陈述，缺少独立佐证。
- 本评估仅依据所给静态文件，置信度为低；未执行 CLI、技能或 CI 工作流。
- 敏感数据处理、凭据管理及运行日志保护策略在所给材料中不清楚。
- 执行已声明的 MustPassCommand 会运行项目命令；使用者应检查这些命令及其副作用。
常见问题
使用 CLI 是否必须安装 Bun？
PATH 中；Skills 本身应先安装，CLI 是可选但推荐的工具。它会自动运行测试或项目命令吗？
MustPassCommand，但运行这些命令需显式添加 --run-commands。文档建议把它们作为测试、类型检查、构建或格式检查等项目证据。哪些语言能获得语义导出分析？
GRACE 3 项目可以直接作为 GRACE 4 当前状态使用吗？
$grace-migrate，审阅迁移报告；CLI 会校验生成的 .grace 结果，但不会自行转换旧文档。