Installation
Install the latest release on macOS or Linux, on ARM64 or x86-64:
curl -fsSL https://tenet-contracts.com/install.sh | bash
tenet --versionFor version 0.2.0 specifically, use /v0.2.0/install.sh.
Archives and SHA-256 checksums are also available on GitHub Releases.
To build from a source checkout:
cargo install --path crates/tenet --lockedProvider
export OPENROUTER_API_KEY='your-key'
tenet check src/To use TypeSafe directly:
export TYPESAFE_API_KEY='your-key'
tenet check --provider typesafeTenet uses the same provider adapter as ev-grep. Supported model IDs are pinned:
| Provider | Model |
|---|---|
openrouter | typesafe/jev-1.13-20260917 |
typesafe | jev-1.13.0 |
--provider and --model override TENET_PROVIDER and TENET_MODEL, then the defaults.
Credentials come from the provider's environment variable. File contents are sent to that provider.