The base template for proof-cli