Tiden icon

Tiden

Tiden 可根据版本化产品规格、生成测试和质量门禁验证编码代理编写的代码,帮助工程团队在合并发布前确认所需行为已实现并有证据支持。

Tiden

编码代理的意图验证

Tiden 是面向使用编码代理的工程团队的意图验证工具。它会读取代码库,映射产品的组件和规格,并识别尚未获得测试覆盖的承诺。这些规格会与代码一同进行版本管理,而不是被当作一次性的规划文档。

在代理会话期间,Tiden 会为所请求的变更提供工作契约。生成的测试和质量门禁将所请求的行为与证据关联起来:未完成的承诺会阻止会话关闭,已合并的拉取请求则可以获得“变更已验证”的判定。发布视图和错误跟踪将这份记录延伸到代码审查之外,让团队能够了解作出了哪些承诺、哪些承诺已通过,以及生产问题可追溯到哪个发布。

核心能力

产品与意图映射

Tiden 读取代码库并记录产品组件和规格,包括尚未获得测试覆盖的承诺。

版本化规格

规格与代码一同进行版本管理,Tiden 会在每次合并时起草更新,包括绕过 Tiden 的合并。

代理工作契约

每个代理会话都从所请求行为的工作契约开始。当仍有承诺处于未完成状态时,会话无法关闭。

生成测试与质量门禁

Tiden 将承诺关联到生成的测试,并在变更合并前显示每项测试正在运行、已通过还是仍处于未完成状态。

变更与证明审查

分支会展示发生了哪些变更、代码应该执行什么操作,以及哪些测试可以证明这一点,最终由团队的审查者进行审查。

发布与错误可追溯性

发布视图按部分提供判定结果,生产错误可以追溯到与缺失测试或缺失行为相关的发布。

实际使用场景

  • 控制代理编码会话

    为某项功能向代理提供会话级契约,并持续保持会话开放,直到所请求的承诺都有对应的测试证据。

  • 审查生成的拉取请求

    使用分支和拉取请求视图,在合并前比较所请求的行为、实现方式以及证明该行为的测试。

  • 保持产品意图同步

    随着代码变更合并,持续维护产品中组件、规格和测试覆盖的最新映射,包括在 Tiden 外部完成的变更。

  • 调查发布风险与错误

    检查各产品领域的发布覆盖情况,并将生产错误追溯到与该行为相关的发布和缺失测试。

Pros and Cons

Pros

  • 将代理编写的变更与明确的产品规格及测试证据关联起来。
  • 让规格与代码一同进行版本管理,并在合并时更新记录。
  • 支持涵盖代理会话、拉取请求审查、发布和生产错误追踪的工作流。
  • 可与 Claude Code、Cursor、Copilot 和 Codex 配合使用,并提供面向 GitHub、Jira、Linear、Notion 和 Azure DevOps 的已命名连接。

Cons

  • 现有产品资料除了首页摘要和命令行安装程序外,未说明完整的安装、会话、代码库、CI 或部署流程。
  • 质量模型依赖于通过测试表达承诺;网站显示未覆盖的行为会被标记,但未说明如何处理每一种类型的需求。

FAQ

Tiden 如何验证编码代理编写的代码?

Tiden 会读取代码库,映射产品组件和规格,并将规格与代码一同进行版本管理。随后,编码代理从这份工作契约开始会话,测试和质量门禁则验证变更所作出的承诺。

如何开始使用 Tiden?

首页展示了使用 `curl -fsSL https://tiden.ai/install.sh | bash` 进行命令行安装的方法。现有资料未提供更详细的设置说明。

Tiden 支持哪些编码代理和工具?

Tiden 展示了与 Claude Code、Cursor、Copilot 和 Codex 一同使用的方式。首页还列出了 GitHub、Jira、Linear、Notion 和 Azure DevOps 这些已连接工具,但现有内容未说明每项工具的具体集成流程。

什么算作已验证变更?

已验证变更是指通过质量门禁并完成合并的拉取请求。无论运行次数多少,只收取一次费用;重试、失败的变更和机器人提交均免费。

是否提供免费试用?

有。定价页面为 Starter 和 Team 提供 14 天免费试用。如果保留套餐,则从第 15 天开始计费。

Quick Facts

类别
开发者工具
主要用户
发布编码代理变更的工程团队
编码代理
Claude Code、Cursor、Copilot 和 Codex
已命名的工具连接
GitHub、Jira、Linear、Notion 和 Azure DevOps
核心工作流
意图捕获、生成测试、质量门禁、发布判定和错误追踪
安装方式
可通过 tiden.ai/install.sh 使用命令行安装程序