> ## Documentation Index
> Fetch the complete documentation index at: https://docs.herodotus.cloud/llms.txt
> Use this file to discover all available pages before exploring further.

# CLI Reference

> Commands and flags for the HDP CLI

CLI usage:

```bash theme={null}
hdp <command> [options]
```

## Commands

* `dry-run` - run [Stage 1](/data-processor/pipeline) and generate `dry_run_output.json`
* `fetch-proofs` - run [Stage 2](/data-processor/pipeline) and generate `proofs.json`
* `sound-run` - run [Stage 3](/data-processor/pipeline) and print outputs
* `program-hash` - compute program hash for a compiled Cairo program
* `env-info` - print expected environment variables
* `env-check` - check required RPC env vars for a dry-run output
* `link` - symlink `hdp_cairo` into a local project
* `update` - update CLI installation
* `pwd` - print HDP repository path

## Common flags

* `--log-level <trace|debug|info|warn|error>`
* `--debug`

## `dry-run`

```bash theme={null}
hdp dry-run --compiled_module <path> [--inputs <path>] [--injected_state <path>]
```

Key options:

* `--program <path>` / `-p`
* `--compiled_module <path>` / `-m`
* `--inputs <path>` / `-i`
* `--injected_state <path>` / `-s`
* `--output <path>` / `-o`
* `--print_output`

## `fetch-proofs`

```bash theme={null}
hdp fetch-proofs [--inputs dry_run_output.json] [--output proofs.json]
```

Key options:

* `--inputs <path>` / `-i`
* `--output <path>` / `-o`
* `--mmr-hasher-config <path>`
* `--mmr-deployment-config <path>`

## `sound-run`

```bash theme={null}
hdp sound-run --compiled_module <path> --proofs proofs.json
```

Key options:

* `--program <path>` / `-p`
* `--compiled_module <path>` / `-m`
* `--inputs <path>` / `-i`
* `--injected_state <path>` / `-s`
* `--print_output`
* `--proof_mode`
* `--cairo_pie <path>`
* `--stwo_prover_input <path>`

## `env-check`

```bash theme={null}
hdp env-check --inputs dry_run_output.json
```

## `env-info`

```bash theme={null}
hdp env-info
```

## `program-hash`

```bash theme={null}
hdp program-hash [--program <path>]
```

## `link`

```bash theme={null}
hdp link
```

## `update`

```bash theme={null}
hdp update [--clean] [--local]
```

## `pwd`

```bash theme={null}
hdp pwd
```