[console_scripts]
certora-cloud = certora_cloud.__main__:cli
