{"id":12700577,"name":"@hyperpolymath/proven","ecosystem":"npm","description":"Proven - Formally verified safety library for JavaScript","homepage":"https://github.com/hyperpolymath/proven#readme","licenses":"PMPL-1.0","normalized_licenses":["SSPL-1.0"],"repository_url":"https://github.com/hyperpolymath/proven","keywords_array":["proven","safe","verified","uuid","currency","money","phone","hex","validation","parsing","idris","formal-verification"],"namespace":"hyperpolymath","versions_count":1,"first_release_published_at":"2026-01-16T21:20:07.773Z","latest_release_published_at":"2026-01-16T21:20:07.773Z","latest_release_number":"0.9.0","last_synced_at":"2026-06-15T23:52:59.335Z","created_at":"2026-01-22T05:56:17.389Z","updated_at":"2026-06-15T23:52:59.335Z","registry_url":"https://www.npmjs.com/package/@hyperpolymath/proven","install_command":"npm install @hyperpolymath/proven","documentation_url":null,"metadata":{"funding":null,"dist-tags":{"latest":"0.9.0"}},"repo_metadata":{},"repo_metadata_updated_at":null,"dependent_packages_count":0,"downloads":34,"downloads_period":"last-month","dependent_repos_count":0,"rankings":{"downloads":18.146482992018914,"dependent_repos_count":22.65442193193536,"dependent_packages_count":32.65377831772817,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":24.48489441389415},"purl":"pkg:npm/%40hyperpolymath/proven","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/npm/@hyperpolymath/proven","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/npm/@hyperpolymath/proven","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/npm/@hyperpolymath/proven/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@hyperpolymath%2Fproven/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@hyperpolymath%2Fproven/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@hyperpolymath%2Fproven/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@hyperpolymath%2Fproven/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@hyperpolymath%2Fproven/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@hyperpolymath%2Fproven/codemeta","maintainers":[{"uuid":"hyperpolymath","login":"hyperpolymath","name":null,"email":"jonathan.jewell@gmail.com","url":null,"packages_count":3,"html_url":"https://www.npmjs.com/~hyperpolymath","role":null,"created_at":"2026-02-26T22:04:02.568Z","updated_at":"2026-02-26T22:04:02.568Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/maintainers/hyperpolymath/packages"}]}