> For the complete documentation index, see [llms.txt](https://docs.aviator.co/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.aviator.co/verify/reference/configuration-reference.md).

# Configuration reference

This page is the umbrella reference for Verify configuration. Per-concept references live on their own pages and are linked from here.

### Per-repo: `aviator/verify.yaml`

The root of all per-repo configuration. Lives at `aviator/verify.yaml` in your repo's default branch.

#### Top-level keys

| Key            | Type        | Default | Description                                                                             |
| -------------- | ----------- | ------- | --------------------------------------------------------------------------------------- |
| `exempt_paths` | string list | `[]`    | Glob patterns. PRs touching only exempt paths skip verification.                        |
| `preview`      | list        | none    | One or more preview definitions. See [Preview YAML](/verify/reference/preview-yaml.md). |

Example:

```yaml
exempt_paths:
  - "docs/**"
  - "*.md"
  - ".github/**"

preview:
  - name: default
    image: sim-preview-baked-deps
    port: 8000
    setup: .aviator/scripts/preview-setup.sh
    secrets:
      - DB_PASSWORD
      - STRIPE_KEY
```

#### Exempt path glob syntax

| Pattern      | Matches                              |
| ------------ | ------------------------------------ |
| `docs/**`    | Any file under the `docs/` directory |
| `*.md`       | Markdown files in the repo root      |
| `**/*.md`    | Markdown files anywhere in the repo  |
| `.github/**` | Files under `.github/`               |

A PR that modifies *only* exempt-path files skips verification entirely. A PR that modifies any non-exempt file runs the full pipeline.

### Per-repo: preview block

Detailed in its own reference page:

→ [Preview YAML reference](/verify/reference/preview-yaml.md)

### Org-level settings

Configure in **Verify → Settings**.

#### Preview lifetime

| Setting            | Type    | Default | Description                                                        |
| ------------------ | ------- | ------- | ------------------------------------------------------------------ |
| `preview_idle_ttl` | integer | `1800`  | Seconds the preview stays alive after the run for reviewer access. |

When the TTL expires, the preview is torn down. Reviewers can extend a preview manually from the review document — see [Managing previews](/verify/how-to-guides/managing-previews.md).

### Invariants

Invariants have their own configuration surface in **Settings → Invariants**. Field-level reference and writing guidance are on the concept and tutorial pages:

* [Concepts: Invariants](/verify/concepts/invariants.md) — sources, categories, selection
* [Setting up org invariants](/verify/setting-up-org-invariants.md) — step-by-step setup

### MCP

The MCP install and tool surface are on a dedicated reference page:

→ [MCP tools](/verify/reference/mcp-tools.md)

### See also

* [Preview YAML reference](/verify/reference/preview-yaml.md)
* [MCP tools](/verify/reference/mcp-tools.md)
* [Spec format](/verify/reference/spec-format.md)
* [Concepts: Invariants](/verify/concepts/invariants.md)


---

# Agent Instructions
This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com.

## Querying This Documentation
If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter, and the optional `goal` query parameter:

```
GET https://docs.aviator.co/verify/reference/configuration-reference.md?ask=<question>&goal=<endgoal>
```

`ask` is the immediate question: it should be specific, self-contained, and written in natural language.
`goal` is optional and describes the broader end goal you are ultimately trying to accomplish on behalf of the user. GitBook uses it to tailor the answer towards what is most useful for that goal.

The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.
