Introducing Tessl Verifiers: Enforce AI Coding Standards in Every Change
Tessl Verifiers introduce a mechanism to enforce complex, high-level coding standards and invariants in a codebase that traditional linters and unit tests cannot reliably cover. Verifiers allow developers to write rules in plain language, which are then automatically checked on every code change. This capability is designed to improve code quality consistency, especially when dealing with code generated by AI agents, by making previously subjective rules into deterministic, enforceable checks that can be run locally, pre-commit, or as a CI gate.
Key takeaways
-
Verifiers vs. Traditional Checks
Verifiers sit between open-ended code review and deterministic linting. They enforce rules that require a degree of judgment (e.g., 'every user-facing error must tell the user what to do next') but can be codified into a clear, repeatable rule set.
-
Addressing AI/Agent Code Drift
As AI agents write more code, Verifiers provide a way to codify specific conventions and invariants that human reviewers or agents might forget or fail to consistently apply, ensuring standards are met every time.
-
Enforcement Scope
Verifiers are suitable for narrow, critical rules (e.g., 'all user-facing text must be in US English') and can be run affordably on every single commit in a CI pipeline, allowing for tens of thousands of judgments.