# 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"]
}
```