> For the complete documentation index, see [llms.txt](https://corpus-core.gitbook.io/specification-colibri-stateless/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://corpus-core.gitbook.io/specification-colibri-stateless/developer-guide/bindings/cli.md).

# CLI

**colibri.stateless** includes a native command-line interface. It can generate proofs and verify them, enabling use in shell scripts, cron jobs, tests, and development workflows.

## Configuration

Arguments can be passed directly to the prover or verifier. Backend API settings can also be provided through a config file. colibri tools search for configuration in the following order:

1. use the path set in the `C4_CONFIG` environment variable
2. search the current directory for `c4_config.json`
3. fall back to built-in defaults

This file is a JSON file in the form:

```json
{
  "eth_rpc": ["https://nameless-sly-reel.quiknode.pro/<APIKEY>/", "https://eth-mainnet.g.alchemy.com/v2/<APIKEY>", "https://rpc.ankr.com/eth/<APIKEY>"],
  "beacon_api": ["https://lodestar-mainnet.chainsafe.io"]
}
```