产品与意图映射
Tiden 读取代码库并记录产品组件和规格,包括尚未获得测试覆盖的承诺。
Tiden 是面向使用编码代理的工程团队的意图验证工具。它会读取代码库,映射产品的组件和规格,并识别尚未获得测试覆盖的承诺。这些规格会与代码一同进行版本管理,而不是被当作一次性的规划文档。
在代理会话期间,Tiden 会为所请求的变更提供工作契约。生成的测试和质量门禁将所请求的行为与证据关联起来:未完成的承诺会阻止会话关闭,已合并的拉取请求则可以获得“变更已验证”的判定。发布视图和错误跟踪将这份记录延伸到代码审查之外,让团队能够了解作出了哪些承诺、哪些承诺已通过,以及生产问题可追溯到哪个发布。
Tiden 读取代码库并记录产品组件和规格,包括尚未获得测试覆盖的承诺。
规格与代码一同进行版本管理,Tiden 会在每次合并时起草更新,包括绕过 Tiden 的合并。
每个代理会话都从所请求行为的工作契约开始。当仍有承诺处于未完成状态时,会话无法关闭。
Tiden 将承诺关联到生成的测试,并在变更合并前显示每项测试正在运行、已通过还是仍处于未完成状态。
分支会展示发生了哪些变更、代码应该执行什么操作,以及哪些测试可以证明这一点,最终由团队的审查者进行审查。
发布视图按部分提供判定结果,生产错误可以追溯到与缺失测试或缺失行为相关的发布。
为某项功能向代理提供会话级契约,并持续保持会话开放,直到所请求的承诺都有对应的测试证据。
使用分支和拉取请求视图,在合并前比较所请求的行为、实现方式以及证明该行为的测试。
随着代码变更合并,持续维护产品中组件、规格和测试覆盖的最新映射,包括在 Tiden 外部完成的变更。
检查各产品领域的发布覆盖情况,并将生产错误追溯到与该行为相关的发布和缺失测试。
Tiden 会读取代码库,映射产品组件和规格,并将规格与代码一同进行版本管理。随后,编码代理从这份工作契约开始会话,测试和质量门禁则验证变更所作出的承诺。
首页展示了使用 `curl -fsSL https://tiden.ai/install.sh | bash` 进行命令行安装的方法。现有资料未提供更详细的设置说明。
Tiden 展示了与 Claude Code、Cursor、Copilot 和 Codex 一同使用的方式。首页还列出了 GitHub、Jira、Linear、Notion 和 Azure DevOps 这些已连接工具,但现有内容未说明每项工具的具体集成流程。
已验证变更是指通过质量门禁并完成合并的拉取请求。无论运行次数多少,只收取一次费用;重试、失败的变更和机器人提交均免费。
有。定价页面为 Starter 和 Team 提供 14 天免费试用。如果保留套餐,则从第 15 天开始计费。
ByteAsk 是面向 C 和 C++ 的终端优先 AI 编码 agent,可直接编辑仓库,并在展示 diff 前用真实编译器、调试器、sanitizers 和测试验证修改。提供免费版与付费方案。
Manta AI 是面向团队的自治式网页应用测试工具,可从 URL 自动探索应用、映射行为、捕捉回归,并用自然语言生成测试,无需脚本或维护选择器。
Epherem 是一款面向 AI 编程工具构建的 Web 应用静态安全扫描器,检查源文件和依赖项中的常见安全错误,并提供分类结果与修复建议,无需运行应用。
CreateOS Sandbox 是基于 Firecracker 微型虚拟机的隔离计算环境,用于运行代码和 agent 工作负载,支持私有网络、SDK、CLI 和 MCP 程序化控制。
GitBot 是基于本地浏览器的工作区,可借助 Claude Code、Codex 或 OpenCode 创建可复用的编程机器人,跨仓库文件夹运行代理,并保留持久线程与可配置权限。
hob 是面向编码 agent 的独立工作区,可将 agent 会话、终端、历史记录和后续工作围绕你已在用的工具与提供商有序管理,适合重视本地路由、历史和工作区结构控制的开发者。