{"id":12384253,"name":"@fairfox/web-ext-verify","ecosystem":"npm","description":"Formal verification for message-passing systems using TLA+. Automatically generates TLA+ specifications from TypeScript code.","homepage":"https://github.com/alexjeffcott/web-ext/tree/main/packages/verify#readme","licenses":"MIT","normalized_licenses":["MIT"],"repository_url":"https://github.com/alexjeffcott/web-ext","keywords_array":["formal-verification","tla-plus","tla+","model-checking","verification","chrome-extension","web-extension","message-passing","event-bus","websocket","concurrent-systems","distributed-systems","correctness","testing","typescript","cli"],"namespace":"fairfox","versions_count":1,"first_release_published_at":"2025-10-14T13:51:25.385Z","latest_release_published_at":"2025-10-14T13:51:25.385Z","latest_release_number":"0.1.0","last_synced_at":"2026-07-22T07:56:12.399Z","created_at":"2025-10-14T13:51:37.763Z","updated_at":"2026-07-22T07:56:12.399Z","registry_url":"https://www.npmjs.com/package/@fairfox/web-ext-verify","install_command":"npm install @fairfox/web-ext-verify","documentation_url":null,"metadata":{"funding":null,"dist-tags":{"latest":"0.1.0"}},"repo_metadata":{},"repo_metadata_updated_at":"2025-11-16T00:34:30.259Z","dependent_packages_count":0,"downloads":27,"downloads_period":"last-month","dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":23.675632306588998,"dependent_packages_count":34.15188569316107,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":28.913758999875036},"purl":"pkg:npm/%40fairfox/web-ext-verify","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/npm/@fairfox/web-ext-verify","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/npm/@fairfox/web-ext-verify","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/npm/@fairfox/web-ext-verify/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@fairfox%2Fweb-ext-verify/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@fairfox%2Fweb-ext-verify/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@fairfox%2Fweb-ext-verify/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@fairfox%2Fweb-ext-verify/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@fairfox%2Fweb-ext-verify/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@fairfox%2Fweb-ext-verify/codemeta","maintainers":[{"uuid":"alexjeffcott","login":"alexjeffcott","name":null,"email":"alexjeffcott@gmail.com","url":null,"packages_count":9,"html_url":"https://www.npmjs.com/~alexjeffcott","role":null,"created_at":"2025-10-14T13:51:38.437Z","updated_at":"2025-10-14T13:51:38.437Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/maintainers/alexjeffcott/packages"}]}