# tenet

> Check code against Markdown contracts.

## Documentation

- [Overview](https://tenet-contracts.com/docs/index.md): Run Markdown contracts against code.
- [Installation](https://tenet-contracts.com/docs/installation.md): Install Tenet and configure a provider.
- [Contracts](https://tenet-contracts.com/docs/contracts.md): Requirements, scope, and executable examples.
- [Evaluation](https://tenet-contracts.com/docs/evaluation.md): Test whether a contract gets the expected judgments.
- [Commands](https://tenet-contracts.com/docs/cli.md): Check code, evaluate examples, and browse contracts.
- [Output](https://tenet-contracts.com/docs/output.md): Terminal progress, diagnostics, JSONL, and exit codes.
- [Reviews](https://tenet-contracts.com/docs/reviews.md): Use Tenet from a reviewing agent or script.
- [Limits](https://tenet-contracts.com/docs/limits.md): Input bounds and the meaning of uncertain results.
- [Benchmarks](https://tenet-contracts.com/docs/benchmarks.md): Measure overhead separately from provider latency.