{"id":14639316,"name":"wunderspec","ecosystem":"pypi","description":"Protocol specifications as Python code","homepage":null,"licenses":"other","normalized_licenses":[],"repository_url":"https://github.com/wunderspec/wunderspec","keywords_array":[],"namespace":null,"versions_count":17,"first_release_published_at":"2026-06-15T16:44:08.000Z","latest_release_published_at":"2026-07-11T11:05:59.000Z","latest_release_number":"0.136.6","last_synced_at":"2026-07-20T03:02:58.865Z","created_at":"2026-06-17T01:17:20.731Z","updated_at":"2026-10-19T02:55:41.195Z","registry_url":"https://pypi.org/project/wunderspec/","install_command":"pip install wunderspec --index-url https://pypi.org/simple","documentation_url":"https://wunderspec.readthedocs.io/","metadata":{"funding":null,"documentation":null,"classifiers":[],"normalized_name":"wunderspec","project_status":null},"repo_metadata":{"id":365066497,"uuid":"1268608138","full_name":"wunderspec/wunderspec","owner":"wunderspec","description":"Protocol specs in Python you can verify: test, simulate, model check, prove","archived":false,"fork":false,"pushed_at":"2026-06-23T15:29:37.000Z","size":4243,"stargazers_count":3,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-06-23T17:24:09.283Z","etag":null,"topics":["apalache","formal-verification","lean4","python","simulations","specification","tlaplus"],"latest_commit_sha":null,"homepage":"https://wunderspec.com","language":"Python","has_issues":false,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/wunderspec.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2026-06-13T18:24:10.000Z","updated_at":"2026-06-23T15:29:59.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/wunderspec/wunderspec","commit_stats":null,"previous_names":["wunderspec/wunderspec"],"tags_count":9,"template":false,"template_full_name":null,"purl":"pkg:github/wunderspec/wunderspec","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wunderspec%2Fwunderspec","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wunderspec%2Fwunderspec/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wunderspec%2Fwunderspec/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wunderspec%2Fwunderspec/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/wunderspec","download_url":"https://codeload.github.com/wunderspec/wunderspec/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wunderspec%2Fwunderspec/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":344872684,"owners_count":38347364,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-10-03T21:59:58.778Z","status":"online","status_checked_at":"2026-10-19T02:00:06.414Z","response_time":53,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"repo_metadata_updated_at":"2026-10-19T02:55:41.195Z","dependent_packages_count":0,"downloads":null,"downloads_period":"last-month","dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":39.74571810797683,"dependent_packages_count":7.0258305411013176,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":23.38577432453907},"purl":"pkg:pypi/wunderspec","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/pypi/wunderspec","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/pypi/wunderspec","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/pypi/wunderspec/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/wunderspec/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/wunderspec/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/wunderspec/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/wunderspec/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/wunderspec/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/wunderspec/codemeta","maintainers":[{"uuid":"igor.konnov","login":"igor.konnov","name":null,"email":null,"url":null,"packages_count":3,"html_url":"https://pypi.org/user/igor.konnov/","role":"Owner","created_at":"2026-06-17T01:20:00.941Z","updated_at":"2026-06-17T01:20:00.941Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers/igor.konnov/packages"},{"uuid":"thpani","login":"thpani","name":null,"email":null,"url":null,"packages_count":1,"html_url":"https://pypi.org/user/thpani/","role":"Owner","created_at":"2026-06-17T01:20:00.989Z","updated_at":"2026-06-17T01:20:00.989Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers/thpani/packages"}]}