Public recordAt Risk
Software health reportschema 0.27.0 · metrics 2.10.0 · 2026-07-31 05:29 UTC
facebook / winterfell
A STARK prover and verifier for arbitrary computations
facebook/winterfell holds a health index of 34 out of 100, placing it in the At Risk band. It scores highest on Community & Adoption (79/100) and lowest on Vitality (25/100). It was last updated 376 days ago. A single contributor accounts for most of its recent work.
34
overall / 100Software 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.
34
Exceptional93-100The record's top tier (≈ top 5%); essentially all checked criteria met
Excellent80-92Strong across the board; minor gaps
Good65-79Healthy; gaps are limited and manageable
Moderate50-64Acceptable with notable gaps; review recommended
Weak35-49Material weaknesses across several areas
At Risk20-34Significant weaknesses; adoption warrants caution
Critical1-19Severe problems (abandoned, single-maintainer, no hygiene)
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 55 is calibrated to 57 on the published index scale (record calibration 2026-08-02).
Ownership
MetaOrganization
36,334 followers168 public repossince Apr 2009
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 | winter-airpoints to another repo — not scored | 0.13.1 | 56,566 | 33 | 376 days ago | cryptoairarithmetizationcryptographyno-std |
| crates.io | winter-fripoints to another repo — not scored | 0.13.1 | 56,498 | 27 | 376 days ago | cryptopolynomialcommitmentscryptographyno-std |
| crates.io | winter-mathpoints to another repo — not scored | 0.13.1 | 59,974 | 29 | 376 days ago | cryptofftpolynomialsfinite-fieldscryptographyno-std |
| crates.io | winter-cryptopoints to another repo — not scored | 0.13.1 | 59,422 | 27 | 376 days ago | hashcryptomerkle-treecryptographyno-std |
| crates.io | winter-proverpoints to another repo — not scored | 0.13.1 | 55,144 | 29 | 376 days ago | cryptoproverzkpstarkcryptographyno-std |
| crates.io | winter-verifierpoints to another repo — not scored | 0.13.1 | 54,800 | 28 | 376 days ago | cryptozkpstarkverifiercryptographyno-std |
| crates.io | winterfellpoints to another repo — not scored | 0.13.1 | 22,385 | 28 | 376 days ago | cryptoproverzkpstarkverifiercryptographyno-std |
| crates.io | winter-utilspoints to another repo — not scored | 0.13.1 | 60,178 | 35 | 376 days ago | serializationtransmutecryptographyno-std |
| crates.io | winter-rand-utilspoints to another repo — not scored | 0.13.1 | 19,438 | 23 | 376 days ago | randcryptography |
| crates.io | winter-maybe-async | 0.13.1 | 45,737 | 7 | 376 days ago | async |
Metrics by category
Vitality
Is the project alive — is code being written and are releases shipping?
25
Development activity
1Critical
Abandonment alert
Work has arrived and nobody has attended to it
no human commit in 398 daysautomated commits excludedpull requests left unansweredissues left unansweredreleases stalledOpenSSF Scorecard reports it unmaintainedOverall rating: At Risk ceiling
Silence alone is never the finding — a small, finished library may need no commits for years. This alert requires both: no human commit for a long time, and obligations the project is visibly not discharging. Automated commits do not count as maintenance.
How abandonment is assessedHow it's scored
| 0/36 | Push recency — last push 376 days ago |
| 0/36 | Commit cadence — 0/52 weeks with commits |
| 0/18 | Commit volume — 0 commits in the last year |
| 0/10 | OpenSSF Scorecard: Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0 |
Inputs used
| commits_last_year | 0 |
| human_commit_share | 1 |
| days_since_last_push | 376 |
| active_weeks_last_year | 0 |
Release discipline
60Moderate
How it's scored
| 27/27 | Ships releases — 28 releases published |
| 7.2/36 | Release recency — latest release 376 days ago |
| 19.8/27 | Release cadence — a release every ~48.4 days |
| 0/10 | OpenSSF Scorecard: Signed-Releases — no data |
Inputs used
| releases_count | 28 |
| latest_release_tag | v0.13.1 |
| releases_from_tags | no |
| days_since_latest_release | 376 |
| mean_days_between_releases | 48.4 |
Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.
Community & Adoption
Does the project have users, downloads, attention, and a welcoming setup for contributors?
79
Popularity & adoption
75Good
How it's scored
| 47.9/60 | Stars — 900 stars |
| 19.7/25 | Forks — 232 forks |
| 7.8/15 | Watchers — 26 watchers |
Inputs used
| forks | 232 |
| stars | 900 |
| watchers | 26 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Community health
85Excellent
How it's scored
| 22.5/22.5 | README |
| 22.5/22.5 | License — recognized license (MIT) |
| 18/18 | CONTRIBUTING guide |
| 13.5/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 | — |
| has_contributing | yes |
| has_issue_template | no |
| has_code_of_conduct | yes |
| readme_badge_services | — |
| has_pull_request_template | no |
How it's scored
| 62.1/80 | Monthly downloads — 45,737 downloads/month across crates |
| 0/20 | Registry dependents — not reported by this ecosystem |
Inputs used
| packages | winter-maybe-async |
| dependents | — |
| ecosystems | crates |
| total_downloads | 451,432 |
| monthly_downloads | 45,737 |
| unverified_packages_excluded | — |
Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.
Sustainability & Governance
Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?
67
How it's scored
| 9/54 | Bus factor — 1 contributor(s) cover half of all commits |
| 6.4/22.5 | Commit distribution — top contributor authored 72% of commits |
| 13.5/13.5 | Contributor breadth — 35 contributors |
| 6/10 | OpenSSF Scorecard: Contributors — project has 2 contributing companies or organizations -- score normalized to 6 |
Inputs used
| bus_factor | 1 |
| contributors_sampled | 35 |
| top_contributor_share | 0.716 |
Issue & PR responsiveness
62Moderate
How it's scored
| 24.4/42 | Issue resolution — 58% of issues closed |
| 24.7/30 | PR acceptance — 227/276 decided PRs merged |
| 0/13 | Newcomer PR acceptance — no first-time contributor's PR decided in 30d |
| 4.5/15 | OpenSSF Scorecard: Code-Review — Found 10/30 approved changesets -- score normalized to 3 |
Inputs used
| merged_prs | 227 |
| open_issues | 49 |
| closed_issues | 68 |
| prs_merged_7d | — |
| prs_decided_7d | — |
| prs_merged_30d | — |
| prs_decided_30d | — |
| issue_closed_ratio | 0.581 |
| closed_unmerged_prs | 49 |
| first_time_authors_30d | — |
| first_time_prs_merged_30d | — |
| first_time_prs_decided_30d | — |
Excluded from scoring (no data or not applicable): Newcomer PR acceptance. Remaining weights renormalized.
Ownership & stewardship
100Exceptional
How it's scored
| 30/30 | Ownership backing — organization-owned |
| 0/20 | Verified domain — verified-domain status not read for this organization |
| 25/25 | Owner reach — 36,334 followers of facebook |
| 25/25 | Track record — 168 public repos, account ~17 yr old |
Inputs used
| followers | 36,334 |
| owner_type | Organization |
| is_verified | — |
| owner_login | |
| public_repos | 168 |
| account_age_days | 6,329 |
Excluded from scoring (no data or not applicable): Verified domain. Remaining weights renormalized.
Package maintenance
79Good
How it's scored
| 25/25 | Published & resolvable — 1 package(s) on crates |
| 14/35 | Publish recency — latest publish 376 days ago |
| 20/20 | Version history — 7 published versions |
| 20/20 | Not deprecated — active, not deprecated or yanked |
Inputs used
| packages | winter-maybe-async |
| ecosystems | crates |
| any_deprecated | no |
| min_days_since_publish | 376 |
Engineering Quality
Are baseline engineering and documentation practices in place?
55
Engineering practices
48Weak
How it's scored
| 24/24 | CI workflows — 1 workflow(s) |
| 24/24 | Tests present |
| 0/16 | Linter config |
| 0/9.6 | Pre-commit hooks |
| 0/6.4 | .editorconfig |
| 0/20 | OpenSSF Scorecard: CI-Tests — 0 out of 11 merged PRs checked by a CI test -- score normalized to 0 |
Inputs used
| has_ci | yes |
| has_tests | yes |
| has_editorconfig | no |
| has_linter_config | no |
| has_precommit_config | no |
Documentation
65Good
How it's scored
| 30/30 | README |
| 0/25 | Documentation directory |
| 15/15 | Documentation / homepage site — https://docs.rs/winter-maybe-async |
| 10/10 | Repository description |
| 0/10 | Topics |
| 10/10 | Wiki |
Inputs used
| topics | — |
| has_wiki | yes |
| homepage | — |
| docs_site | https://docs.rs/winter-maybe-async |
| 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?
51
Security posture
39Weak
How it's scored
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — branch protection not enabled on development/release branches |
| 0/2.5 | CI-Tests — 0 out of 11 merged PRs checked by a CI test -- score normalized to 0 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 2.2/7.5 | Code-Review — Found 10/30 approved changesets -- score normalized to 3 |
| 1.5/2.5 | Contributors — project has 2 contributing companies or organizations -- score normalized to 6 |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | License — license file detected |
| 0/7.5 | Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0 |
| 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 |
| 4.5/5 | Security-Policy — security policy file 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 | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 3.9 |
Excluded from scoring (no data or not applicable): Packaging, Signed-Releases. Remaining weights renormalized.
Dependency advisories
100Exceptional
How it's scored
| 35/35 | Direct dependencies free of known advisories — no direct dependency carries a known advisory |
| 25/25 | Indirect dependencies free of known advisories — no indirect dependency carries a known advisory |
| 0/40 | No advisories left outstanding — no advisory carries a publication date |
Inputs used
| source | osv |
| advisories | 0 |
| affected_packages | 0 |
| assessed_packages | 36 |
| unassessed_packages | 0 |
| affected_by_severity | none |
| direct_affected_packages | 0 |
Excluded from scoring (no data or not applicable): No advisories left outstanding. Remaining weights renormalized. Matched the crates:winterfell@0.13.1 runtime dependency closure — what installing the published package pulls in — 36 packages. Reachability is not analyzed.
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.
57
Agent context & guidance
22At Risk
How it's scored
| 0/45 | Agent instructions — no CLAUDE.md / AGENTS.md / editor rules |
| 0/15 | Machine-readable docs (llms.txt) |
| 21.9/40 | Legible commit history — 41 of 100 human commits state their intent (structured subject or explanatory body) |
Inputs used
| has_llms_txt | no |
| llms_txt_url | — |
| legible_history_share | 0.41 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Verify loop (build / test / typecheck)
51Moderate
How it's scored
| 18/18 | One-command bootstrap — Makefile |
| 22/22 | Automated tests |
| 0/11 | Lint / format config |
| 11/11 | Static type checking — Rust (statically typed) |
| 0/10 | Reproducible environment |
| 0/10 | Demonstrated agent practice — no agent-authored commits among the last 100 |
| 0/8 | Automated maintenance — no automated dependency updates observed |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
Inputs used
| has_nix | no |
| has_tests | yes |
| lockfiles | — |
| has_dockerfile | no |
| typed_language | yes |
| bootstrap_files | Makefile |
| has_devcontainer | no |
| has_linter_config | no |
| typecheck_configs | — |
| agent_commit_share | 0 |
| toolchain_manifests | Cargo.toml, air/Cargo.toml, crypto/Cargo.toml, examples/Cargo.toml, fri/Cargo.toml, math/Cargo.toml, prover/Cargo.toml, utils/core/Cargo.toml, utils/maybe_async/Cargo.toml, utils/rand/Cargo.toml, verifier/Cargo.toml, winterfell/Cargo.toml |
| dependency_bot_commit_share | 0 |
Code legibility for models
100Exceptional
How it's scored
| 45/45 | Type-checkable code — Rust (statically typed) |
| 55/55 | Manageable file sizes — 0/199 source files over 60KB |
Inputs used
| primary_language | Rust |
| largest_source_bytes | 46,744 |
| source_files_sampled | 199 |
| oversized_source_files | 0 |
Machine-readable interfaces
100Exceptional
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 | — |
Excluded from scoring (no data or not applicable): API schema (OpenAPI/GraphQL/proto), MCP server. Remaining weights renormalized.
Key facts
900GitHub stars
35contributors
0commits, last 12 months
376days since last push
28releases
1bus factor
49open issues
crates.iopackage ecosystems
Data collection warnings
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- crates package 'winter-air' points at a different repository (https://github.com/novifinancial/winterfell); excluded from ecosystem scoring
- crates package 'winter-fri' points at a different repository (https://github.com/novifinancial/winterfell); excluded from ecosystem scoring
- crates package 'winter-math' points at a different repository (https://github.com/novifinancial/winterfell); excluded from ecosystem scoring
- crates package 'winter-crypto' points at a different repository (https://github.com/novifinancial/winterfell); excluded from ecosystem scoring
- crates package 'winter-prover' points at a different repository (https://github.com/novifinancial/winterfell); excluded from ecosystem scoring
- crates package 'winter-verifier' points at a different repository (https://github.com/novifinancial/winterfell); excluded from ecosystem scoring
- crates package 'winterfell' points at a different repository (https://github.com/novifinancial/winterfell); excluded from ecosystem scoring
- crates package 'winter-utils' points at a different repository (https://github.com/novifinancial/winterfell); excluded from ecosystem scoring
- crates package 'winter-rand-utils' points at a different repository (https://github.com/novifinancial/winterfell); excluded from ecosystem scoring
More detail
Star and fork history 0 ★ / 232 ⇿
0Stars
232Forks
28Releases
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.
Major 0Minor 10Patch 18
Each point covers 5 days.
OpenSSF Scorecard 3.9 / 10
3.9aggregate
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 |
| 0 | Branch-Protection | branch protection not enabled on development/release branches |
| 0 | CI-Tests | 0 out of 11 merged PRs checked by a CI test -- score normalized to 0 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 3 | Code-Review | Found 10/30 approved changesets -- score normalized to 3 |
| 6 | Contributors | project has 2 contributing companies or organizations -- score normalized to 6 |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 0 | Dependency-Update-Tool | no update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 0 | Maintained | 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0 |
| 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 |
| 9 | Security-Policy | security policy file 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 33
| Registry | Package | Version constraint | Manifest |
|---|---|---|---|
| crates.io | crypto | 0.13 | air/Cargo.toml |
| crates.io | fri | 0.13 | air/Cargo.toml |
| crates.io | libm | 0.2 | air/Cargo.toml |
| crates.io | math | 0.13 | air/Cargo.toml |
| crates.io | utils | 0.13 | air/Cargo.toml |
| crates.io | blake3 | 1.8 | crypto/Cargo.toml |
| crates.io | math | 0.13 | crypto/Cargo.toml |
| crates.io | sha3 | 0.10 | crypto/Cargo.toml |
| crates.io | utils | 0.13 | crypto/Cargo.toml |
| crates.io | crypto | 0.13 | fri/Cargo.toml |
| crates.io | math | 0.13 | fri/Cargo.toml |
| crates.io | utils | 0.13 | fri/Cargo.toml |
| crates.io | serde | 1.0 | math/Cargo.toml |
| crates.io | utils | 0.13 | math/Cargo.toml |
| crates.io | air | 0.13 | prover/Cargo.toml |
| crates.io | crypto | 0.13 | prover/Cargo.toml |
| crates.io | fri | 0.13 | prover/Cargo.toml |
| crates.io | math | 0.13 | prover/Cargo.toml |
| crates.io | maybe_async | 0.13 | prover/Cargo.toml |
| crates.io | tracing | 0.1 | prover/Cargo.toml |
| crates.io | utils | 0.13 | prover/Cargo.toml |
| crates.io | air | 0.13 | verifier/Cargo.toml |
| crates.io | crypto | 0.13 | verifier/Cargo.toml |
| crates.io | fri | 0.13 | verifier/Cargo.toml |
| crates.io | math | 0.13 | verifier/Cargo.toml |
| crates.io | utils | 0.13 | verifier/Cargo.toml |
| crates.io | air | 0.13 | winterfell/Cargo.toml |
| crates.io | prover | 0.13 | winterfell/Cargo.toml |
| crates.io | verifier | 0.13 | winterfell/Cargo.toml |
| crates.io | rayon | 1.10 | utils/core/Cargo.toml |
| crates.io | quote | 1 | utils/maybe_async/Cargo.toml |
| crates.io | syn | 2 | utils/maybe_async/Cargo.toml |
| crates.io | utils | 0.13 | utils/rand/Cargo.toml |
All dependencies 26
Full resolved dependency set from the GitHub dependency graph: 8 direct and 18 indirect (transitive) packages. The transitive closure is complete when the repository commits a lockfile.
| Registry | Package | Version | Relation |
|---|---|---|---|
| crates.io | blake3 | — | direct |
| crates.io | libm | — | direct |
| crates.io | quote | — | direct |
| crates.io | rayon | — | direct |
| crates.io | serde | — | direct |
| crates.io | sha3 | — | direct |
| crates.io | syn | — | direct |
| crates.io | tracing | — | direct |
| crates.io | criterion | — | indirect |
| crates.io | hex | — | indirect |
| crates.io | num-bigint | — | indirect |
| crates.io | proptest | — | indirect |
| crates.io | rand | — | indirect |
| crates.io | structopt | — | indirect |
| crates.io | tracing-forest | — | indirect |
| crates.io | tracing-subscriber | — | indirect |
| crates.io | winter-air | — | indirect |
| crates.io | winter-crypto | — | indirect |
| crates.io | winter-fri | — | indirect |
| crates.io | winter-math | — | indirect |
| crates.io | winter-maybe-async | — | indirect |
| crates.io | winter-prover | — | indirect |
| crates.io | winter-rand-utils | — | indirect |
| crates.io | winter-utils | — | indirect |
| crates.io | winter-verifier | — | indirect |
| crates.io | winterfell | — | indirect |
Dependency advisories 0
Installing crates:winterfell@0.13.1 pulls in 36 packages, direct and transitive: 0 carry known advisories, of which 0 are direct dependencies.
No known advisories affect the assessed dependencies.
An advisory means the version recorded in the dependency graph falls inside an advisory’s affected range. Reachability is not analysed, and the graph includes development and test pins — a finding may concern tooling rather than shipped software.
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.27.0 — full methodology · metrics wiki.
How one result sits in the wider record: aggregate statistics — crates.io.