tenet

Check code against Markdown contracts.

Install

curl -fsSL https://tenet-contracts.com/install.sh | bash

macOS and Linux · ARM64 and x86-64. Installation →

Check a change

export OPENROUTER_API_KEY='your-key'
tenet check --base origin/main

Tenet finds relevant contracts, checks each file, and reports failures and unresolved questions.

CONTRACT: Preserve database failures
                     │
               Changed files
                     │
                Applicable?
                 /       \
          unrelated     yes / uncertain
              │               │
          excluded        Violates?
                         /    |    \
                       no    yes   unclear
                       │      │       │
                     pass    fail  uncertain

Checks send file contents to Jev through your provider. Review findings before acting on them.

Try a contract

tenet validate
tenet check --snapshot fixtures/cache/project

Check a small project, then apply a patch that breaks one requirement. Inspect the conclusions against the code.

Write a contract →

Use it in a review

tenet check --base origin/main --reporter jsonl

A reviewing agent investigates candidate failures, resolves uncertainty, and checks whether the PR introduced the problem.

Review workflow →