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


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://corpus-core.gitbook.io/specification-colibri-stateless/developer-guide/bindings/cli.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.