{"ecosystem":"github","name":"model-checking/kani-github-action","dependents_count":31,"downloads_count":65885,"dependencies_url":"https://docker.ecosyste.ms/api/v1/usage/github/model-checking%2Fkani-github-action/dependencies"}