{"ecosystem":"pypi","name":"certora-cli","dependents_count":3,"downloads_count":9701,"dependencies_url":"https://docker.ecosyste.ms/api/v1/usage/pypi/certora-cli/dependencies"}