proptest-rs / proptest
Hypothesis-like property testing for Rust
proptest-rs/proptest holds a health index of 81 out of 100, placing it in the Excellent band. It scores highest on Community & Adoption (82/100) and lowest on Security (63/100). It was last updated 12 days ago. 2 contributors account for most of its recent work.
Software health index
Metrics are grouped into weighted categories on one standardized 1–100 scale. Overall starts as their weighted mean, calibrated against the distribution of the public record so bands carry percentile meaning; when public evidence triggers the High-Risk Jurisdiction Policy, the rating is adjusted and receives an At Risk ceiling of 34.
Score profile
Each axis is a category. The shape matters more than the average — a healthy subject fills the whole shape, while a spike-and-crater profile means strength in one dimension is masking risk in another.
The weighted overall 69 is calibrated to 81 on the published index scale (record calibration 2026-08-02).
Ownership
This repository is backed by an organization — shared, accountable stewardship that can outlive any single maintainer.
Package ecosystems
| Registry | Package | Version | Downloads / mo | Versions | Last publish | Tags |
|---|---|---|---|---|---|---|
| crates.io | proptest | 1.11.0 | 14,420,068 | 48 | 137 days ago | testingquickcheckpropertyfuzzhypothesis |
| crates.io | proptest-macro | 0.5.0 | 80,560 | 6 | 184 days ago | testingquickcheckpropertyfuzzhypothesis |
| crates.io | proptest-derive | 0.8.0 | 1,664,299 | 12 | 184 days ago | testingquickcheckderivearbitraryproptest |
| crates.io | proptest-state-machine | 0.8.0 | 171,599 | 9 | 137 days ago | testingquickcheckpropertyfuzzstate-machine |
Metrics by category
Vitality
Is the project alive — is code being written and are releases shipping?
Development activity
How it's scored
| 28.8/36 | Push recency — last push 12 days ago |
| 18/36 | Commit cadence — 26/52 weeks with commits |
| 18/18 | Commit volume — 102 commits in the last year |
| 9/10 | OpenSSF Scorecard: Maintained — 5 commit(s) and 6 issue activity found in the last 90 days -- score normalized to 9 |
Inputs used
| commits_last_year | 102 |
| human_commit_share | 0.97 |
| days_since_last_push | 12 |
| active_weeks_last_year | 26 |
Release discipline
How it's scored
| 27/27 | Ships releases — 2 releases published |
| 0/36 | Release recency — latest release 2,309 days ago |
| 19.8/27 | Release cadence — a release every ~85.4 days |
| 0/10 | OpenSSF Scorecard: Signed-Releases — no data |
Inputs used
| releases_count | 2 |
| latest_release_tag | 0.9.6 |
| releases_from_tags | no |
| days_since_latest_release | 2,309 |
| mean_days_between_releases | 85.4 |
Community & Adoption
Does the project have users, downloads, attention, and a welcoming setup for contributors?
Popularity & adoption
How it's scored
| 54.2/60 | Stars — 2,208 stars |
| 19.6/25 | Forks — 223 forks |
| 6.8/15 | Watchers — 18 watchers |
Inputs used
| forks | 223 |
| stars | 2,208 |
| watchers | 18 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Community health
How it's scored
| 22.5/22.5 | README |
| 22.5/22.5 | License — recognized license (Apache-2.0) |
| 18/18 | CONTRIBUTING guide |
| 0/13.5 | Code of conduct |
| 0/7.2 | Issue template |
| 0/6.3 | PR template |
Inputs used
| has_readme | yes |
| has_license | yes |
| readme_badges | 0 |
| has_contributing | yes |
| has_issue_template | no |
| has_code_of_conduct | no |
| readme_badge_services | — |
| has_pull_request_template | no |
Ecosystem adoption (downloads)
How it's scored
| 80/80 | Monthly downloads — 16,336,526 downloads/month across crates |
| 0/20 | Registry dependents — not reported by this ecosystem |
Inputs used
| packages | proptest, proptest-macro, proptest-derive, proptest-state-machine |
| dependents | — |
| ecosystems | crates |
| total_downloads | 191,850,561 |
| monthly_downloads | 16,336,526 |
| unverified_packages_excluded | — |
Sustainability & Governance
Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?
Maintainer resilience (bus factor)
How it's scored
| 25.2/54 | Bus factor — 2 contributor(s) cover half of all commits |
| 13.8/22.5 | Commit distribution — top contributor authored 39% of commits |
| 13.5/13.5 | Contributor breadth — 91 contributors |
| 10/10 | OpenSSF Scorecard: Contributors — project has 28 contributing companies or organizations |
Inputs used
| bus_factor | 2 |
| contributors_sampled | 91 |
| top_contributor_share | 0.386 |
How it's scored
| 24.5/42 | Issue resolution — 58% of issues closed |
| 21.5/30 | PR acceptance — 244/340 decided PRs merged |
| 0/13 | Newcomer PR acceptance — no first-time contributor's PR decided in 30d |
| 13.5/15 | OpenSSF Scorecard: Code-Review — Found 11/12 approved changesets -- score normalized to 9 |
Inputs used
| merged_prs | 244 |
| open_issues | 124 |
| closed_issues | 174 |
| prs_merged_7d | 0 |
| prs_decided_7d | 0 |
| prs_merged_30d | 2 |
| prs_decided_30d | 2 |
| issue_closed_ratio | 0.584 |
| closed_unmerged_prs | 96 |
| first_time_authors_30d | 0 |
| first_time_prs_merged_30d | 0 |
| first_time_prs_decided_30d | 0 |
Ownership & stewardship
How it's scored
| 30/30 | Ownership backing — organization-owned |
| 0/20 | Verified domain — verified-domain status not read for this organization |
| 7.2/25 | Owner reach — 9 followers of proptest-rs |
| 9.8/25 | Track record — 1 public repos, account ~3 yr old |
Inputs used
| followers | 9 |
| owner_type | Organization |
| is_verified | — |
| owner_login | proptest-rs |
| public_repos | 1 |
| account_age_days | 1,388 |
Package maintenance
How it's scored
| 25/25 | Published & resolvable — 4 package(s) on crates |
| 35/35 | Publish recency — latest publish 137 days ago |
| 20/20 | Version history — 48 published versions |
| 20/20 | Not deprecated — active, not deprecated or yanked |
Inputs used
| packages | proptest, proptest-macro, proptest-derive, proptest-state-machine |
| ecosystems | crates |
| any_deprecated | no |
| min_days_since_publish | 137 |
Engineering Quality
Are baseline engineering and documentation practices in place?
Engineering practices
How it's scored
| 24/24 | CI workflows — 2 workflow(s) |
| 24/24 | Tests present |
| 0/16 | Linter config |
| 0/9.6 | Pre-commit hooks |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard: CI-Tests — 11 out of 11 merged PRs checked by a CI test -- score normalized to 10 |
Inputs used
| has_ci | yes |
| has_tests | yes |
| has_editorconfig | no |
| has_linter_config | no |
| has_precommit_config | no |
Documentation
How it's scored
| 30/30 | README |
| 0/25 | Documentation directory |
| 15/15 | Documentation / homepage site — https://docs.rs/proptest |
| 10/10 | Repository description |
| 0/10 | Topics |
| 10/10 | Wiki |
Inputs used
| topics | — |
| has_wiki | yes |
| homepage | — |
| docs_site | https://docs.rs/proptest |
| has_readme | yes |
| has_docs_dir | no |
| has_description | yes |
Security
Are visible security and supply-chain practices strong, without unresolved high-risk jurisdiction exposure?
Security posture
How it's scored
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — no data |
| 2.5/2.5 | CI-Tests — 11 out of 11 merged PRs checked by a CI test -- score normalized to 10 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 6.8/7.5 | Code-Review — Found 11/12 approved changesets -- score normalized to 9 |
| 2.5/2.5 | Contributors — project has 28 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 7.5/7.5 | Dependency-Update-Tool — update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | License — license file detected |
| 6.8/7.5 | Maintained — 5 commit(s) and 6 issue activity found in the last 90 days -- score normalized to 9 |
| 0/5 | Packaging — no data |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — no data |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
Inputs used
| source | openssf_scorecard |
| checks_evaluated | 15 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 3 |
| scorecard_aggregate | 6.3 |
AI Readiness
How well is the repo equipped to be developed and maintained with AI coding agents? Carries a deliberately small weight (4%): agent tooling is a real maintenance signal, but a repository with none can still reach 100/100.
Agent context & guidance
How it's scored
| 0/45 | Agent instructions — no CLAUDE.md / AGENTS.md / editor rules |
| 0/15 | Machine-readable docs (llms.txt) |
| 28/40 | Legible commit history — 51 of 97 human commits state their intent (structured subject or explanatory body) |
Inputs used
| has_llms_txt | no |
| llms_txt_url | — |
| legible_history_share | 0.526 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Verify loop (build / test / typecheck)
How it's scored
| 12.6/18 | One-command bootstrap — Cargo.toml, proptest-derive/Cargo.toml, proptest-macro/Cargo.toml (toolchain convention, no task runner) |
| 22/22 | Automated tests |
| 0/11 | Lint / format config |
| 11/11 | Static type checking — Rust (statically typed) |
| 10/10 | Reproducible environment — Nix |
| 0/10 | Demonstrated agent practice — no agent-authored commits among the last 100 |
| 8/8 | Automated maintenance — 3 of the last 100 commits are automated dependency updates |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
Inputs used
| has_nix | yes |
| has_tests | yes |
| lockfiles | — |
| has_dockerfile | no |
| typed_language | yes |
| bootstrap_files | — |
| has_devcontainer | no |
| has_linter_config | no |
| typecheck_configs | — |
| agent_commit_share | 0 |
| toolchain_manifests | Cargo.toml, proptest-derive/Cargo.toml, proptest-macro/Cargo.toml, proptest-state-machine/Cargo.toml, proptest/Cargo.toml, proptest/test-persistence-location/single-crate/Cargo.toml, proptest/test-persistence-location/workspace/Cargo.toml, proptest/test-persistence-location/workspace/member/Cargo.toml |
| dependency_bot_commit_share | 0.03 |
Code legibility for models
How it's scored
| 45/45 | Type-checkable code — Rust (statically typed) |
| 54.7/55 | Manageable file sizes — 1/201 source files over 60KB |
Inputs used
| primary_language | Rust |
| largest_source_bytes | 126,043 |
| source_files_sampled | 201 |
| oversized_source_files | 1 |
Machine-readable interfaces
How it's scored
| 0/40 | API schema (OpenAPI/GraphQL/proto) — not applicable to this kind of software |
| 0/20 | MCP server — not applicable to this kind of software |
| 40/40 | Runnable examples — examples |
Inputs used
| example_dirs | examples |
| has_mcp_signal | no |
| api_schema_files | — |
| interfaces_expected_of | — |
Key facts
Data collection warnings
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- No resolved dependencies carried a version and a supported ecosystem
More detail
Star and fork history 0 ★ / 223 ⇿
When each star and fork was added, collected from GitHub and bucketed by day. Cumulative growth sits directly above the daily additions it is made of, so the two read against each other: steady organic accretion looks nothing like an abrupt, short-lived burst. Where that difference is measurable, it is reported as growth authenticity.
Each point covers 9 days.
OpenSSF Scorecard 6.3 / 10
Independent, tool-agnostic security assessment from the open-source OpenSSF Scorecard. Each check rewards a security practice, not a specific vendor's tool. Checks Scorecard could not determine are marked n/a and excluded from the security score (never counted as zero).
| 10 | Binary-Artifacts | no binaries found in the repo |
| n/a | Branch-Protection | internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md |
| 10 | CI-Tests | 11 out of 11 merged PRs checked by a CI test -- score normalized to 10 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 9 | Code-Review | Found 11/12 approved changesets -- score normalized to 9 |
| 10 | Contributors | project has 28 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 10 | Dependency-Update-Tool | update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 9 | Maintained | 5 commit(s) and 6 issue activity found in the last 90 days -- score normalized to 9 |
| n/a | Packaging | packaging workflow not detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 0 | Security-Policy | security policy file not detected |
| n/a | Signed-Releases | no releases found |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
Direct dependencies 22
| Registry | Package | Version constraint | Manifest |
|---|---|---|---|
| crates.io | proc-macro2 | — | proptest-derive/Cargo.toml |
| crates.io | syn | — | proptest-derive/Cargo.toml |
| crates.io | quote | — | proptest-derive/Cargo.toml |
| crates.io | syn | — | proptest-macro/Cargo.toml |
| crates.io | quote | — | proptest-macro/Cargo.toml |
| crates.io | proc-macro2 | — | proptest-macro/Cargo.toml |
| crates.io | convert_case | — | proptest-macro/Cargo.toml |
| crates.io | proptest | 1.11.0 | proptest-state-machine/Cargo.toml |
| crates.io | bitflags | — | proptest/Cargo.toml |
| crates.io | core_detect | — | proptest/Cargo.toml |
| crates.io | unarray | — | proptest/Cargo.toml |
| crates.io | proptest-macro | — | proptest/Cargo.toml |
| crates.io | num-traits | — | proptest/Cargo.toml |
| crates.io | regex-syntax | — | proptest/Cargo.toml |
| crates.io | bit-set | — | proptest/Cargo.toml |
| crates.io | bit-vec | — | proptest/Cargo.toml |
| crates.io | rand | — | proptest/Cargo.toml |
| crates.io | rand_xorshift | — | proptest/Cargo.toml |
| crates.io | rand_chacha | — | proptest/Cargo.toml |
| crates.io | rusty-fork | — | proptest/Cargo.toml |
| crates.io | tempfile | — | proptest/Cargo.toml |
| crates.io | x86 | — | proptest/Cargo.toml |
All dependencies 1
Full resolved dependency set from the GitHub dependency graph: 1 direct and 0 indirect (transitive) packages. The transitive closure is complete when the repository commits a lockfile.
| Registry | Package | Version | Relation |
|---|---|---|---|
| crates.io | proptest | — | direct |
Dependency advisories not assessed
Advisory matching could not run for this report: No resolved dependencies carried a version and a supported ecosystem
Raw JSON report machine-readable
Feedback
Spotted something off in this report, or have thoughts to share? Wrong measurements, missed tooling, ideas, questions — anything is welcome. Every message is read and gets a response.
Scores are signals, not warranties. They reflect publicly visible practices on GitHub — not a code audit, and not a security guarantee.
Missing data is excluded and weights renormalized, never scored as zero. Methodology is versioned and open: metrics v2.10.0, schema v0.31.0 — full methodology · metrics wiki.
How one result sits in the wider record: aggregate statistics — crates.io.