Links for certora-cli-coinbase