# RepoKey Dependency Lock

Audience: customer AI agent.

## Required Local Tools

- Vivado installed locally by the customer.
- `VIVADO_PATH` should point to `bin/vivado.bat` when Vivado is not on PATH.

## Do Not Auto-Download

Do not download arbitrary GitHub repositories. Use only pinned instructions from
this package or explicit user approval.

Large external toolchains such as OSS CAD Suite, Verilator bundles, Python
installers, or Xilinx/Vivado components are not part of this package.
