tenet

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 --changed-since 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.

Test the contract

tenet validate
tenet eval --contract database-failures

Keep passing and failing examples beside the requirement. Evaluation tests the same relevance and verification passes used on your code.

Write a contract →

Use it in a review

tenet check --changed-since origin/main --reporter jsonl

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

Review workflow →