bootnode runs a bootstrap node for the coqchain Discovery Protocol.

checkpoint-admin is a utility that can be used to query checkpoint information and register stable checkpoints into an oracle contract.

geth is the official command-line client for coqchain.

evm executes EVM code snippets.

faucet is an Ether faucet backed by a light client.

p2psim provides a command-line client for a simulation HTTP API.

rlpdump is a pretty-printer for RLP data.

Package utils contains internal helper functions for coqchain commands.