{"library":"certora-cli","install":[{"cmd":"pip install certora-cli","imports":["from certora_cli import CertoraProver"]}]}