Tessl 发布 Verifiers,用纯文本规则检查每次 Agent 代码变更

工具AI 评分 78/100Tessl:产品与工程博客待复核
AI 聚合

本条为 AI 依据下方公开信源自动整理生成的摘要,不构成转载,可能存在偏差,请以原文为准。整理者:贝果科技 AI 资讯助手。

本条选题由第三方线索发现;线索方提供的摘要未被采用,本页内容依据下方信源整理。线索来源:AIHOT

Tessl 推出 Verifiers,一种写在仓库里的纯文本规则,每次代码变更都会运行并返回通过或失败,可像 lint 或测试一样在本地、pre-commit 或 CI 中使用。它面向 linter 无法覆盖的规则,例如「面向用户的错误必须告诉用户下一步做什么」。Verifier 是仓库中的 JSON 文件,包含指令、适用条件和一组是/否检查项;运行 tessl change verify 时由 LLM 裁判读取相关文件并逐条打分。适用文件范围与严格程度在 tessl.json 的 verify 块中配置,每组可设为 info、warn 或 error,CI 中 warn 只报告不阻断,error 会以非零退出并可能阻止 PR。默认只检查当前变更涉及的文件,若修改 verifier 或其配置则重新检查其覆盖的全部内容。该功能已 GA。

全文梳理

AI 摘要依据下方信源原文自动整理,非原文转载

规则以纯文本形式进仓库

Tessl Verifiers 的定位是补上 linter 与 AI 代码评审之间的空档。团队通常已经为 Agent 写好了编码规范,比如指定该用哪个辅助函数、哪些 API 不该调用,以及不要记录 token 这类安全实践。Agent 多数时候会遵守,但不会每次都覆盖全部情况,规则一旦被漏掉,往往要到代码评审甚至更晚才被发现。linter 只能处理确定性规则,AI 代码评审则面向整个 PR 找通用问题,无法保证每次运行都稳定检查同一条规则。Verifiers 的做法是让检查既能理解代码,又能确定性地重复执行同一套规则。

运行方式与判定结果

一个 verifier 是仓库中的 JSON 文件,里面包含一条指令、规则何时适用的条件,以及一组是/否形式的检查项。执行 tessl change verify 时,由 LLM 裁判读取相关文件,对每条规则给出通过或失败。由于它像 lint 或测试一样返回明确结果,可以放在本地运行、接入 pre-commit,或作为 CI 门禁。默认情况下,该命令只检查当前变更所触及的文件;如果改动了某个 verifier 或其配置,则会重新检查该 verifier 覆盖的全部内容。

范围与严重级别可配置

verifier 适用的文件以及严格程度并不写在 verifier 内部,而是在 tessl.json 的 verify 块中设置,每个组可指定 info、warn 或 error 三种级别。在 CI 中,warn 会被报告但不会让构建失败,error 会以非零状态退出并可能阻止 PR 合并。这种把作用范围与严重级别外置的设计,使同一个 verifier 可以在不同团队间复用,只需各自调整配置。该功能目前已正式可用(GA),官方文档提供了上手说明。

为什么值得看

给 Agent 生成的代码加一道可复用的确定性规则闸门,弥补 linter 与 AI 代码评审之间的空白。

信源1 家

  1. [1]Tessl:产品与工程博客线索来自 AIHOTTessl Verifiers 正式发布,用仓库内纯文本规则检查每次 Agent 代码变更

关键事实

  • Verifiers 是写在仓库里的纯文本规则,每次代码变更都会检查并返回通过或失败[1]

  • 可在本地、pre-commit 或作为 CI 门禁使用,用法与 lint 或测试相同[1]

  • 面向 linter 无法检查的规则,例如面向用户的错误必须告知用户下一步操作[1]

  • Verifier 是 JSON 文件,含指令、适用条件和是/否检查清单,由 LLM 裁判逐条打分[1]

  • 适用范围与严格程度在 tessl.json 的 verify 块配置,分 info、warn、error 三级,error 可阻止 PR[1]

相关 · 工具

本页内容由 AI 自动聚合公开信源生成,仅供了解行业动态参考,不构成任何投资或决策建议。如需引用请以原文出处为准。