Getting Started

Three short pages take you from a fresh clone to one complete audit run:

1. Prerequisites — install the host tools, an LLVM toolchain, and one agent backend.
2. Add a target — sync the source, optionally build sanitizer artifacts, and review the generated target.toml.
3. First audit — run one bounded iteration end to end and inspect the results.

After that:

• Guides cover ongoing operation.
• Concepts explain the design.