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