Public recordGood
Software health reportschema 0.27.0 · metrics 2.3.1 · 2026-07-31 08:12 UTC
verus-lang / verusfmt
An Opinionated Formatter for Verus
verus-lang/verusfmt holds a health index of 75 out of 100, placing it in the Good band. It scores highest on Vitality (80/100) and lowest on Community & Adoption (43/100). It was last updated 1 day ago. 2 contributors account for most of its recent work.
75
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.
75
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 65 is calibrated to 75 on the published index scale (record calibration 2026-08-02).
Ownership
verus-langOrganization
74 followers16 public repossince Jun 2022
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 | verusfmt | 0.7.2 | 193 | 45 | 50 days ago | formatterpretty-printerverusdevelopment-tools |
Metrics by category
Vitality
Is the project alive — is code being written and are releases shipping?
80
Development activity
74Good
How it's scored
| 36/36 | Push recency — last push 1 days ago |
| 13.2/36 | Commit cadence — 19/52 weeks with commits |
| 14.3/18 | Commit volume — 38 commits in the last year |
| 10/10 | OpenSSF Scorecard: Maintained — 13 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 10 |
Inputs used
| commits_last_year | 38 |
| human_commit_share | 0.85 |
| days_since_last_push | 1 |
| active_weeks_last_year | 19 |
Release discipline
90Excellent
How it's scored
| 27/27 | Ships releases — 41 releases published |
| 36/36 | Release recency — latest release 50 days ago |
| 27/27 | Release cadence — a release every ~44.9 days |
| 0/10 | OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases. |
Inputs used
| releases_count | 41 |
| latest_release_tag | v0.7.2 |
| releases_from_tags | no |
| days_since_latest_release | 50 |
| mean_days_between_releases | 44.9 |
Community & Adoption
Does the project have users, downloads, attention, and a welcoming setup for contributors?
43
Popularity & adoption
35Weak
How it's scored
| 21.4/60 | Stars — 22 stars |
| 9.8/25 | Forks — 16 forks |
| 3.9/15 | Watchers — 6 watchers |
Inputs used
| forks | 16 |
| stars | 22 |
| watchers | 6 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Community health
57Moderate
How it's scored
| 22.5/22.5 | README |
| 22.5/22.5 | License — recognized license (MIT) |
| 0/18 | CONTRIBUTING guide |
| 0/13.5 | Code of conduct |
| 0/7.2 | Issue template |
| 6.3/6.3 | PR template |
Inputs used
| has_readme | yes |
| has_license | yes |
| readme_badges | — |
| has_contributing | no |
| has_issue_template | no |
| has_code_of_conduct | no |
| readme_badge_services | — |
| has_pull_request_template | yes |
How it's scored
| 30.5/80 | Monthly downloads — 193 downloads/month across crates |
| 0/20 | Registry dependents — not reported by this ecosystem |
Inputs used
| packages | verusfmt |
| dependents | — |
| ecosystems | crates |
| total_downloads | 42,459 |
| monthly_downloads | 193 |
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?
73
Maintainer resilience (bus factor)
60Moderate
How it's scored
| 25.2/54 | Bus factor — 2 contributor(s) cover half of all commits |
| 11.8/22.5 | Commit distribution — top contributor authored 48% of commits |
| 13.5/13.5 | Contributor breadth — 14 contributors |
| 10/10 | OpenSSF Scorecard: Contributors — project has 10 contributing companies or organizations |
Inputs used
| bus_factor | 2 |
| contributors_sampled | 14 |
| top_contributor_share | 0.477 |
Issue & PR responsiveness
80Excellent
How it's scored
| 28/42 | Issue resolution — 67% of issues closed |
| 28.4/30 | PR acceptance — 139/147 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 15/16 approved changesets -- score normalized to 9 |
Inputs used
| merged_prs | 139 |
| open_issues | 20 |
| closed_issues | 40 |
| prs_merged_7d | — |
| prs_decided_7d | — |
| prs_merged_30d | — |
| prs_decided_30d | — |
| issue_closed_ratio | 0.667 |
| closed_unmerged_prs | 8 |
| 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
61Moderate
How it's scored
| 30/30 | Ownership backing — organization-owned |
| 0/20 | Verified domain |
| 13.5/25 | Owner reach — 74 followers of verus-lang |
| 17.2/25 | Track record — 16 public repos, account ~4 yr old |
Inputs used
| followers | 74 |
| owner_type | Organization |
| is_verified | — |
| owner_login | verus-lang |
| public_repos | 16 |
| account_age_days | 1,513 |
Package maintenance
100Exceptional
How it's scored
| 25/25 | Published & resolvable — 1 package(s) on crates |
| 35/35 | Publish recency — latest publish 50 days ago |
| 20/20 | Version history — 45 published versions |
| 20/20 | Not deprecated — active, not deprecated or yanked |
Inputs used
| packages | verusfmt |
| ecosystems | crates |
| any_deprecated | no |
| min_days_since_publish | 50 |
Engineering Quality
Are baseline engineering and documentation practices in place?
61
Engineering practices
68Good
How it's scored
| 24/24 | CI workflows — 4 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 — 29 out of 29 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
50Moderate
How it's scored
| 30/30 | README |
| 0/25 | Documentation directory |
| 0/15 | Documentation / homepage site |
| 10/10 | Repository description |
| 10/10 | Topics — 3 topics |
| 0/10 | Wiki |
Inputs used
| topics | formatter, pretty-printer, verus |
| has_wiki | no |
| homepage | — |
| 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?
65
Security posture
56Moderate
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 — 29 out of 29 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 15/16 approved changesets -- score normalized to 9 |
| 2.5/2.5 | Contributors — project has 10 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 |
| 7.5/7.5 | Maintained — 13 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 10 |
| 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 — Project has not signed or included provenance with any releases. |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 5.2/7.5 | Vulnerabilities — 3 existing vulnerabilities detected |
Inputs used
| source | openssf_scorecard |
| checks_evaluated | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 5.6 |
Excluded from scoring (no data or not applicable): branch_protection, packaging. 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 |
| 0/25 | Indirect dependencies free of known advisories — transitive set not separable from development and test dependencies in this scope |
| 0/40 | No advisories left outstanding — no advisory carries a publication date |
Inputs used
| source | osv |
| advisories | 5 |
| affected_packages | 3 |
| assessed_packages | 304 |
| unassessed_packages | 5 |
| affected_by_severity | high 2, unknown 1 |
| direct_affected_packages | 0 |
Excluded from scoring (no data or not applicable): Indirect dependencies free of known advisories, No advisories left outstanding. Remaining weights renormalized. Matched 304 resolved dependencies against OSV. 5 could not be assessed — no resolved version, an unsupported ecosystem, or beyond the reported package list. This repository publishes no package the index resolves, so the repository dependency graph was assessed instead. That graph mixes development and test pins with shipped dependencies, so only the declared runtime dependencies are scored; transitive findings are reported as context and excluded from the score. 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.
58
Agent context & guidance
40Weak
How it's scored
| 0/45 | Agent instructions — no CLAUDE.md / AGENTS.md / editor rules |
| 0/15 | Machine-readable docs (llms.txt) |
| 40/40 | Legible commit history — 70 of 85 human commits state their intent (structured subject or explanatory body) |
Inputs used
| has_llms_txt | no |
| legible_history_share | 0.824 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Verify loop (build / test / typecheck)
64Moderate
How it's scored
| 12.6/18 | One-command bootstrap — Cargo.toml, glob-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 — lockfile |
| 0/10 | Demonstrated agent practice — no agent-authored commits among the last 100 |
| 8/8 | Automated maintenance — 1 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 | no |
| has_tests | yes |
| lockfiles | Cargo.lock |
| 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, glob-macro/Cargo.toml |
| dependency_bot_commit_share | 0.01 |
Code legibility for models
97Exceptional
How it's scored
| 45/45 | Type-checkable code — Rust (statically typed) |
| 51.6/55 | Manageable file sizes — 13/210 source files over 60KB |
Inputs used
| primary_language | Rust |
| largest_source_bytes | 1,044,855 |
| source_files_sampled | 210 |
| oversized_source_files | 13 |
How it's scored
| 0/40 | API schema (OpenAPI/GraphQL/proto) |
| 0/20 | MCP server |
| 40/40 | Runnable examples — examples |
Inputs used
| example_dirs | examples |
| has_mcp_signal | no |
| api_schema_files | — |
Key facts
22GitHub stars
14contributors
38commits, last 12 months
1days since last push
41releases
2bus factor
20open issues
crates.iopackage ecosystems
Data collection warnings
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- Could not fetch crates package 'glob-macro' from its registry
More detail
Star and fork history 0 ★ / 16 ⇿
0Stars
16Forks
41Releases
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 6Patch 35
Each point covers 3 days.
OpenSSF Scorecard 5.6 / 10
5.6aggregate
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 | 29 out of 29 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 15/16 approved changesets -- score normalized to 9 |
| 10 | Contributors | project has 10 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 |
| 10 | Maintained | 13 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 10 |
| 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 |
| 0 | Signed-Releases | Project has not signed or included provenance with any releases. |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 7 | Vulnerabilities | 3 existing vulnerabilities detected |
Direct dependencies 18
| Registry | Package | Version constraint | Manifest |
|---|---|---|---|
| crates.io | axoupdater | 0.10.0 | Cargo.toml |
| crates.io | clap | 4.6.0 | Cargo.toml |
| crates.io | fs-err | 3.3.0 | Cargo.toml |
| crates.io | miette | 7.6.0 | Cargo.toml |
| crates.io | pest | 2.8 | Cargo.toml |
| crates.io | pest_derive | 2.8 | Cargo.toml |
| crates.io | pretty | 0.12.5 | Cargo.toml |
| crates.io | regex | 1.12.3 | Cargo.toml |
| crates.io | similar | 3.1.0 | Cargo.toml |
| crates.io | tempfile | 3.27.0 | Cargo.toml |
| crates.io | thiserror | 2.0.18 | Cargo.toml |
| crates.io | tracing | 0.1.44 | Cargo.toml |
| crates.io | tracing-subscriber | 0.3.23 | Cargo.toml |
| crates.io | glob | 0.3.3 | glob-macro/Cargo.toml |
| crates.io | proc-macro2 | 1.0.106 | glob-macro/Cargo.toml |
| crates.io | quote | 1.0.45 | glob-macro/Cargo.toml |
| crates.io | syn | 2.0.117 | glob-macro/Cargo.toml |
| crates.io | syn-mid | 0.6.1 | glob-macro/Cargo.toml |
All dependencies 309
Full resolved dependency set from the GitHub dependency graph: 25 direct and 284 indirect (transitive) packages. The transitive closure is complete when the repository commits a lockfile.
| Registry | Package | Version | Relation |
|---|---|---|---|
| crates.io | axoupdater | 0.10.0 | direct |
| crates.io | clap | 4.6.0 | direct |
| crates.io | fs-err | 3.3.0 | direct |
| crates.io | glob | — | direct |
| crates.io | glob | 0.3.3 | direct |
| crates.io | miette | 7.6.0 | direct |
| crates.io | pest | 2.8.6 | direct |
| crates.io | pest_derive | 2.8.6 | direct |
| crates.io | pretty | 0.12.5 | direct |
| crates.io | proc-macro2 | — | direct |
| crates.io | proc-macro2 | 1.0.106 | direct |
| crates.io | quote | — | direct |
| crates.io | quote | 1.0.45 | direct |
| crates.io | regex | 1.12.3 | direct |
| crates.io | similar | 2.7.0 | direct |
| crates.io | similar | 3.1.0 | direct |
| crates.io | syn | — | direct |
| crates.io | syn | 2.0.117 | direct |
| crates.io | syn-mid | — | direct |
| crates.io | syn-mid | 0.6.1 | direct |
| crates.io | tempfile | 3.27.0 | direct |
| crates.io | thiserror | 1.0.69 | direct |
| crates.io | thiserror | 2.0.18 | direct |
| crates.io | tracing | 0.1.44 | direct |
| crates.io | tracing-subscriber | 0.3.23 | direct |
| crates.io | addr2line | 0.25.1 | indirect |
| crates.io | adler2 | 2.0.1 | indirect |
| crates.io | aho-corasick | 1.1.4 | indirect |
| crates.io | anstream | 1.0.0 | indirect |
| crates.io | anstyle | 1.0.14 | indirect |
| crates.io | anstyle-parse | 1.0.0 | indirect |
| crates.io | anstyle-query | 1.1.5 | indirect |
| crates.io | anstyle-wincon | 3.0.11 | indirect |
| crates.io | anyhow | 1.0.102 | indirect |
| crates.io | ar_archive_writer | 0.5.1 | indirect |
| crates.io | arrayvec | 0.5.2 | indirect |
| crates.io | atomic-waker | 1.1.2 | indirect |
| crates.io | autocfg | 1.5.0 | indirect |
| crates.io | aws-lc-rs | 1.16.2 | indirect |
| crates.io | aws-lc-sys | 0.39.1 | indirect |
| crates.io | axoasset | 2.0.1 | indirect |
| crates.io | axoprocess | 0.2.1 | indirect |
| crates.io | axotag | 0.3.0 | indirect |
| crates.io | backtrace | 0.3.76 | indirect |
| crates.io | backtrace-ext | 0.2.1 | indirect |
| crates.io | base64 | 0.22.1 | indirect |
| crates.io | bitflags | 2.11.1 | indirect |
| crates.io | block-buffer | 0.10.4 | indirect |
| crates.io | bstr | 1.12.1 | indirect |
| crates.io | bumpalo | 3.20.2 | indirect |
| crates.io | bytemuck | 1.25.0 | indirect |
| crates.io | byteorder-lite | 0.1.0 | indirect |
| crates.io | bytes | 1.11.1 | indirect |
| crates.io | camino | 1.2.2 | indirect |
| crates.io | cc | 1.2.60 | indirect |
| crates.io | cesu8 | 1.1.0 | indirect |
| crates.io | cfg-if | 1.0.4 | indirect |
| crates.io | cfg_aliases | 0.2.1 | indirect |
| crates.io | clap_builder | 4.6.0 | indirect |
| crates.io | clap_derive | 4.6.0 | indirect |
| crates.io | clap_lex | 1.1.0 | indirect |
| crates.io | cmake | 0.1.58 | indirect |
| crates.io | colorchoice | 1.0.5 | indirect |
| crates.io | combine | 4.6.7 | indirect |
| crates.io | console | 0.16.3 | indirect |
| crates.io | core-foundation | 0.10.1 | indirect |
| crates.io | core-foundation-sys | 0.8.7 | indirect |
| crates.io | cpufeatures | 0.2.17 | indirect |
| crates.io | crypto-common | 0.1.7 | indirect |
| crates.io | digest | 0.10.7 | indirect |
| crates.io | displaydoc | 0.2.5 | indirect |
| crates.io | dunce | 1.0.5 | indirect |
| crates.io | encode_unicode | 1.0.0 | indirect |
| crates.io | equivalent | 1.0.2 | indirect |
| crates.io | errno | 0.3.14 | indirect |
| crates.io | fastrand | 2.4.1 | indirect |
| crates.io | find-msvc-tools | 0.1.9 | indirect |
| crates.io | foldhash | 0.1.5 | indirect |
| crates.io | form_urlencoded | 1.2.2 | indirect |
| crates.io | fs_extra | 1.3.0 | indirect |
| crates.io | futures-channel | 0.3.32 | indirect |
| crates.io | futures-core | 0.3.32 | indirect |
| crates.io | futures-task | 0.3.32 | indirect |
| crates.io | futures-util | 0.3.32 | indirect |
| crates.io | generic-array | 0.14.7 | indirect |
| crates.io | getrandom | 0.2.17 | indirect |
| crates.io | getrandom | 0.3.4 | indirect |
| crates.io | getrandom | 0.4.2 | indirect |
| crates.io | gimli | 0.32.3 | indirect |
| crates.io | hashbrown | 0.15.5 | indirect |
| crates.io | hashbrown | 0.17.0 | indirect |
| crates.io | heck | 0.5.0 | indirect |
| crates.io | homedir | 0.3.6 | indirect |
| crates.io | http | 1.4.0 | indirect |
| crates.io | http-body | 1.0.1 | indirect |
| crates.io | http-body-util | 0.1.3 | indirect |
| crates.io | httparse | 1.10.1 | indirect |
| crates.io | hyper | 1.9.0 | indirect |
| crates.io | hyper-rustls | 0.27.9 | indirect |
| crates.io | hyper-util | 0.1.20 | indirect |
| crates.io | icu_collections | 2.2.0 | indirect |
| crates.io | icu_locale_core | 2.2.0 | indirect |
| crates.io | icu_normalizer | 2.2.0 | indirect |
| crates.io | icu_normalizer_data | 2.2.0 | indirect |
| crates.io | icu_properties | 2.2.0 | indirect |
| crates.io | icu_properties_data | 2.2.0 | indirect |
| crates.io | icu_provider | 2.2.0 | indirect |
| crates.io | id-arena | 2.3.0 | indirect |
| crates.io | idna | 1.1.0 | indirect |
| crates.io | idna_adapter | 1.2.1 | indirect |
| crates.io | image | 0.25.10 | indirect |
| crates.io | indexmap | 2.14.0 | indirect |
| crates.io | insta | 1.47.2 | indirect |
| crates.io | ipnet | 2.12.0 | indirect |
| crates.io | iri-string | 0.7.12 | indirect |
| crates.io | is_ci | 1.2.0 | indirect |
| crates.io | is_terminal_polyfill | 1.70.2 | indirect |
| crates.io | itoa | 1.0.18 | indirect |
| crates.io | jni | 0.21.1 | indirect |
| crates.io | jni-sys | 0.3.1 | indirect |
| crates.io | jni-sys | 0.4.1 | indirect |
| crates.io | jni-sys-macros | 0.4.1 | indirect |
| crates.io | jobserver | 0.1.34 | indirect |
| crates.io | js-sys | 0.3.95 | indirect |
| crates.io | lazy_static | 1.5.0 | indirect |
| crates.io | leb128fmt | 0.1.0 | indirect |
| crates.io | libc | 0.2.185 | indirect |
| crates.io | linux-raw-sys | 0.12.1 | indirect |
| crates.io | litemap | 0.8.2 | indirect |
| crates.io | lock_api | 0.4.14 | indirect |
| crates.io | log | 0.4.29 | indirect |
| crates.io | lru-slab | 0.1.2 | indirect |
| crates.io | memchr | 2.8.0 | indirect |
| crates.io | miette-derive | 7.6.0 | indirect |
| crates.io | mime | 0.3.17 | indirect |
| crates.io | miniz_oxide | 0.8.9 | indirect |
| crates.io | mio | 1.2.0 | indirect |
| crates.io | moxcms | 0.8.1 | indirect |
| crates.io | nix | 0.30.1 | indirect |
| crates.io | nu-ansi-term | 0.50.3 | indirect |
| crates.io | num-traits | 0.2.19 | indirect |
| crates.io | object | 0.37.3 | indirect |
| crates.io | once_cell | 1.21.4 | indirect |
| crates.io | once_cell_polyfill | 1.70.2 | indirect |
| crates.io | openssl-probe | 0.2.1 | indirect |
| crates.io | owo-colors | 4.3.0 | indirect |
| crates.io | parking_lot | 0.12.5 | indirect |
| crates.io | parking_lot_core | 0.9.12 | indirect |
| crates.io | percent-encoding | 2.3.2 | indirect |
| crates.io | pest_generator | 2.8.6 | indirect |
| crates.io | pest_meta | 2.8.6 | indirect |
| crates.io | pin-project-lite | 0.2.17 | indirect |
| crates.io | potential_utf | 0.1.5 | indirect |
| crates.io | ppv-lite86 | 0.2.21 | indirect |
| crates.io | prettyplease | 0.2.37 | indirect |
| crates.io | psm | 0.1.30 | indirect |
| crates.io | pxfm | 0.1.28 | indirect |
| crates.io | quinn | 0.11.9 | indirect |
| crates.io | quinn-proto | 0.11.14 | indirect |
| crates.io | quinn-udp | 0.5.14 | indirect |
| crates.io | r-efi | 5.3.0 | indirect |
| crates.io | r-efi | 6.0.0 | indirect |
| crates.io | rand | 0.9.4 | indirect |
| crates.io | rand_chacha | 0.9.0 | indirect |
| crates.io | rand_core | 0.9.5 | indirect |
| crates.io | redox_syscall | 0.5.18 | indirect |
| crates.io | regex-automata | 0.4.14 | indirect |
| crates.io | regex-syntax | 0.8.10 | indirect |
| crates.io | reqwest | 0.13.2 | indirect |
| crates.io | ring | 0.17.14 | indirect |
| crates.io | rustc-demangle | 0.1.27 | indirect |
| crates.io | rustc-hash | 2.1.2 | indirect |
| crates.io | rustix | 1.1.4 | indirect |
| crates.io | rustls | 0.23.38 | indirect |
| crates.io | rustls-native-certs | 0.8.3 | indirect |
| crates.io | rustls-pki-types | 1.14.0 | indirect |
| crates.io | rustls-platform-verifier | 0.6.2 | indirect |
| crates.io | rustls-platform-verifier-android | 0.1.1 | indirect |
| crates.io | rustls-webpki | 0.103.12 | indirect |
| crates.io | rustversion | 1.0.22 | indirect |
| crates.io | same-file | 1.0.6 | indirect |
| crates.io | schannel | 0.1.29 | indirect |
| crates.io | scopeguard | 1.2.0 | indirect |
| crates.io | security-framework | 3.7.0 | indirect |
| crates.io | security-framework-sys | 2.17.0 | indirect |
| crates.io | self-replace | 1.5.0 | indirect |
| crates.io | semver | 1.0.28 | indirect |
| crates.io | serde | 1.0.228 | indirect |
| crates.io | serde_core | 1.0.228 | indirect |
| crates.io | serde_derive | 1.0.228 | indirect |
| crates.io | serde_json | 1.0.149 | indirect |
| crates.io | sha2 | 0.10.9 | indirect |
| crates.io | sharded-slab | 0.1.7 | indirect |
| crates.io | shlex | 1.3.0 | indirect |
| crates.io | signal-hook-registry | 1.4.8 | indirect |
| crates.io | slab | 0.4.12 | indirect |
| crates.io | smallvec | 1.15.1 | indirect |
| crates.io | socket2 | 0.6.3 | indirect |
| crates.io | stable_deref_trait | 1.2.1 | indirect |
| crates.io | stacker | 0.1.23 | indirect |
| crates.io | strsim | 0.11.1 | indirect |
| crates.io | subtle | 2.6.1 | indirect |
| crates.io | supports-color | 3.0.2 | indirect |
| crates.io | supports-hyperlinks | 3.2.0 | indirect |
| crates.io | supports-unicode | 3.0.0 | indirect |
| crates.io | sync_wrapper | 1.0.2 | indirect |
| crates.io | synstructure | 0.13.2 | indirect |
| crates.io | terminal_size | 0.4.4 | indirect |
| crates.io | textwrap | 0.16.2 | indirect |
| crates.io | thiserror-impl | 1.0.69 | indirect |
| crates.io | thiserror-impl | 2.0.18 | indirect |
| crates.io | thread_local | 1.1.9 | indirect |
| crates.io | tinystr | 0.8.3 | indirect |
| crates.io | tinyvec | 1.11.0 | indirect |
| crates.io | tinyvec_macros | 0.1.1 | indirect |
| crates.io | tokio | 1.52.0 | indirect |
| crates.io | tokio-macros | 2.7.0 | indirect |
| crates.io | tokio-rustls | 0.26.4 | indirect |
| crates.io | tower | 0.5.3 | indirect |
| crates.io | tower-http | 0.6.8 | indirect |
| crates.io | tower-layer | 0.3.3 | indirect |
| crates.io | tower-service | 0.3.3 | indirect |
| crates.io | tracing-attributes | 0.1.31 | indirect |
| crates.io | tracing-core | 0.1.36 | indirect |
| crates.io | tracing-log | 0.2.0 | indirect |
| crates.io | try-lock | 0.2.5 | indirect |
| crates.io | typed-arena | 2.0.2 | indirect |
| crates.io | typenum | 1.19.0 | indirect |
| crates.io | ucd-trie | 0.1.7 | indirect |
| crates.io | unicode-ident | 1.0.24 | indirect |
| crates.io | unicode-linebreak | 0.1.5 | indirect |
| crates.io | unicode-width | 0.1.14 | indirect |
| crates.io | unicode-width | 0.2.2 | indirect |
| crates.io | unicode-xid | 0.2.6 | indirect |
| crates.io | untrusted | 0.9.0 | indirect |
| crates.io | url | 2.5.8 | indirect |
| crates.io | utf8_iter | 1.0.4 | indirect |
| crates.io | utf8parse | 0.2.2 | indirect |
| crates.io | valuable | 0.1.1 | indirect |
| crates.io | version_check | 0.9.5 | indirect |
| crates.io | walkdir | 2.5.0 | indirect |
| crates.io | want | 0.3.1 | indirect |
| crates.io | wasi | 0.11.1+wasi-snapshot-preview1 | indirect |
| crates.io | wasip2 | 1.0.2+wasi-0.2.9 | indirect |
| crates.io | wasip3 | 0.4.0+wasi-0.3.0-rc-2026-01-06 | indirect |
| crates.io | wasm-bindgen | 0.2.118 | indirect |
| crates.io | wasm-bindgen-futures | 0.4.68 | indirect |
| crates.io | wasm-bindgen-macro | 0.2.118 | indirect |
| crates.io | wasm-bindgen-macro-support | 0.2.118 | indirect |
| crates.io | wasm-bindgen-shared | 0.2.118 | indirect |
| crates.io | wasm-encoder | 0.244.0 | indirect |
| crates.io | wasm-metadata | 0.244.0 | indirect |
| crates.io | wasmparser | 0.244.0 | indirect |
| crates.io | web-sys | 0.3.95 | indirect |
| crates.io | web-time | 1.1.0 | indirect |
| crates.io | webpki-root-certs | 1.0.6 | indirect |
| crates.io | widestring | 1.2.1 | indirect |
| crates.io | winapi-util | 0.1.11 | indirect |
| crates.io | windows | 0.61.3 | indirect |
| crates.io | windows-collections | 0.2.0 | indirect |
| crates.io | windows-core | 0.61.2 | indirect |
| crates.io | windows-future | 0.2.1 | indirect |
| crates.io | windows-implement | 0.60.2 | indirect |
| crates.io | windows-interface | 0.59.3 | indirect |
| crates.io | windows-link | 0.1.3 | indirect |
| crates.io | windows-link | 0.2.1 | indirect |
| crates.io | windows-numerics | 0.2.0 | indirect |
| crates.io | windows-result | 0.3.4 | indirect |
| crates.io | windows-strings | 0.4.2 | indirect |
| crates.io | windows-sys | 0.45.0 | indirect |
| crates.io | windows-sys | 0.52.0 | indirect |
| crates.io | windows-sys | 0.59.0 | indirect |
| crates.io | windows-sys | 0.61.2 | indirect |
| crates.io | windows-targets | 0.42.2 | indirect |
| crates.io | windows-targets | 0.52.6 | indirect |
| crates.io | windows-threading | 0.1.0 | indirect |
| crates.io | windows_aarch64_gnullvm | 0.42.2 | indirect |
| crates.io | windows_aarch64_gnullvm | 0.52.6 | indirect |
| crates.io | windows_aarch64_msvc | 0.42.2 | indirect |
| crates.io | windows_aarch64_msvc | 0.52.6 | indirect |
| crates.io | windows_i686_gnu | 0.42.2 | indirect |
| crates.io | windows_i686_gnu | 0.52.6 | indirect |
| crates.io | windows_i686_gnullvm | 0.52.6 | indirect |
| crates.io | windows_i686_msvc | 0.42.2 | indirect |
| crates.io | windows_i686_msvc | 0.52.6 | indirect |
| crates.io | windows_x86_64_gnu | 0.42.2 | indirect |
| crates.io | windows_x86_64_gnu | 0.52.6 | indirect |
| crates.io | windows_x86_64_gnullvm | 0.42.2 | indirect |
| crates.io | windows_x86_64_gnullvm | 0.52.6 | indirect |
| crates.io | windows_x86_64_msvc | 0.42.2 | indirect |
| crates.io | windows_x86_64_msvc | 0.52.6 | indirect |
| crates.io | wit-bindgen | 0.51.0 | indirect |
| crates.io | wit-bindgen-core | 0.51.0 | indirect |
| crates.io | wit-bindgen-rust | 0.51.0 | indirect |
| crates.io | wit-bindgen-rust-macro | 0.51.0 | indirect |
| crates.io | wit-component | 0.244.0 | indirect |
| crates.io | wit-parser | 0.244.0 | indirect |
| crates.io | writeable | 0.6.3 | indirect |
| crates.io | yoke | 0.8.2 | indirect |
| crates.io | yoke-derive | 0.8.2 | indirect |
| crates.io | zerocopy | 0.8.48 | indirect |
| crates.io | zerocopy-derive | 0.8.48 | indirect |
| crates.io | zerofrom | 0.1.7 | indirect |
| crates.io | zerofrom-derive | 0.1.7 | indirect |
| crates.io | zeroize | 1.8.2 | indirect |
| crates.io | zerotrie | 0.2.4 | indirect |
| crates.io | zerovec | 0.11.6 | indirect |
| crates.io | zerovec-derive | 0.11.3 | indirect |
| crates.io | zmij | 1.0.21 | indirect |
Dependency advisories 3
This repository publishes no package the index resolves, so its own dependency graph was assessed — 304 packages, which also include development and test pins that never ship: 3 carry known advisories, of which 0 are direct. 5 could not be assessed — no resolved version, an unsupported ecosystem, or beyond the reported package list.
| Package | Version | Relation | Severity | Advisories | Fixed in |
|---|---|---|---|---|---|
| quinn-proto | 0.11.14 | indirect | high | 2 | 0.11.15 |
| rustls-webpki | 0.103.12 | indirect | high | 2 | 0.104.0-alpha.7 |
| anyhow | 1.0.102 | indirect | unknown | 1 | 1.0.103 |
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
{
"data": {
"repo": {
"topics": [
"formatter",
"pretty-printer",
"verus"
],
"is_fork": false,
"size_kb": 3317,
"has_wiki": false,
"homepage": null,
"languages": {
"Rust": 171976,
"Shell": 3226,
"Python": 864
},
"pushed_at": "2026-07-29T21:43:26Z",
"created_at": "2023-07-12T00:55:46Z",
"owner_type": "Organization",
"updated_at": "2026-07-29T21:43:52Z",
"description": "An Opinionated Formatter for Verus",
"is_archived": false,
"is_disabled": false,
"license_spdx": "MIT",
"default_branch": "main",
"license_spdx_raw": "MIT",
"primary_language": "Rust",
"significant_languages": [
"Rust"
]
},
"owner": {
"blog": null,
"name": null,
"type": "Organization",
"login": "verus-lang",
"company": null,
"location": null,
"followers": 74,
"avatar_url": "https://avatars.githubusercontent.com/u/107117217?v=4",
"created_at": "2022-06-08T11:47:03Z",
"is_verified": null,
"public_repos": 16,
"account_age_days": 1513
},
"license": {
"state": "standard",
"spdx_id": "MIT",
"raw_spdx": "MIT",
"file_present": true,
"scorecard_found": true,
"profile_has_license": true
},
"activity": {
"releases": [
{
"tag": "v0.7.2",
"kind": "patch",
"published_at": "2026-06-10T21:36:57Z"
},
{
"tag": "v0.7.1",
"kind": "patch",
"published_at": "2026-06-01T18:47:27Z"
},
{
"tag": "v0.7.0",
"kind": "minor",
"published_at": "2026-05-07T23:38:45Z"
},
{
"tag": "v0.6.4",
"kind": "patch",
"published_at": "2026-03-30T18:37:56Z"
},
{
"tag": "v0.6.3",
"kind": "patch",
"published_at": "2026-02-23T22:51:00Z"
},
{
"tag": "v0.6.2",
"kind": "patch",
"published_at": "2026-02-12T23:36:53Z"
},
{
"tag": "v0.6.1",
"kind": "patch",
"published_at": "2025-10-25T00:13:33Z"
},
{
"tag": "v0.6.0",
"kind": "minor",
"published_at": "2025-10-01T01:57:47Z"
},
{
"tag": "v0.5.7",
"kind": "patch",
"published_at": "2025-06-02T23:55:44Z"
},
{
"tag": "v0.5.6",
"kind": "patch",
"published_at": "2025-05-02T18:10:59Z"
},
{
"tag": "v0.5.5",
"kind": "patch",
"published_at": "2025-04-10T01:06:08Z"
},
{
"tag": "v0.5.4",
"kind": "patch",
"published_at": "2025-03-27T22:43:07Z"
},
{
"tag": "v0.5.3",
"kind": "patch",
"published_at": "2025-02-18T22:41:41Z"
},
{
"tag": "v0.5.2",
"kind": "patch",
"published_at": "2025-01-15T23:15:17Z"
},
{
"tag": "v0.5.1",
"kind": "patch",
"published_at": "2025-01-15T00:28:50Z"
},
{
"tag": "v0.5.0",
"kind": "minor",
"published_at": "2024-10-24T22:21:04Z"
},
{
"tag": "v0.4.3",
"kind": "patch",
"published_at": "2024-10-07T22:03:31Z"
},
{
"tag": "v0.4.2",
"kind": "patch",
"published_at": "2024-09-25T01:32:10Z"
},
{
"tag": "v0.4.1",
"kind": "patch",
"published_at": "2024-08-21T01:18:47Z"
},
{
"tag": "v0.4.0",
"kind": "minor",
"published_at": "2024-07-23T22:38:02Z"
},
{
"tag": "v0.3.8",
"kind": "patch",
"published_at": "2024-07-08T20:44:00Z"
},
{
"tag": "v0.3.7",
"kind": "patch",
"published_at": "2024-06-25T19:26:31Z"
},
{
"tag": "v0.3.6",
"kind": "patch",
"published_at": "2024-06-15T20:30:41Z"
},
{
"tag": "v0.3.5",
"kind": "patch",
"published_at": "2024-06-01T04:04:50Z"
},
{
"tag": "v0.3.4",
"kind": "patch",
"published_at": "2024-05-24T04:52:22Z"
},
{
"tag": "v0.3.3",
"kind": "patch",
"published_at": "2024-05-21T20:21:39Z"
},
{
"tag": "v0.3.2",
"kind": "patch",
"published_at": "2024-05-16T19:14:55Z"
},
{
"tag": "v0.3.1",
"kind": "patch",
"published_at": "2024-04-23T16:01:46Z"
},
{
"tag": "v0.3.0",
"kind": "minor",
"published_at": "2024-04-11T20:25:50Z"
},
{
"tag": "v0.2.11",
"kind": "patch",
"published_at": "2024-04-02T19:58:36Z"
},
{
"tag": "v0.2.10",
"kind": "patch",
"published_at": "2024-03-27T17:53:06Z"
},
{
"tag": "v0.2.9",
"kind": "patch",
"published_at": "2024-03-25T19:54:54Z"
},
{
"tag": "v0.2.8",
"kind": "patch",
"published_at": "2024-03-12T16:40:02Z"
},
{
"tag": "v0.2.7",
"kind": "patch",
"published_at": "2024-02-29T18:38:08Z"
},
{
"tag": "v0.2.6",
"kind": "patch",
"published_at": "2024-02-28T03:37:52Z"
},
{
"tag": "v0.2.5",
"kind": "patch",
"published_at": "2024-02-27T16:25:36Z"
},
{
"tag": "v0.2.4",
"kind": "patch",
"published_at": "2024-02-23T20:58:30Z"
},
{
"tag": "v0.2.3",
"kind": "patch",
"published_at": "2024-02-21T02:05:59Z"
},
{
"tag": "v0.2.2",
"kind": "patch",
"published_at": "2024-02-20T21:38:53Z"
},
{
"tag": "v0.2.1",
"kind": "patch",
"published_at": "2024-02-19T18:03:55Z"
},
{
"tag": "v0.2.0",
"kind": "minor",
"published_at": "2024-02-13T03:06:29Z"
}
],
"recent_commits": [
{
"oid": "3f77a8a235c83ce3e27b53f5084eece30f54738b",
"body": "Co-authored-by: Leon Schuermann <t-leonsc@microsoft.com>",
"is_bot": false,
"headline": "Support labeled loops (#212)",
"author_name": "Leon Schuermann",
"author_login": "lschuermann",
"committed_at": "2026-07-29T21:43:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c0efaefe88325818eebae1e7e211cbb142c294be",
"body": "Co-authored-by: Leon Schuermann <t-leonsc@microsoft.com>",
"is_bot": false,
"headline": "Allow compiling with `axoupdater` feature disabled (#211)",
"author_name": "Leon Schuermann",
"author_login": "lschuermann",
"committed_at": "2026-07-29T21:26:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7c04895181632c96945cc06498ba7ba6131dd27d",
"body": null,
"is_bot": true,
"headline": "Verus snapshot update (#210)",
"author_name": "github-actions[bot]",
"author_login": "github-actions[bot]",
"committed_at": "2026-07-02T22:43:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "610d4ee7fa4d5a8f0132aad70f8df07fd64adc87",
"body": null,
"is_bot": false,
"headline": "chore: release v0.7.2 (#209)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2026-06-10T21:24:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a8ded8a37624600358198e31e2ece296409c893d",
"body": null,
"is_bot": false,
"headline": "Support `const unsafe trait` (#208)",
"author_name": "Copilot",
"author_login": "Copilot",
"committed_at": "2026-06-09T23:05:00Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "88e74f59946285a2dd49cdd3de9d257d2a51b7eb",
"body": null,
"is_bot": false,
"headline": "chore: release v0.7.1 (#204)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2026-06-01T18:39:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e5b1e3fa98cf4bc174a700b5a3f439befbef1c0b",
"body": null,
"is_bot": true,
"headline": "Verus snapshot update (#203)",
"author_name": "github-actions[bot]",
"author_login": "github-actions[bot]",
"committed_at": "2026-06-01T05:37:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3837df2ec9fbbfff1ea332db833acc607b766fbe",
"body": null,
"is_bot": false,
"headline": "fix: multiline block comment panic (#198)",
"author_name": "Yuwei LIU",
"author_login": "Marsman1996",
"committed_at": "2026-05-30T03:31:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "30890c4e4b227e582a5f34167b049a385abf3ca5",
"body": null,
"is_bot": false,
"headline": "Add support for `--edition` for parts outside verus macro (#197)",
"author_name": "Yuwei LIU",
"author_login": "Marsman1996",
"committed_at": "2026-05-30T03:17:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e30b6665ea3f174aefec055305ef5b71d6f5f278",
"body": null,
"is_bot": false,
"headline": "Support `const impl` and `[const]` trait bounds (#196)",
"author_name": "Copilot",
"author_login": "Copilot",
"committed_at": "2026-05-28T03:05:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "28b9abca07a332d15a7a1fa3c01b18e9d65681c4",
"body": null,
"is_bot": false,
"headline": "chore: release v0.7.0 (#194)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2026-05-07T22:12:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "86658f89104b5408cb1dac49a463a092104caeed",
"body": "`final_expr` was missing a `attr*`.\n\n---------\n\nCo-authored-by: Jay Bosamiya <jayb@microsoft.com>",
"is_bot": false,
"headline": "Parse attributes for `final` expressions (#193)",
"author_name": "Copilot",
"author_login": "Copilot",
"committed_at": "2026-05-07T00:45:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "006382c8ba501a6e883ad5ec7885f0ae6edb23c3",
"body": "See https://github.com/verus-lang/verus/pull/2134\n\n---------\nCo-authored-by: jaybosamiya-ms <171180729+jaybosamiya-ms@users.noreply.github.com>",
"is_bot": false,
"headline": "Return value patterns in function signatures (#192)",
"author_name": "Copilot",
"author_login": "Copilot",
"committed_at": "2026-05-07T00:31:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d1d2daba7ca1816f06a7263613e7136e58bfd6b4",
"body": null,
"is_bot": false,
"headline": "chore: upgrade dependencies (#188)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2026-04-14T20:27:04Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "db10fbfb7564718433969d79d667f218943a5201",
"body": null,
"is_bot": false,
"headline": "Fix unnecessary space after return/break/continue (#185)",
"author_name": "Chase Harkcom",
"author_login": "ChaseParate",
"committed_at": "2026-03-31T22:04:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ac830a392134a086bbd192e87b15793895335d1f",
"body": null,
"is_bot": false,
"headline": "chore: release v0.6.4 (#186)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2026-03-30T18:28:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ad24d4f33b737ab2de46e491bde837f934abb7d6",
"body": null,
"is_bot": false,
"headline": "Fix parsing of trait associated const declarations (#183)",
"author_name": "Copilot",
"author_login": "Copilot",
"committed_at": "2026-03-30T03:29:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5159cd01bdb5a7a2fdafa8dd0d16f21c6791add5",
"body": null,
"is_bot": true,
"headline": "Verus snapshot update (#178)",
"author_name": "github-actions[bot]",
"author_login": "github-actions[bot]",
"committed_at": "2026-03-01T02:21:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8fd89c0a36d35d7c8a4b2d3f3c259a4258da5a9a",
"body": null,
"is_bot": false,
"headline": "Release v0.6.3 (#177)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2026-02-23T22:42:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "15d531eaceef72c5303132e6d614d5bc33979aa4",
"body": null,
"is_bot": false,
"headline": "Add support for `final` expressions (#176)",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya",
"committed_at": "2026-02-23T22:07:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "368de32f4bc97da5ece22663167167d9779d2043",
"body": "Attempted re-landing after updating cargo-dist.",
"is_bot": false,
"headline": "Release v0.6.2 (#173)",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2026-02-12T23:29:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ab06cd140db7cc4c2d5e8eb911b7dc7925ff568a",
"body": "Also uses the new `dist`-specific config file.",
"is_bot": false,
"headline": "Update cargo-dist to 0.30.3 to access current GitHub runners (#174)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2026-02-12T23:20:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "74ee19a0782bffef4199a0573db34f18c6f5a430",
"body": null,
"is_bot": false,
"headline": "Release v0.6.2 (#173)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2026-02-12T23:03:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "901f012ecda28190e32d4fbfecf3ac4830bb3169",
"body": "---------\n\nCo-authored-by: Jay Bosamiya <jaybosamiya@gmail.com>",
"is_bot": false,
"headline": "Support raw identifiers (r# prefix) (#172)",
"author_name": "Copilot",
"author_login": "Copilot",
"committed_at": "2026-02-11T08:48:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0450f3dce0d4ca6d8a39da703681d0b413334838",
"body": "Automated verus snapshot update by GitHub Actions.",
"is_bot": true,
"headline": "Verus snapshot update (#170)",
"author_name": "github-actions[bot]",
"author_login": "github-actions[bot]",
"committed_at": "2026-02-02T18:55:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8cba433ae489a5cbf84dbc8df50da734f678f9ff",
"body": "Automated verus snapshot update by GitHub Actions.",
"is_bot": true,
"headline": "Verus snapshot update (#169)",
"author_name": "github-actions[bot]",
"author_login": "github-actions[bot]",
"committed_at": "2026-01-03T01:52:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9a89bf3c5363eb87de18c3219599755c66ed712a",
"body": null,
"is_bot": false,
"headline": "Support real literals (#168)",
"author_name": "Copilot",
"author_login": "Copilot",
"committed_at": "2025-12-10T01:31:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ea2fa0606001bf7015216cd969966fdc649a81d4",
"body": "Automated verus snapshot update by GitHub Actions.",
"is_bot": true,
"headline": "Verus snapshot update (#166)",
"author_name": "github-actions[bot]",
"author_login": "github-actions[bot]",
"committed_at": "2025-12-01T18:59:52Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3728831daa1c4921d05ca155a8149235154ee498",
"body": "Automated verus snapshot update by GitHub Actions.",
"is_bot": true,
"headline": "Verus snapshot update (#165)",
"author_name": "github-actions[bot]",
"author_login": "github-actions[bot]",
"committed_at": "2025-11-01T01:27:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c9749a296d3f7128a8347a4e319ca354e761be62",
"body": null,
"is_bot": false,
"headline": "Release v0.6.1 (#164)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-10-25T00:04:52Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "898d2e518695b439352ecffb1b4dc73b5b3987bd",
"body": "Automated verus snapshot update by GitHub Actions.",
"is_bot": true,
"headline": "Verus snapshot update (#163)",
"author_name": "github-actions[bot]",
"author_login": "github-actions[bot]",
"committed_at": "2025-10-24T23:57:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a29f81e76be34d27f05ccee1178c915b53c4c8e1",
"body": "…162)\n\nEquivalent to #158 but with some cleanups\n\n---------\n\nCo-authored-by: Theodore Ehrenborg <theodore.ehrenborg@gmail.com>",
"is_bot": false,
"headline": "Improved parsing for underscored literals and compound assignments (#…",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-10-24T23:48:47Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5a26edb9c317e3c99a42d0b5ed02ff1d2c42afd8",
"body": null,
"is_bot": false,
"headline": "Document the verusfmt::skip attribute (#161)",
"author_name": "Bryan Parno",
"author_login": "parno",
"committed_at": "2025-10-24T21:37:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c105cf50e5f6db4840df7a012f9940e6b1dff97e",
"body": null,
"is_bot": false,
"headline": "Add escape char support (#157)",
"author_name": "JakeGinesin",
"author_login": "JakeGinesin",
"committed_at": "2025-10-20T21:27:42Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "66edface5ee2282b421f005bfe38224317a310fc",
"body": null,
"is_bot": true,
"headline": "Bump tracing-subscriber from 0.3.19 to 0.3.20 (#156)",
"author_name": "dependabot[bot]",
"author_login": "dependabot[bot]",
"committed_at": "2025-10-01T02:45:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6fc029507a32c16588056c333f938e0e63bb26e7",
"body": "Automated verus snapshot update by GitHub Actions.",
"is_bot": true,
"headline": "Verus snapshot update (#149)",
"author_name": "github-actions[bot]",
"author_login": "github-actions[bot]",
"committed_at": "2025-10-01T02:01:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "dfc83c952c974d313f9c8da882d4483552705829",
"body": null,
"is_bot": false,
"headline": "Release v0.6.0 (#155)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-10-01T01:51:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "39f647060a9e4c8b83af3e566989f06955c85fc6",
"body": "This is to support an upcoming change in Verus (verus-lang/verus#1825)",
"is_bot": false,
"headline": "Add support for `assume_specification` for consts (#154)",
"author_name": "Bryan Parno",
"author_login": "parno",
"committed_at": "2025-09-29T23:27:25Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1d6ecb862b1381e5ac324904bc646123ec86b7be",
"body": null,
"is_bot": false,
"headline": "Fix `no_unwind` parsing immediately after another clause (#151)",
"author_name": "Xinyi Wan",
"author_login": "rikosellic",
"committed_at": "2025-07-02T17:44:54Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b6a166c0f4814411ea46d06fcec3fe9877f47e2f",
"body": "Fixes #146 \n\nInterestingly, this surfaces a _tiny_ part of vstd that we were not\nparsing/formatting before, weirdly enough. Seems to essentially not\nimpact anything else though, but I am surprised by the part of vstd it\nimpacted.\n\nAt a high level, the `non_verus` rule exists to gobble up anything\nbe\n[…]\ndled elsewhere, this is purely a \"before\nwe see the `verus! {` thing. Related reading (for why `non_verus`\nexists): f17e9f6fb6bc6b4c8aa244bce96efe1464b10621. See #72 for fixing\nthis issue for strings.",
"is_bot": false,
"headline": "Fix accidental attempted parse inside comments (#147)",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya",
"committed_at": "2025-06-24T14:41:44Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "beff2fa686d856d5e60df368fd027d94ead11ac5",
"body": null,
"is_bot": false,
"headline": "chore: bump the patch version",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-06-02T23:46:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bd97a969b92b549d41e7ea84ccc95c66d6e3ebef",
"body": null,
"is_bot": false,
"headline": "Update PR template to use superscript for license confirmation",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-06-02T23:46:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b26ac009632a0b3980bb980a4cd6c7d0df4b4382",
"body": "Adds support for version bumping with `jj` alongside existing `git` support",
"is_bot": false,
"headline": "Improved utility script for version bumping",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-06-02T23:45:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "aa7f3bcb51751bfebe7cd8090d48f45245a7bd8a",
"body": "Automated verus snapshot update by GitHub Actions.",
"is_bot": true,
"headline": "Verus snapshot update (#143)",
"author_name": "github-actions[bot]",
"author_login": "github-actions[bot]",
"committed_at": "2025-06-02T23:09:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3462b942316fe56bbe9ba35a847e656e00820378",
"body": "See\nhttps://github.com/verus-lang/verus/commit/8707ef26789e8b734c2d5bfe6d866356314bd859",
"is_bot": false,
"headline": "Verus recently renamed its examples directory (#142)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-06-02T23:00:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f3f98038a05dca56ea5aca442fc4d97edbc968fa",
"body": "See https://github.com/verus-lang/verus/pull/1551",
"is_bot": false,
"headline": "Add support for `default_ensures` syntax (#135)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-06-02T22:50:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "94b03066dacc9e5297dae0472683b786f00c51fb",
"body": null,
"is_bot": false,
"headline": "chore: bump the patch version",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-05-02T18:03:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ae9ea5357a094ceac1fd867cdc6738e7f588c0ba",
"body": null,
"is_bot": false,
"headline": "Braced syntax for `broadcast use` (#134)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-05-02T18:01:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c7359c58d1c9b2b40e825026ef9b2f988eca4282",
"body": "Automated verus snapshot update by GitHub Actions.",
"is_bot": true,
"headline": "Verus snapshot update (#139)",
"author_name": "github-actions[bot]",
"author_login": "github-actions[bot]",
"committed_at": "2025-05-01T21:31:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fa68532e4313473dd60d7877d5c28a73e863ace6",
"body": null,
"is_bot": false,
"headline": "Update parser to handle `@` identifier binding in patterns (#138)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-04-26T15:23:00Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a8e74db64c3d2861223f38df4718144f6861abe6",
"body": null,
"is_bot": false,
"headline": "chore: bump the patch version",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-04-10T00:57:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "af423570ace62381122d1a23f10117251357912c",
"body": "See https://github.com/verus-lang/verus/pull/1524",
"is_bot": false,
"headline": "Support proof closures (#125)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-04-10T00:30:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8691719575b0815a962ce4999b868096465dcaad",
"body": null,
"is_bot": false,
"headline": "ci: switch to astral cargo-dist (#133)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-04-10T00:19:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4d0e2c6696db2b99a3f65f1490c04e336fa6016e",
"body": null,
"is_bot": false,
"headline": "Add a pull request template for contributor acknowledgment",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-04-10T00:09:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0557cc538217ba0eec9c3125d59714631d939f9e",
"body": null,
"is_bot": false,
"headline": "Update changelog",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-04-09T23:55:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6f0408652a923e808cc6e244f1d6a1ed8cf4e9c7",
"body": "This handles the support for specifying a vstd::Set<int> expression in\nthe opens_invariants clause, which was added in\nhttps://github.com/verus-lang/verus/pull/1502",
"is_bot": false,
"headline": "Add support for opens_invariants set expr notation (#132)",
"author_name": "Nickolai Zeldovich",
"author_login": "zeldovich",
"committed_at": "2025-04-09T23:42:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6dabbf27e14a194a6ce47ecbd0905eeff42de9da",
"body": "Automated verus snapshot update by GitHub Actions.",
"is_bot": true,
"headline": "Verus snapshot update (#131)",
"author_name": "github-actions[bot]",
"author_login": "github-actions[bot]",
"committed_at": "2025-04-01T20:48:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "69f091f7801b171f5907ab6935a48b52f0725034",
"body": "See https://github.com/verus-lang/verus/pull/1533",
"is_bot": false,
"headline": "Add support for visibility qualifiers on `open` (#129)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-03-30T00:49:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9eeed56d47c5ff6b9db66e2ee2dfd07ab4b8bc60",
"body": null,
"is_bot": false,
"headline": "Fix accidentally incorrect position of #123 in changelog",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-03-28T20:00:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "dab80d3c628a521157d7e453cd9a9c2824f826c6",
"body": "See https://github.com/verus-lang/verus/pull/1518",
"is_bot": false,
"headline": "Support the `axiom` keyword (#123)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-03-28T17:59:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e929e86f620a9079eb75b8044e67c1642594724e",
"body": null,
"is_bot": false,
"headline": "chore: bump the patch version",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-03-27T22:34:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9e79db4ab931ced2b697505ece537dae478c5675",
"body": null,
"is_bot": false,
"headline": "Revert \"Update to Rust 2024 edition\" (#128)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-03-27T17:11:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5d5f4650c92d7e5a0faffe1b61f16f7557968572",
"body": null,
"is_bot": false,
"headline": "Revert \"Update to Rust 2024 edition\"",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-03-27T17:06:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d4d6c6473c7cab3d45d95c86f417e3e90fe6934c",
"body": "Turns out the only difference between 2021 and 2024 edition for this\nrepo is formatting (heh!). While we don't _need_ to update to the latest\nedition, the formatting style used by the 2024 edition is slightly\nbetter, so this PR just updates things to that.\n\nThis does NOT impact the output of verusfmt at all and is instead only a\nchange at the _source_ of verusfmt.",
"is_bot": false,
"headline": "Update to Rust 2024 edition (#126)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-03-26T21:57:52Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0918becc67c3834df406908411af9ec8378b89be",
"body": null,
"is_bot": false,
"headline": "Update to Rust 2024 edition",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-03-26T21:53:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "78c126b8d5534a170d7d9bbc20eb9f779c88b8a5",
"body": "See https://github.com/verus-lang/verus/pull/1473",
"is_bot": false,
"headline": "Support for `uninterp`reted spec functions (#124)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-03-26T20:21:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ddf7763589ad7c4d77a7bfa65510b83005754e2e",
"body": null,
"is_bot": false,
"headline": "Support for `uninterp`reted spec functions",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-03-26T20:17:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1d58d8366f831de6ff3521f98d1d5c1c47c2c449",
"body": "Essentially, this just disables out some of the slowest tests from running locally",
"is_bot": false,
"headline": "Speed up local testing, while running all tests on CI (#122)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-03-26T18:48:47Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5b79cda26ea23db6cb7fb651143c3f2efb943c97",
"body": null,
"is_bot": false,
"headline": "Speed up local testing, while doing more testing on CI",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-03-25T23:58:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "efc20a0991b362a701ff74000c77f22c1110888b",
"body": "Fixes #118.",
"is_bot": false,
"headline": "Add support for backslashed character literals (#119)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-03-18T01:53:41Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2fe6cd9ec205cb6884e7c9c18706c280bae87b74",
"body": "Automated verus snapshot update by GitHub Actions.",
"is_bot": false,
"headline": "Verus snapshot update (#120)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-03-03T22:11:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b1ab94fbf661ba5b02759b28a9162732df529550",
"body": null,
"is_bot": false,
"headline": "chore: update to latest Verus snapshot",
"author_name": "jaybosamiya",
"author_login": "jaybosamiya",
"committed_at": "2025-03-01T01:09:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "214299b2ba481eb55d38f7cc02f362bddaf775da",
"body": null,
"is_bot": false,
"headline": "chore: bump the patch version",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-02-18T22:33:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b83297da04804189a0ba4ab94c02734f962081aa",
"body": null,
"is_bot": false,
"headline": "Make it easier to bump versions",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-02-08T01:35:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fe4097379ea4c8e0f6c89501ae1c7d3dc0f18037",
"body": "See https://github.com/verus-lang/verus/pull/1435",
"is_bot": false,
"headline": "Add support for `!is`/`!has` syntax (#117)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-02-07T23:11:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ae4c428143bc75605b76df2080a4aed99bce61c0",
"body": null,
"is_bot": false,
"headline": "Simplify `macro_call`",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-02-06T22:36:42Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e5f1f60b98247f578a1214e1a397457fcf60928a",
"body": null,
"is_bot": false,
"headline": "Add support for `!is`/`!has` syntax",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-02-06T22:26:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d2c3a9fc247da0bc55ce4b455b3118511c3b08ca",
"body": "Automated verus snapshot update by GitHub Actions.",
"is_bot": false,
"headline": "Verus snapshot update (#116)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-02-03T20:11:00Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "11ae4aed7b461c58f4fe0856817b61e7b724d571",
"body": null,
"is_bot": false,
"headline": "chore: update to latest Verus snapshot",
"author_name": "jaybosamiya",
"author_login": "jaybosamiya",
"committed_at": "2025-02-01T01:05:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5bd6be53ee0f3e776d295b08d2dbca5155bc177b",
"body": null,
"is_bot": false,
"headline": "chore: bump the patch version",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-01-15T23:08:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6da8747fc0109d6a7ce0e83ebaa72344abf1c294",
"body": "Fixes #114",
"is_bot": false,
"headline": "Fix parser for `assume_specification` (#115)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-01-15T23:06:04Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e75e20f812bb13ce9de3e95cd06335b92db0c78a",
"body": null,
"is_bot": false,
"headline": "chore: dependency version upgrades (#113)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-01-15T00:49:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f6850fc488c3040f8322bcde646b1b4840f114b6",
"body": null,
"is_bot": false,
"headline": "chore: update to latest cargo-dist",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-01-15T00:41:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "71fb9a3d95f446c18b3d22c4c79bcbb9ff0ce5ba",
"body": null,
"is_bot": false,
"headline": "chore: upgrade dependencies",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-01-15T00:36:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f5429ee8e55f4ae128d942a8c2e66d0d05700e22",
"body": null,
"is_bot": false,
"headline": "chore: bump the patch version",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-01-15T00:14:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4aea890736921d9a90cc1f8deb2c60dcbe34368e",
"body": "Co-authored-by: Jay Bosamiya <jayb@microsoft.com>",
"is_bot": false,
"headline": "Support `returns` clause (#98)",
"author_name": "Travis Hance",
"author_login": "tjhance",
"committed_at": "2025-01-15T00:07:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fd14b5dfea4b810fe731a6c782d894aa2bb28dc3",
"body": "This PR adds support for the upcoming `assume_specification` (https://github.com/verus-lang/verus/pull/1368) syntax in Verus.",
"is_bot": false,
"headline": "Add support for `assume_specification` (#112)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-01-14T22:59:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "99d7031949bd35704639861edea56bef66914dfd",
"body": null,
"is_bot": false,
"headline": "Add support for `assume_specification`",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-01-12T03:38:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "872806bb02ee45ac3d6d858fa9249ba96a202a9c",
"body": "This reverts commit 18578a8012e3eadc8b2fa67018cf82705f42883a, reversing\nchanges made to a20d83adac4df31d231f37789dc2d7d00be85df9.",
"is_bot": false,
"headline": "Revert accidentally-auto-merged #111",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-01-12T03:32:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "18578a8012e3eadc8b2fa67018cf82705f42883a",
"body": "This PR adds support for the upcoming `assume_specification`\r\n(https://github.com/verus-lang/verus/pull/1368) syntax in Verus.",
"is_bot": false,
"headline": "Add support for `assume_specification` (#111)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-01-12T03:25:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2437721a31d44a59b4f631011e0a4265f1962c42",
"body": null,
"is_bot": false,
"headline": "Add support for `assume_specification`",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-01-12T03:00:52Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a20d83adac4df31d231f37789dc2d7d00be85df9",
"body": "Automated verus snapshot update by GitHub Actions.",
"is_bot": false,
"headline": "Verus snapshot update (#110)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2025-01-02T20:21:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5ef3aca2c38c04e07c35ce887b5b605b88bf1b36",
"body": null,
"is_bot": false,
"headline": "chore: update to latest Verus snapshot",
"author_name": "jaybosamiya",
"author_login": "jaybosamiya",
"committed_at": "2025-01-01T01:09:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ef06bbe9b8d561d1f74c611b0fd6c01d51701bea",
"body": "As in title; see comment in Cargo.toml as well as #107. Basically, with\r\nthis PR, users of verusfmt _as a library_ can use `default-features =\r\nfalse` to obtain a stripped down version that doesn't inlcude\r\n`axoupdater` as a dependency.\r\n\r\nCloses #107",
"is_bot": false,
"headline": "Make axoupdater an optional dependency (#109)",
"author_name": "Bryan Parno",
"author_login": "parno",
"committed_at": "2024-12-02T16:16:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9ea9c5a52a96f7004487ccac63d137dac6161809",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' into optional-updater",
"author_name": "Bryan Parno",
"author_login": "parno",
"committed_at": "2024-12-02T16:09:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b4946519cc5fd766227f488ce9c583638636df17",
"body": null,
"is_bot": false,
"headline": "Make axoupdater an optional dependency",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya",
"committed_at": "2024-12-01T03:53:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6b720caf35b953811dc736a71ecb29ad0e532744",
"body": "Automated verus snapshot update by GitHub Actions.",
"is_bot": true,
"headline": "Verus snapshot update (#108)",
"author_name": "github-actions[bot]",
"author_login": "github-actions[bot]",
"committed_at": "2024-12-01T03:46:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "223a22a34ef756fa640e8f3d521793d5310e279b",
"body": "Automated verus snapshot update by GitHub Actions.",
"is_bot": true,
"headline": "Verus snapshot update (#105)",
"author_name": "github-actions[bot]",
"author_login": "github-actions[bot]",
"committed_at": "2024-11-09T21:25:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "36170d3be2efe7d538664cee38781415700d807d",
"body": "Just the regularly scheduled chore of updating dependencies; also cleaning up some dependency usage that we're no longer using since #95.",
"is_bot": false,
"headline": "chore: dependency updates (#104)",
"author_name": "Jay Bosamiya (Microsoft)",
"author_login": "jaybosamiya-ms",
"committed_at": "2024-10-24T22:39:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "62a262580790649daa388ef778bc54307bf4b98f",
"body": null,
"is_bot": false,
"headline": "chore: upgrade deps to latest",
"author_name": "Jay Bosamiya",
"author_login": "jaybosamiya-ms",
"committed_at": "2024-10-24T22:26:12Z",
"body_truncated": false,
"is_coding_agent": false
}
],
"releases_count": 41,
"commits_last_year": 38,
"latest_release_at": "2026-06-10T21:36:57Z",
"latest_release_tag": "v0.7.2",
"releases_from_tags": false,
"days_since_last_push": 1,
"active_weeks_last_year": 19,
"days_since_latest_release": 50,
"mean_days_between_releases": 44.9
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": false,
"health_percentage": 50,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": true
},
"ecosystem": {
"packages": [
{
"name": "verusfmt",
"exists": true,
"license": "MIT",
"keywords": [
"formatter",
"pretty-printer",
"verus",
"development-tools"
],
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/verusfmt",
"is_deprecated": false,
"latest_version": "0.7.2",
"repository_url": "https://github.com/verus-lang/verusfmt",
"versions_count": 45,
"total_downloads": 42459,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 193,
"first_published_at": "2024-01-29T21:19:05.706294Z",
"latest_published_at": "2026-06-10T21:38:26.961754Z",
"latest_version_yanked": false,
"days_since_latest_publish": 50
}
]
},
"popularity": {
"forks": 16,
"stars": 22,
"watchers": 6,
"fork_history": {
"days": [
{
"date": "2023-12-14",
"count": 1
},
{
"date": "2024-02-02",
"count": 1
},
{
"date": "2024-05-23",
"count": 1
},
{
"date": "2024-05-29",
"count": 1
},
{
"date": "2024-10-07",
"count": 1
},
{
"date": "2025-04-02",
"count": 1
},
{
"date": "2025-06-09",
"count": 1
},
{
"date": "2025-07-02",
"count": 1
},
{
"date": "2025-10-20",
"count": 2
},
{
"date": "2025-11-12",
"count": 1
},
{
"date": "2026-03-30",
"count": 1
},
{
"date": "2026-05-25",
"count": 2
},
{
"date": "2026-06-23",
"count": 1
},
{
"date": "2026-07-29",
"count": 1
}
],
"complete": true,
"collected": 16,
"total_forks": 16
},
"star_history": null,
"open_issues_and_prs": 25
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [
"examples"
],
"has_llms_txt": false,
"has_dockerfile": false,
"has_mcp_signal": false,
"bootstrap_files": [],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [],
"toolchain_manifests": [
"Cargo.toml",
"glob-macro/Cargo.toml"
],
"largest_source_bytes": 1044855,
"source_files_sampled": 210,
"oversized_source_files": 13,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"dependencies": {
"manifests": [
"Cargo.toml",
"glob-macro/Cargo.toml"
],
"advisories": {
"error": null,
"scope": "repository_graph",
"source": "osv",
"findings": [
{
"name": "quinn-proto",
"direct": false,
"version": "0.11.14",
"severity": "high",
"ecosystem": "crates",
"cvss_score": 7.5,
"advisory_ids": [
"GHSA-4w2j-m93h-cj5j",
"RUSTSEC-2026-0185"
],
"fixed_version": "0.11.15",
"advisory_count": 2,
"oldest_advisory_days": 38
},
{
"name": "rustls-webpki",
"direct": false,
"version": "0.103.12",
"severity": "high",
"ecosystem": "crates",
"cvss_score": 7.5,
"advisory_ids": [
"GHSA-82j2-j2ch-gfr8",
"RUSTSEC-2026-0104"
],
"fixed_version": "0.104.0-alpha.7",
"advisory_count": 2,
"oldest_advisory_days": 99
},
{
"name": "anyhow",
"direct": false,
"version": "1.0.102",
"severity": "unknown",
"ecosystem": "crates",
"cvss_score": null,
"advisory_ids": [
"RUSTSEC-2026-0190"
],
"fixed_version": "1.0.103",
"advisory_count": 1,
"oldest_advisory_days": 35
}
],
"collected": true,
"malicious": [],
"truncated": false,
"by_severity": {
"high": 2,
"unknown": 1
},
"advisory_count": 5,
"affected_count": 3,
"assessed_count": 304,
"malicious_count": 0,
"assessed_package": null,
"unassessed_count": 5,
"direct_affected_count": 0
},
"ecosystems": [
"crates"
],
"dependencies": [
{
"name": "axoupdater",
"manifest": "Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.10.0"
},
{
"name": "clap",
"manifest": "Cargo.toml",
"ecosystem": "crates",
"version_constraint": "4.6.0"
},
{
"name": "fs-err",
"manifest": "Cargo.toml",
"ecosystem": "crates",
"version_constraint": "3.3.0"
},
{
"name": "miette",
"manifest": "Cargo.toml",
"ecosystem": "crates",
"version_constraint": "7.6.0"
},
{
"name": "pest",
"manifest": "Cargo.toml",
"ecosystem": "crates",
"version_constraint": "2.8"
},
{
"name": "pest_derive",
"manifest": "Cargo.toml",
"ecosystem": "crates",
"version_constraint": "2.8"
},
{
"name": "pretty",
"manifest": "Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.12.5"
},
{
"name": "regex",
"manifest": "Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1.12.3"
},
{
"name": "similar",
"manifest": "Cargo.toml",
"ecosystem": "crates",
"version_constraint": "3.1.0"
},
{
"name": "tempfile",
"manifest": "Cargo.toml",
"ecosystem": "crates",
"version_constraint": "3.27.0"
},
{
"name": "thiserror",
"manifest": "Cargo.toml",
"ecosystem": "crates",
"version_constraint": "2.0.18"
},
{
"name": "tracing",
"manifest": "Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.1.44"
},
{
"name": "tracing-subscriber",
"manifest": "Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.3.23"
},
{
"name": "glob",
"manifest": "glob-macro/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.3.3"
},
{
"name": "proc-macro2",
"manifest": "glob-macro/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1.0.106"
},
{
"name": "quote",
"manifest": "glob-macro/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1.0.45"
},
{
"name": "syn",
"manifest": "glob-macro/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "2.0.117"
},
{
"name": "syn-mid",
"manifest": "glob-macro/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.6.1"
}
],
"all_dependencies": {
"error": null,
"source": "github-sbom",
"packages": [
{
"name": "axoupdater",
"direct": true,
"version": "0.10.0",
"ecosystem": "crates"
},
{
"name": "clap",
"direct": true,
"version": "4.6.0",
"ecosystem": "crates"
},
{
"name": "fs-err",
"direct": true,
"version": "3.3.0",
"ecosystem": "crates"
},
{
"name": "glob",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "glob",
"direct": true,
"version": "0.3.3",
"ecosystem": "crates"
},
{
"name": "miette",
"direct": true,
"version": "7.6.0",
"ecosystem": "crates"
},
{
"name": "pest",
"direct": true,
"version": "2.8.6",
"ecosystem": "crates"
},
{
"name": "pest_derive",
"direct": true,
"version": "2.8.6",
"ecosystem": "crates"
},
{
"name": "pretty",
"direct": true,
"version": "0.12.5",
"ecosystem": "crates"
},
{
"name": "proc-macro2",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "proc-macro2",
"direct": true,
"version": "1.0.106",
"ecosystem": "crates"
},
{
"name": "quote",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "quote",
"direct": true,
"version": "1.0.45",
"ecosystem": "crates"
},
{
"name": "regex",
"direct": true,
"version": "1.12.3",
"ecosystem": "crates"
},
{
"name": "similar",
"direct": true,
"version": "2.7.0",
"ecosystem": "crates"
},
{
"name": "similar",
"direct": true,
"version": "3.1.0",
"ecosystem": "crates"
},
{
"name": "syn",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "syn",
"direct": true,
"version": "2.0.117",
"ecosystem": "crates"
},
{
"name": "syn-mid",
"direct": true,
"version": null,
"ecosystem": "crates"
},
{
"name": "syn-mid",
"direct": true,
"version": "0.6.1",
"ecosystem": "crates"
},
{
"name": "tempfile",
"direct": true,
"version": "3.27.0",
"ecosystem": "crates"
},
{
"name": "thiserror",
"direct": true,
"version": "1.0.69",
"ecosystem": "crates"
},
{
"name": "thiserror",
"direct": true,
"version": "2.0.18",
"ecosystem": "crates"
},
{
"name": "tracing",
"direct": true,
"version": "0.1.44",
"ecosystem": "crates"
},
{
"name": "tracing-subscriber",
"direct": true,
"version": "0.3.23",
"ecosystem": "crates"
},
{
"name": "addr2line",
"direct": false,
"version": "0.25.1",
"ecosystem": "crates"
},
{
"name": "adler2",
"direct": false,
"version": "2.0.1",
"ecosystem": "crates"
},
{
"name": "aho-corasick",
"direct": false,
"version": "1.1.4",
"ecosystem": "crates"
},
{
"name": "anstream",
"direct": false,
"version": "1.0.0",
"ecosystem": "crates"
},
{
"name": "anstyle",
"direct": false,
"version": "1.0.14",
"ecosystem": "crates"
},
{
"name": "anstyle-parse",
"direct": false,
"version": "1.0.0",
"ecosystem": "crates"
},
{
"name": "anstyle-query",
"direct": false,
"version": "1.1.5",
"ecosystem": "crates"
},
{
"name": "anstyle-wincon",
"direct": false,
"version": "3.0.11",
"ecosystem": "crates"
},
{
"name": "anyhow",
"direct": false,
"version": "1.0.102",
"ecosystem": "crates"
},
{
"name": "ar_archive_writer",
"direct": false,
"version": "0.5.1",
"ecosystem": "crates"
},
{
"name": "arrayvec",
"direct": false,
"version": "0.5.2",
"ecosystem": "crates"
},
{
"name": "atomic-waker",
"direct": false,
"version": "1.1.2",
"ecosystem": "crates"
},
{
"name": "autocfg",
"direct": false,
"version": "1.5.0",
"ecosystem": "crates"
},
{
"name": "aws-lc-rs",
"direct": false,
"version": "1.16.2",
"ecosystem": "crates"
},
{
"name": "aws-lc-sys",
"direct": false,
"version": "0.39.1",
"ecosystem": "crates"
},
{
"name": "axoasset",
"direct": false,
"version": "2.0.1",
"ecosystem": "crates"
},
{
"name": "axoprocess",
"direct": false,
"version": "0.2.1",
"ecosystem": "crates"
},
{
"name": "axotag",
"direct": false,
"version": "0.3.0",
"ecosystem": "crates"
},
{
"name": "backtrace",
"direct": false,
"version": "0.3.76",
"ecosystem": "crates"
},
{
"name": "backtrace-ext",
"direct": false,
"version": "0.2.1",
"ecosystem": "crates"
},
{
"name": "base64",
"direct": false,
"version": "0.22.1",
"ecosystem": "crates"
},
{
"name": "bitflags",
"direct": false,
"version": "2.11.1",
"ecosystem": "crates"
},
{
"name": "block-buffer",
"direct": false,
"version": "0.10.4",
"ecosystem": "crates"
},
{
"name": "bstr",
"direct": false,
"version": "1.12.1",
"ecosystem": "crates"
},
{
"name": "bumpalo",
"direct": false,
"version": "3.20.2",
"ecosystem": "crates"
},
{
"name": "bytemuck",
"direct": false,
"version": "1.25.0",
"ecosystem": "crates"
},
{
"name": "byteorder-lite",
"direct": false,
"version": "0.1.0",
"ecosystem": "crates"
},
{
"name": "bytes",
"direct": false,
"version": "1.11.1",
"ecosystem": "crates"
},
{
"name": "camino",
"direct": false,
"version": "1.2.2",
"ecosystem": "crates"
},
{
"name": "cc",
"direct": false,
"version": "1.2.60",
"ecosystem": "crates"
},
{
"name": "cesu8",
"direct": false,
"version": "1.1.0",
"ecosystem": "crates"
},
{
"name": "cfg-if",
"direct": false,
"version": "1.0.4",
"ecosystem": "crates"
},
{
"name": "cfg_aliases",
"direct": false,
"version": "0.2.1",
"ecosystem": "crates"
},
{
"name": "clap_builder",
"direct": false,
"version": "4.6.0",
"ecosystem": "crates"
},
{
"name": "clap_derive",
"direct": false,
"version": "4.6.0",
"ecosystem": "crates"
},
{
"name": "clap_lex",
"direct": false,
"version": "1.1.0",
"ecosystem": "crates"
},
{
"name": "cmake",
"direct": false,
"version": "0.1.58",
"ecosystem": "crates"
},
{
"name": "colorchoice",
"direct": false,
"version": "1.0.5",
"ecosystem": "crates"
},
{
"name": "combine",
"direct": false,
"version": "4.6.7",
"ecosystem": "crates"
},
{
"name": "console",
"direct": false,
"version": "0.16.3",
"ecosystem": "crates"
},
{
"name": "core-foundation",
"direct": false,
"version": "0.10.1",
"ecosystem": "crates"
},
{
"name": "core-foundation-sys",
"direct": false,
"version": "0.8.7",
"ecosystem": "crates"
},
{
"name": "cpufeatures",
"direct": false,
"version": "0.2.17",
"ecosystem": "crates"
},
{
"name": "crypto-common",
"direct": false,
"version": "0.1.7",
"ecosystem": "crates"
},
{
"name": "digest",
"direct": false,
"version": "0.10.7",
"ecosystem": "crates"
},
{
"name": "displaydoc",
"direct": false,
"version": "0.2.5",
"ecosystem": "crates"
},
{
"name": "dunce",
"direct": false,
"version": "1.0.5",
"ecosystem": "crates"
},
{
"name": "encode_unicode",
"direct": false,
"version": "1.0.0",
"ecosystem": "crates"
},
{
"name": "equivalent",
"direct": false,
"version": "1.0.2",
"ecosystem": "crates"
},
{
"name": "errno",
"direct": false,
"version": "0.3.14",
"ecosystem": "crates"
},
{
"name": "fastrand",
"direct": false,
"version": "2.4.1",
"ecosystem": "crates"
},
{
"name": "find-msvc-tools",
"direct": false,
"version": "0.1.9",
"ecosystem": "crates"
},
{
"name": "foldhash",
"direct": false,
"version": "0.1.5",
"ecosystem": "crates"
},
{
"name": "form_urlencoded",
"direct": false,
"version": "1.2.2",
"ecosystem": "crates"
},
{
"name": "fs_extra",
"direct": false,
"version": "1.3.0",
"ecosystem": "crates"
},
{
"name": "futures-channel",
"direct": false,
"version": "0.3.32",
"ecosystem": "crates"
},
{
"name": "futures-core",
"direct": false,
"version": "0.3.32",
"ecosystem": "crates"
},
{
"name": "futures-task",
"direct": false,
"version": "0.3.32",
"ecosystem": "crates"
},
{
"name": "futures-util",
"direct": false,
"version": "0.3.32",
"ecosystem": "crates"
},
{
"name": "generic-array",
"direct": false,
"version": "0.14.7",
"ecosystem": "crates"
},
{
"name": "getrandom",
"direct": false,
"version": "0.2.17",
"ecosystem": "crates"
},
{
"name": "getrandom",
"direct": false,
"version": "0.3.4",
"ecosystem": "crates"
},
{
"name": "getrandom",
"direct": false,
"version": "0.4.2",
"ecosystem": "crates"
},
{
"name": "gimli",
"direct": false,
"version": "0.32.3",
"ecosystem": "crates"
},
{
"name": "hashbrown",
"direct": false,
"version": "0.15.5",
"ecosystem": "crates"
},
{
"name": "hashbrown",
"direct": false,
"version": "0.17.0",
"ecosystem": "crates"
},
{
"name": "heck",
"direct": false,
"version": "0.5.0",
"ecosystem": "crates"
},
{
"name": "homedir",
"direct": false,
"version": "0.3.6",
"ecosystem": "crates"
},
{
"name": "http",
"direct": false,
"version": "1.4.0",
"ecosystem": "crates"
},
{
"name": "http-body",
"direct": false,
"version": "1.0.1",
"ecosystem": "crates"
},
{
"name": "http-body-util",
"direct": false,
"version": "0.1.3",
"ecosystem": "crates"
},
{
"name": "httparse",
"direct": false,
"version": "1.10.1",
"ecosystem": "crates"
},
{
"name": "hyper",
"direct": false,
"version": "1.9.0",
"ecosystem": "crates"
},
{
"name": "hyper-rustls",
"direct": false,
"version": "0.27.9",
"ecosystem": "crates"
},
{
"name": "hyper-util",
"direct": false,
"version": "0.1.20",
"ecosystem": "crates"
},
{
"name": "icu_collections",
"direct": false,
"version": "2.2.0",
"ecosystem": "crates"
},
{
"name": "icu_locale_core",
"direct": false,
"version": "2.2.0",
"ecosystem": "crates"
},
{
"name": "icu_normalizer",
"direct": false,
"version": "2.2.0",
"ecosystem": "crates"
},
{
"name": "icu_normalizer_data",
"direct": false,
"version": "2.2.0",
"ecosystem": "crates"
},
{
"name": "icu_properties",
"direct": false,
"version": "2.2.0",
"ecosystem": "crates"
},
{
"name": "icu_properties_data",
"direct": false,
"version": "2.2.0",
"ecosystem": "crates"
},
{
"name": "icu_provider",
"direct": false,
"version": "2.2.0",
"ecosystem": "crates"
},
{
"name": "id-arena",
"direct": false,
"version": "2.3.0",
"ecosystem": "crates"
},
{
"name": "idna",
"direct": false,
"version": "1.1.0",
"ecosystem": "crates"
},
{
"name": "idna_adapter",
"direct": false,
"version": "1.2.1",
"ecosystem": "crates"
},
{
"name": "image",
"direct": false,
"version": "0.25.10",
"ecosystem": "crates"
},
{
"name": "indexmap",
"direct": false,
"version": "2.14.0",
"ecosystem": "crates"
},
{
"name": "insta",
"direct": false,
"version": "1.47.2",
"ecosystem": "crates"
},
{
"name": "ipnet",
"direct": false,
"version": "2.12.0",
"ecosystem": "crates"
},
{
"name": "iri-string",
"direct": false,
"version": "0.7.12",
"ecosystem": "crates"
},
{
"name": "is_ci",
"direct": false,
"version": "1.2.0",
"ecosystem": "crates"
},
{
"name": "is_terminal_polyfill",
"direct": false,
"version": "1.70.2",
"ecosystem": "crates"
},
{
"name": "itoa",
"direct": false,
"version": "1.0.18",
"ecosystem": "crates"
},
{
"name": "jni",
"direct": false,
"version": "0.21.1",
"ecosystem": "crates"
},
{
"name": "jni-sys",
"direct": false,
"version": "0.3.1",
"ecosystem": "crates"
},
{
"name": "jni-sys",
"direct": false,
"version": "0.4.1",
"ecosystem": "crates"
},
{
"name": "jni-sys-macros",
"direct": false,
"version": "0.4.1",
"ecosystem": "crates"
},
{
"name": "jobserver",
"direct": false,
"version": "0.1.34",
"ecosystem": "crates"
},
{
"name": "js-sys",
"direct": false,
"version": "0.3.95",
"ecosystem": "crates"
},
{
"name": "lazy_static",
"direct": false,
"version": "1.5.0",
"ecosystem": "crates"
},
{
"name": "leb128fmt",
"direct": false,
"version": "0.1.0",
"ecosystem": "crates"
},
{
"name": "libc",
"direct": false,
"version": "0.2.185",
"ecosystem": "crates"
},
{
"name": "linux-raw-sys",
"direct": false,
"version": "0.12.1",
"ecosystem": "crates"
},
{
"name": "litemap",
"direct": false,
"version": "0.8.2",
"ecosystem": "crates"
},
{
"name": "lock_api",
"direct": false,
"version": "0.4.14",
"ecosystem": "crates"
},
{
"name": "log",
"direct": false,
"version": "0.4.29",
"ecosystem": "crates"
},
{
"name": "lru-slab",
"direct": false,
"version": "0.1.2",
"ecosystem": "crates"
},
{
"name": "memchr",
"direct": false,
"version": "2.8.0",
"ecosystem": "crates"
},
{
"name": "miette-derive",
"direct": false,
"version": "7.6.0",
"ecosystem": "crates"
},
{
"name": "mime",
"direct": false,
"version": "0.3.17",
"ecosystem": "crates"
},
{
"name": "miniz_oxide",
"direct": false,
"version": "0.8.9",
"ecosystem": "crates"
},
{
"name": "mio",
"direct": false,
"version": "1.2.0",
"ecosystem": "crates"
},
{
"name": "moxcms",
"direct": false,
"version": "0.8.1",
"ecosystem": "crates"
},
{
"name": "nix",
"direct": false,
"version": "0.30.1",
"ecosystem": "crates"
},
{
"name": "nu-ansi-term",
"direct": false,
"version": "0.50.3",
"ecosystem": "crates"
},
{
"name": "num-traits",
"direct": false,
"version": "0.2.19",
"ecosystem": "crates"
},
{
"name": "object",
"direct": false,
"version": "0.37.3",
"ecosystem": "crates"
},
{
"name": "once_cell",
"direct": false,
"version": "1.21.4",
"ecosystem": "crates"
},
{
"name": "once_cell_polyfill",
"direct": false,
"version": "1.70.2",
"ecosystem": "crates"
},
{
"name": "openssl-probe",
"direct": false,
"version": "0.2.1",
"ecosystem": "crates"
},
{
"name": "owo-colors",
"direct": false,
"version": "4.3.0",
"ecosystem": "crates"
},
{
"name": "parking_lot",
"direct": false,
"version": "0.12.5",
"ecosystem": "crates"
},
{
"name": "parking_lot_core",
"direct": false,
"version": "0.9.12",
"ecosystem": "crates"
},
{
"name": "percent-encoding",
"direct": false,
"version": "2.3.2",
"ecosystem": "crates"
},
{
"name": "pest_generator",
"direct": false,
"version": "2.8.6",
"ecosystem": "crates"
},
{
"name": "pest_meta",
"direct": false,
"version": "2.8.6",
"ecosystem": "crates"
},
{
"name": "pin-project-lite",
"direct": false,
"version": "0.2.17",
"ecosystem": "crates"
},
{
"name": "potential_utf",
"direct": false,
"version": "0.1.5",
"ecosystem": "crates"
},
{
"name": "ppv-lite86",
"direct": false,
"version": "0.2.21",
"ecosystem": "crates"
},
{
"name": "prettyplease",
"direct": false,
"version": "0.2.37",
"ecosystem": "crates"
},
{
"name": "psm",
"direct": false,
"version": "0.1.30",
"ecosystem": "crates"
},
{
"name": "pxfm",
"direct": false,
"version": "0.1.28",
"ecosystem": "crates"
},
{
"name": "quinn",
"direct": false,
"version": "0.11.9",
"ecosystem": "crates"
},
{
"name": "quinn-proto",
"direct": false,
"version": "0.11.14",
"ecosystem": "crates"
},
{
"name": "quinn-udp",
"direct": false,
"version": "0.5.14",
"ecosystem": "crates"
},
{
"name": "r-efi",
"direct": false,
"version": "5.3.0",
"ecosystem": "crates"
},
{
"name": "r-efi",
"direct": false,
"version": "6.0.0",
"ecosystem": "crates"
},
{
"name": "rand",
"direct": false,
"version": "0.9.4",
"ecosystem": "crates"
},
{
"name": "rand_chacha",
"direct": false,
"version": "0.9.0",
"ecosystem": "crates"
},
{
"name": "rand_core",
"direct": false,
"version": "0.9.5",
"ecosystem": "crates"
},
{
"name": "redox_syscall",
"direct": false,
"version": "0.5.18",
"ecosystem": "crates"
},
{
"name": "regex-automata",
"direct": false,
"version": "0.4.14",
"ecosystem": "crates"
},
{
"name": "regex-syntax",
"direct": false,
"version": "0.8.10",
"ecosystem": "crates"
},
{
"name": "reqwest",
"direct": false,
"version": "0.13.2",
"ecosystem": "crates"
},
{
"name": "ring",
"direct": false,
"version": "0.17.14",
"ecosystem": "crates"
},
{
"name": "rustc-demangle",
"direct": false,
"version": "0.1.27",
"ecosystem": "crates"
},
{
"name": "rustc-hash",
"direct": false,
"version": "2.1.2",
"ecosystem": "crates"
},
{
"name": "rustix",
"direct": false,
"version": "1.1.4",
"ecosystem": "crates"
},
{
"name": "rustls",
"direct": false,
"version": "0.23.38",
"ecosystem": "crates"
},
{
"name": "rustls-native-certs",
"direct": false,
"version": "0.8.3",
"ecosystem": "crates"
},
{
"name": "rustls-pki-types",
"direct": false,
"version": "1.14.0",
"ecosystem": "crates"
},
{
"name": "rustls-platform-verifier",
"direct": false,
"version": "0.6.2",
"ecosystem": "crates"
},
{
"name": "rustls-platform-verifier-android",
"direct": false,
"version": "0.1.1",
"ecosystem": "crates"
},
{
"name": "rustls-webpki",
"direct": false,
"version": "0.103.12",
"ecosystem": "crates"
},
{
"name": "rustversion",
"direct": false,
"version": "1.0.22",
"ecosystem": "crates"
},
{
"name": "same-file",
"direct": false,
"version": "1.0.6",
"ecosystem": "crates"
},
{
"name": "schannel",
"direct": false,
"version": "0.1.29",
"ecosystem": "crates"
},
{
"name": "scopeguard",
"direct": false,
"version": "1.2.0",
"ecosystem": "crates"
},
{
"name": "security-framework",
"direct": false,
"version": "3.7.0",
"ecosystem": "crates"
},
{
"name": "security-framework-sys",
"direct": false,
"version": "2.17.0",
"ecosystem": "crates"
},
{
"name": "self-replace",
"direct": false,
"version": "1.5.0",
"ecosystem": "crates"
},
{
"name": "semver",
"direct": false,
"version": "1.0.28",
"ecosystem": "crates"
},
{
"name": "serde",
"direct": false,
"version": "1.0.228",
"ecosystem": "crates"
},
{
"name": "serde_core",
"direct": false,
"version": "1.0.228",
"ecosystem": "crates"
},
{
"name": "serde_derive",
"direct": false,
"version": "1.0.228",
"ecosystem": "crates"
},
{
"name": "serde_json",
"direct": false,
"version": "1.0.149",
"ecosystem": "crates"
},
{
"name": "sha2",
"direct": false,
"version": "0.10.9",
"ecosystem": "crates"
},
{
"name": "sharded-slab",
"direct": false,
"version": "0.1.7",
"ecosystem": "crates"
},
{
"name": "shlex",
"direct": false,
"version": "1.3.0",
"ecosystem": "crates"
},
{
"name": "signal-hook-registry",
"direct": false,
"version": "1.4.8",
"ecosystem": "crates"
},
{
"name": "slab",
"direct": false,
"version": "0.4.12",
"ecosystem": "crates"
},
{
"name": "smallvec",
"direct": false,
"version": "1.15.1",
"ecosystem": "crates"
},
{
"name": "socket2",
"direct": false,
"version": "0.6.3",
"ecosystem": "crates"
},
{
"name": "stable_deref_trait",
"direct": false,
"version": "1.2.1",
"ecosystem": "crates"
},
{
"name": "stacker",
"direct": false,
"version": "0.1.23",
"ecosystem": "crates"
},
{
"name": "strsim",
"direct": false,
"version": "0.11.1",
"ecosystem": "crates"
},
{
"name": "subtle",
"direct": false,
"version": "2.6.1",
"ecosystem": "crates"
},
{
"name": "supports-color",
"direct": false,
"version": "3.0.2",
"ecosystem": "crates"
},
{
"name": "supports-hyperlinks",
"direct": false,
"version": "3.2.0",
"ecosystem": "crates"
},
{
"name": "supports-unicode",
"direct": false,
"version": "3.0.0",
"ecosystem": "crates"
},
{
"name": "sync_wrapper",
"direct": false,
"version": "1.0.2",
"ecosystem": "crates"
},
{
"name": "synstructure",
"direct": false,
"version": "0.13.2",
"ecosystem": "crates"
},
{
"name": "terminal_size",
"direct": false,
"version": "0.4.4",
"ecosystem": "crates"
},
{
"name": "textwrap",
"direct": false,
"version": "0.16.2",
"ecosystem": "crates"
},
{
"name": "thiserror-impl",
"direct": false,
"version": "1.0.69",
"ecosystem": "crates"
},
{
"name": "thiserror-impl",
"direct": false,
"version": "2.0.18",
"ecosystem": "crates"
},
{
"name": "thread_local",
"direct": false,
"version": "1.1.9",
"ecosystem": "crates"
},
{
"name": "tinystr",
"direct": false,
"version": "0.8.3",
"ecosystem": "crates"
},
{
"name": "tinyvec",
"direct": false,
"version": "1.11.0",
"ecosystem": "crates"
},
{
"name": "tinyvec_macros",
"direct": false,
"version": "0.1.1",
"ecosystem": "crates"
},
{
"name": "tokio",
"direct": false,
"version": "1.52.0",
"ecosystem": "crates"
},
{
"name": "tokio-macros",
"direct": false,
"version": "2.7.0",
"ecosystem": "crates"
},
{
"name": "tokio-rustls",
"direct": false,
"version": "0.26.4",
"ecosystem": "crates"
},
{
"name": "tower",
"direct": false,
"version": "0.5.3",
"ecosystem": "crates"
},
{
"name": "tower-http",
"direct": false,
"version": "0.6.8",
"ecosystem": "crates"
},
{
"name": "tower-layer",
"direct": false,
"version": "0.3.3",
"ecosystem": "crates"
},
{
"name": "tower-service",
"direct": false,
"version": "0.3.3",
"ecosystem": "crates"
},
{
"name": "tracing-attributes",
"direct": false,
"version": "0.1.31",
"ecosystem": "crates"
},
{
"name": "tracing-core",
"direct": false,
"version": "0.1.36",
"ecosystem": "crates"
},
{
"name": "tracing-log",
"direct": false,
"version": "0.2.0",
"ecosystem": "crates"
},
{
"name": "try-lock",
"direct": false,
"version": "0.2.5",
"ecosystem": "crates"
},
{
"name": "typed-arena",
"direct": false,
"version": "2.0.2",
"ecosystem": "crates"
},
{
"name": "typenum",
"direct": false,
"version": "1.19.0",
"ecosystem": "crates"
},
{
"name": "ucd-trie",
"direct": false,
"version": "0.1.7",
"ecosystem": "crates"
},
{
"name": "unicode-ident",
"direct": false,
"version": "1.0.24",
"ecosystem": "crates"
},
{
"name": "unicode-linebreak",
"direct": false,
"version": "0.1.5",
"ecosystem": "crates"
},
{
"name": "unicode-width",
"direct": false,
"version": "0.1.14",
"ecosystem": "crates"
},
{
"name": "unicode-width",
"direct": false,
"version": "0.2.2",
"ecosystem": "crates"
},
{
"name": "unicode-xid",
"direct": false,
"version": "0.2.6",
"ecosystem": "crates"
},
{
"name": "untrusted",
"direct": false,
"version": "0.9.0",
"ecosystem": "crates"
},
{
"name": "url",
"direct": false,
"version": "2.5.8",
"ecosystem": "crates"
},
{
"name": "utf8_iter",
"direct": false,
"version": "1.0.4",
"ecosystem": "crates"
},
{
"name": "utf8parse",
"direct": false,
"version": "0.2.2",
"ecosystem": "crates"
},
{
"name": "valuable",
"direct": false,
"version": "0.1.1",
"ecosystem": "crates"
},
{
"name": "version_check",
"direct": false,
"version": "0.9.5",
"ecosystem": "crates"
},
{
"name": "walkdir",
"direct": false,
"version": "2.5.0",
"ecosystem": "crates"
},
{
"name": "want",
"direct": false,
"version": "0.3.1",
"ecosystem": "crates"
},
{
"name": "wasi",
"direct": false,
"version": "0.11.1+wasi-snapshot-preview1",
"ecosystem": "crates"
},
{
"name": "wasip2",
"direct": false,
"version": "1.0.2+wasi-0.2.9",
"ecosystem": "crates"
},
{
"name": "wasip3",
"direct": false,
"version": "0.4.0+wasi-0.3.0-rc-2026-01-06",
"ecosystem": "crates"
},
{
"name": "wasm-bindgen",
"direct": false,
"version": "0.2.118",
"ecosystem": "crates"
},
{
"name": "wasm-bindgen-futures",
"direct": false,
"version": "0.4.68",
"ecosystem": "crates"
},
{
"name": "wasm-bindgen-macro",
"direct": false,
"version": "0.2.118",
"ecosystem": "crates"
},
{
"name": "wasm-bindgen-macro-support",
"direct": false,
"version": "0.2.118",
"ecosystem": "crates"
},
{
"name": "wasm-bindgen-shared",
"direct": false,
"version": "0.2.118",
"ecosystem": "crates"
},
{
"name": "wasm-encoder",
"direct": false,
"version": "0.244.0",
"ecosystem": "crates"
},
{
"name": "wasm-metadata",
"direct": false,
"version": "0.244.0",
"ecosystem": "crates"
},
{
"name": "wasmparser",
"direct": false,
"version": "0.244.0",
"ecosystem": "crates"
},
{
"name": "web-sys",
"direct": false,
"version": "0.3.95",
"ecosystem": "crates"
},
{
"name": "web-time",
"direct": false,
"version": "1.1.0",
"ecosystem": "crates"
},
{
"name": "webpki-root-certs",
"direct": false,
"version": "1.0.6",
"ecosystem": "crates"
},
{
"name": "widestring",
"direct": false,
"version": "1.2.1",
"ecosystem": "crates"
},
{
"name": "winapi-util",
"direct": false,
"version": "0.1.11",
"ecosystem": "crates"
},
{
"name": "windows",
"direct": false,
"version": "0.61.3",
"ecosystem": "crates"
},
{
"name": "windows-collections",
"direct": false,
"version": "0.2.0",
"ecosystem": "crates"
},
{
"name": "windows-core",
"direct": false,
"version": "0.61.2",
"ecosystem": "crates"
},
{
"name": "windows-future",
"direct": false,
"version": "0.2.1",
"ecosystem": "crates"
},
{
"name": "windows-implement",
"direct": false,
"version": "0.60.2",
"ecosystem": "crates"
},
{
"name": "windows-interface",
"direct": false,
"version": "0.59.3",
"ecosystem": "crates"
},
{
"name": "windows-link",
"direct": false,
"version": "0.1.3",
"ecosystem": "crates"
},
{
"name": "windows-link",
"direct": false,
"version": "0.2.1",
"ecosystem": "crates"
},
{
"name": "windows-numerics",
"direct": false,
"version": "0.2.0",
"ecosystem": "crates"
},
{
"name": "windows-result",
"direct": false,
"version": "0.3.4",
"ecosystem": "crates"
},
{
"name": "windows-strings",
"direct": false,
"version": "0.4.2",
"ecosystem": "crates"
},
{
"name": "windows-sys",
"direct": false,
"version": "0.45.0",
"ecosystem": "crates"
},
{
"name": "windows-sys",
"direct": false,
"version": "0.52.0",
"ecosystem": "crates"
},
{
"name": "windows-sys",
"direct": false,
"version": "0.59.0",
"ecosystem": "crates"
},
{
"name": "windows-sys",
"direct": false,
"version": "0.61.2",
"ecosystem": "crates"
},
{
"name": "windows-targets",
"direct": false,
"version": "0.42.2",
"ecosystem": "crates"
},
{
"name": "windows-targets",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "windows-threading",
"direct": false,
"version": "0.1.0",
"ecosystem": "crates"
},
{
"name": "windows_aarch64_gnullvm",
"direct": false,
"version": "0.42.2",
"ecosystem": "crates"
},
{
"name": "windows_aarch64_gnullvm",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "windows_aarch64_msvc",
"direct": false,
"version": "0.42.2",
"ecosystem": "crates"
},
{
"name": "windows_aarch64_msvc",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "windows_i686_gnu",
"direct": false,
"version": "0.42.2",
"ecosystem": "crates"
},
{
"name": "windows_i686_gnu",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "windows_i686_gnullvm",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "windows_i686_msvc",
"direct": false,
"version": "0.42.2",
"ecosystem": "crates"
},
{
"name": "windows_i686_msvc",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "windows_x86_64_gnu",
"direct": false,
"version": "0.42.2",
"ecosystem": "crates"
},
{
"name": "windows_x86_64_gnu",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "windows_x86_64_gnullvm",
"direct": false,
"version": "0.42.2",
"ecosystem": "crates"
},
{
"name": "windows_x86_64_gnullvm",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "windows_x86_64_msvc",
"direct": false,
"version": "0.42.2",
"ecosystem": "crates"
},
{
"name": "windows_x86_64_msvc",
"direct": false,
"version": "0.52.6",
"ecosystem": "crates"
},
{
"name": "wit-bindgen",
"direct": false,
"version": "0.51.0",
"ecosystem": "crates"
},
{
"name": "wit-bindgen-core",
"direct": false,
"version": "0.51.0",
"ecosystem": "crates"
},
{
"name": "wit-bindgen-rust",
"direct": false,
"version": "0.51.0",
"ecosystem": "crates"
},
{
"name": "wit-bindgen-rust-macro",
"direct": false,
"version": "0.51.0",
"ecosystem": "crates"
},
{
"name": "wit-component",
"direct": false,
"version": "0.244.0",
"ecosystem": "crates"
},
{
"name": "wit-parser",
"direct": false,
"version": "0.244.0",
"ecosystem": "crates"
},
{
"name": "writeable",
"direct": false,
"version": "0.6.3",
"ecosystem": "crates"
},
{
"name": "yoke",
"direct": false,
"version": "0.8.2",
"ecosystem": "crates"
},
{
"name": "yoke-derive",
"direct": false,
"version": "0.8.2",
"ecosystem": "crates"
},
{
"name": "zerocopy",
"direct": false,
"version": "0.8.48",
"ecosystem": "crates"
},
{
"name": "zerocopy-derive",
"direct": false,
"version": "0.8.48",
"ecosystem": "crates"
},
{
"name": "zerofrom",
"direct": false,
"version": "0.1.7",
"ecosystem": "crates"
},
{
"name": "zerofrom-derive",
"direct": false,
"version": "0.1.7",
"ecosystem": "crates"
},
{
"name": "zeroize",
"direct": false,
"version": "1.8.2",
"ecosystem": "crates"
},
{
"name": "zerotrie",
"direct": false,
"version": "0.2.4",
"ecosystem": "crates"
},
{
"name": "zerovec",
"direct": false,
"version": "0.11.6",
"ecosystem": "crates"
},
{
"name": "zerovec-derive",
"direct": false,
"version": "0.11.3",
"ecosystem": "crates"
},
{
"name": "zmij",
"direct": false,
"version": "1.0.21",
"ecosystem": "crates"
}
],
"collected": true,
"truncated": false,
"total_count": 309,
"direct_count": 25,
"indirect_count": 284
}
},
"maintainership": {
"issues": {
"open_prs": 5,
"merged_prs": 139,
"open_issues": 20,
"closed_ratio": 0.667,
"closed_issues": 40,
"closed_unmerged_prs": 8
},
"bus_factor": 2,
"bot_contributors": 3,
"top_contributors": [
{
"type": "User",
"login": "parno",
"commits": 313,
"avatar_url": "https://avatars.githubusercontent.com/u/1816417?v=4"
},
{
"type": "User",
"login": "jaybosamiya",
"commits": 206,
"avatar_url": "https://avatars.githubusercontent.com/u/5683582?v=4"
},
{
"type": "User",
"login": "jaybosamiya-ms",
"commits": 112,
"avatar_url": "https://avatars.githubusercontent.com/u/171180729?v=4"
},
{
"type": "User",
"login": "pratapsingh1729",
"commits": 9,
"avatar_url": "https://avatars.githubusercontent.com/u/8213281?v=4"
},
{
"type": "User",
"login": "tjhance",
"commits": 3,
"avatar_url": "https://avatars.githubusercontent.com/u/592054?v=4"
},
{
"type": "User",
"login": "utaal-b",
"commits": 2,
"avatar_url": "https://avatars.githubusercontent.com/u/154427257?v=4"
},
{
"type": "User",
"login": "lschuermann",
"commits": 2,
"avatar_url": "https://avatars.githubusercontent.com/u/5341193?v=4"
},
{
"type": "User",
"login": "XuhengLi",
"commits": 2,
"avatar_url": "https://avatars.githubusercontent.com/u/42981800?v=4"
},
{
"type": "User",
"login": "Marsman1996",
"commits": 2,
"avatar_url": "https://avatars.githubusercontent.com/u/22045841?v=4"
},
{
"type": "User",
"login": "utaal",
"commits": 1,
"avatar_url": "https://avatars.githubusercontent.com/u/791335?v=4"
}
],
"contributors_sampled": 14,
"top_contributor_share": 0.477
},
"quality_signals": {
"has_ci": true,
"has_tests": true,
"ci_workflows": [
"ci.yml",
"publish-crates.yml",
"release.yml",
"snapshot-refresh.yml"
],
"has_docs_dir": false,
"linter_configs": [],
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [
"Cargo.lock"
],
"scorecard": {
"checks": [
{
"name": "Binary-Artifacts",
"score": 10,
"reason": "no binaries found in the repo",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
},
{
"name": "Branch-Protection",
"score": null,
"reason": "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",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": 10,
"reason": "29 out of 29 merged PRs checked by a CI test -- score normalized to 10",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
},
{
"name": "CII-Best-Practices",
"score": 0,
"reason": "no effort to earn an OpenSSF best practices badge detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
},
{
"name": "Code-Review",
"score": 9,
"reason": "Found 15/16 approved changesets -- score normalized to 9",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 10,
"reason": "project has 10 contributing companies or organizations",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": 10,
"reason": "no dangerous workflow patterns detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
},
{
"name": "Dependency-Update-Tool",
"score": 10,
"reason": "update tool detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
},
{
"name": "Fuzzing",
"score": 0,
"reason": "project is not fuzzed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
},
{
"name": "License",
"score": 10,
"reason": "license file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
},
{
"name": "Maintained",
"score": 10,
"reason": "13 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 10",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
},
{
"name": "Packaging",
"score": null,
"reason": "packaging workflow not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
},
{
"name": "Pinned-Dependencies",
"score": 0,
"reason": "dependency not pinned by hash detected -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 0,
"reason": "SAST tool is not run on all commits -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
},
{
"name": "Security-Policy",
"score": 0,
"reason": "security policy file not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
},
{
"name": "Signed-Releases",
"score": 0,
"reason": "Project has not signed or included provenance with any releases.",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
},
{
"name": "Token-Permissions",
"score": 0,
"reason": "detected GitHub workflow tokens with excessive permissions",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 7,
"reason": "3 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "3f77a8a235c83ce3e27b53f5084eece30f54738b",
"ran_at": "2026-07-31T08:12:18Z",
"aggregate_score": 5.6,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": false,
"has_dependabot_config": false
},
"contribution_flow": {
"collected": true,
"ci_last_run_at": "2026-07-29T21:46:34Z",
"oldest_open_prs": [
{
"number": 127,
"created_at": "2025-03-26T01:46:02Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 148,
"created_at": "2025-06-22T09:00:07Z",
"last_comment_at": "2025-10-24T23:50:41Z",
"last_comment_author": "jaybosamiya-ms"
},
{
"number": 201,
"created_at": "2026-05-30T03:24:08Z",
"last_comment_at": "2026-06-06T08:22:46Z",
"last_comment_author": "jaybosamiya"
},
{
"number": 202,
"created_at": "2026-05-30T16:41:45Z",
"last_comment_at": "2026-05-31T03:28:54Z",
"last_comment_author": "Marsman1996"
},
{
"number": 207,
"created_at": "2026-06-06T08:16:46Z",
"last_comment_at": null,
"last_comment_author": null
}
],
"last_merged_pr_at": "2026-07-29T21:43:26Z",
"ci_last_conclusion": "SUCCESS",
"oldest_open_issues": [
{
"number": 18,
"created_at": "2023-12-18T20:54:16Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 49,
"created_at": "2024-03-27T17:42:15Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 50,
"created_at": "2024-03-29T20:59:24Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 59,
"created_at": "2024-04-23T15:48:51Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 83,
"created_at": "2024-07-23T13:10:38Z",
"last_comment_at": "2024-07-23T20:41:59Z",
"last_comment_author": "jaybosamiya-ms"
},
{
"number": 86,
"created_at": "2024-08-15T17:02:45Z",
"last_comment_at": "2025-06-26T22:59:13Z",
"last_comment_author": "jaybosamiya-ms"
},
{
"number": 106,
"created_at": "2024-11-04T19:45:16Z",
"last_comment_at": "2024-11-09T21:25:05Z",
"last_comment_author": "jaybosamiya"
},
{
"number": 121,
"created_at": "2025-03-13T21:45:33Z",
"last_comment_at": "2025-03-13T23:53:39Z",
"last_comment_author": "jaybosamiya-ms"
},
{
"number": 130,
"created_at": "2025-03-30T22:47:52Z",
"last_comment_at": "2025-03-31T21:20:18Z",
"last_comment_author": "jaybosamiya-ms"
},
{
"number": 141,
"created_at": "2025-05-26T18:40:35Z",
"last_comment_at": "2025-06-05T01:14:37Z",
"last_comment_author": "jaybosamiya"
},
{
"number": 144,
"created_at": "2025-06-09T17:06:11Z",
"last_comment_at": "2025-10-31T01:58:35Z",
"last_comment_author": "jaybosamiya"
},
{
"number": 145,
"created_at": "2025-06-17T20:50:13Z",
"last_comment_at": "2025-06-26T12:35:46Z",
"last_comment_author": "parno"
},
{
"number": 153,
"created_at": "2025-08-05T21:22:06Z",
"last_comment_at": "2025-10-01T02:43:51Z",
"last_comment_author": "jaybosamiya"
},
{
"number": 159,
"created_at": "2025-10-24T14:23:59Z",
"last_comment_at": "2025-10-31T01:54:27Z",
"last_comment_author": "jaybosamiya"
},
{
"number": 179,
"created_at": "2026-03-04T02:22:18Z",
"last_comment_at": "2026-03-04T02:24:08Z",
"last_comment_author": "jaybosamiya-ms"
},
{
"number": 181,
"created_at": "2026-03-04T22:22:51Z",
"last_comment_at": "2026-05-20T03:08:36Z",
"last_comment_author": "hiroki-chen"
},
{
"number": 184,
"created_at": "2026-03-30T02:23:46Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 199,
"created_at": "2026-05-27T20:29:02Z",
"last_comment_at": "2026-05-30T03:23:41Z",
"last_comment_author": "jaybosamiya-ms"
},
{
"number": 200,
"created_at": "2026-05-30T03:20:48Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 205,
"created_at": "2026-06-03T07:10:39Z",
"last_comment_at": "2026-06-06T08:16:37Z",
"last_comment_author": "jaybosamiya"
}
]
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/verus-lang/verusfmt",
"host": "github.com",
"name": "verusfmt",
"owner": "verus-lang"
},
"metrics": {
"overall": {
"key": "overall",
"band": "good",
"name": "Overall health",
"note": "The weighted overall 65 is calibrated to 75 on the published index scale (record calibration 2026-08-02).",
"notes": [
{
"code": "overall_calibration",
"params": {
"raw": 65,
"calibrated": 75,
"calibration": "2026-08-02"
}
}
],
"value": 75,
"inputs": {
"security": 65,
"vitality": 80,
"community": 43,
"governance": 73,
"calibration": "2026-08-02",
"engineering": 61,
"ai_readiness": 58,
"weighted_overall_raw": 65
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "excellent",
"name": "Vitality",
"value": 80,
"weight": 0.21,
"metrics": [
{
"key": "development_activity",
"band": "good",
"name": "Development activity",
"note": null,
"notes": [],
"value": 74,
"inputs": {
"commits_last_year": 38,
"human_commit_share": 0.85,
"days_since_last_push": 1,
"active_weeks_last_year": 19
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 1 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "push_recency",
"params": {
"days": 1
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "19/52 weeks with commits",
"points": 13.2,
"status": "partial",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 19
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "38 commits in the last year",
"points": 14.3,
"status": "partial",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 38
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "13 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 10",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "excellent",
"name": "Release discipline",
"note": null,
"notes": [],
"value": 90,
"inputs": {
"releases_count": 41,
"latest_release_tag": "v0.7.2",
"releases_from_tags": false,
"days_since_latest_release": 50,
"mean_days_between_releases": 44.9
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "41 releases published",
"points": 27,
"status": "met",
"details": [
{
"code": "releases_published",
"params": {
"count": 41
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 50 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "release_recency",
"params": {
"days": 50
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~44.9 days",
"points": 27,
"status": "met",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 44.9
}
}
],
"max_points": 27
},
{
"key": "openssf_scorecard_signed_releases",
"name": "OpenSSF Scorecard: Signed-Releases",
"detail": "Project has not signed or included provenance with any releases.",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "abandonment",
"band": "exceptional",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"cap": null,
"state": "maintained",
"guards": [],
"signals": [],
"red_flag": false,
"multiplier_pct": 100,
"declared_reason": null,
"unverified_reason": null,
"unanswered_open_prs": null,
"unanswered_open_issues": null,
"days_since_last_merged_pr": null,
"days_since_last_human_commit": 4,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "last human commit 4 days ago",
"points": 100,
"status": "met",
"details": [
{
"code": "abandonment_maintained",
"params": {
"days": 4
}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "weak",
"name": "Community & Adoption",
"value": 43,
"weight": 0.17,
"metrics": [
{
"key": "popularity",
"band": "weak",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 35,
"inputs": {
"forks": 16,
"stars": 22,
"watchers": 6,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "22 stars",
"points": 21.4,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 22
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "16 forks",
"points": 9.8,
"status": "partial",
"details": [
{
"code": "forks",
"params": {
"count": 16
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "6 watchers",
"points": 3.9,
"status": "partial",
"details": [
{
"code": "watchers",
"params": {
"count": 6
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "moderate",
"name": "Community health",
"note": null,
"notes": [],
"value": 57,
"inputs": {
"has_readme": true,
"has_license": true,
"readme_badges": null,
"has_contributing": false,
"has_issue_template": false,
"has_code_of_conduct": false,
"readme_badge_services": [],
"has_pull_request_template": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 22.5,
"status": "met",
"details": [],
"max_points": 22.5
},
{
"key": "license",
"name": "License",
"detail": "recognized license (MIT)",
"points": 22.5,
"status": "met",
"details": [
{
"code": "license_standard",
"params": {}
},
{
"code": "license_spdx",
"params": {
"spdx": "MIT"
}
}
],
"max_points": 22.5
},
{
"key": "contributing_guide",
"name": "CONTRIBUTING guide",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 18
},
{
"key": "code_of_conduct",
"name": "Code of conduct",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 13.5
},
{
"key": "issue_template",
"name": "Issue template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.2
},
{
"key": "pr_template",
"name": "PR template",
"detail": null,
"points": 6.3,
"status": "met",
"details": [],
"max_points": 6.3
}
]
},
{
"key": "ecosystem_adoption",
"band": "weak",
"name": "Ecosystem adoption (downloads)",
"note": "Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"registry_dependents"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 38,
"inputs": {
"packages": [
"verusfmt"
],
"dependents": null,
"ecosystems": "crates",
"total_downloads": 42459,
"monthly_downloads": 193
},
"components": [
{
"key": "monthly_downloads",
"name": "Monthly downloads",
"detail": "193 downloads/month across crates",
"points": 30.5,
"status": "partial",
"details": [
{
"code": "downloads_monthly",
"params": {
"count": 193,
"ecosystems": "crates"
}
}
],
"max_points": 80
},
{
"key": "registry_dependents",
"name": "Registry dependents",
"detail": "not reported by this ecosystem",
"points": 0,
"status": "excluded",
"details": [
{
"code": "not_reported_by_this_ecosystem",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "good",
"name": "Sustainability & Governance",
"value": 73,
"weight": 0.23,
"metrics": [
{
"key": "maintainer_resilience",
"band": "moderate",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 60,
"inputs": {
"bus_factor": 2,
"contributors_sampled": 14,
"top_contributor_share": 0.477
},
"components": [
{
"key": "bus_factor",
"name": "Bus factor",
"detail": "2 contributor(s) cover half of all commits",
"points": 25.2,
"status": "partial",
"details": [
{
"code": "bus_factor",
"params": {
"count": 2
}
}
],
"max_points": 54
},
{
"key": "commit_distribution",
"name": "Commit distribution",
"detail": "top contributor authored 48% of commits",
"points": 11.8,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 48
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "14 contributors",
"points": 13.5,
"status": "met",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 14
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 10 contributing companies or organizations",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "excellent",
"name": "Issue & PR responsiveness",
"note": "Excluded from scoring (no data or not applicable): Newcomer PR acceptance. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"newcomer_pr_acceptance"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 80,
"inputs": {
"merged_prs": 139,
"open_issues": 20,
"closed_issues": 40,
"prs_merged_7d": null,
"prs_decided_7d": null,
"prs_merged_30d": null,
"prs_decided_30d": null,
"issue_closed_ratio": 0.667,
"closed_unmerged_prs": 8,
"first_time_authors_30d": null,
"first_time_prs_merged_30d": null,
"first_time_prs_decided_30d": null
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "67% of issues closed",
"points": 28,
"status": "partial",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 67
}
}
],
"max_points": 42
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "139/147 decided PRs merged",
"points": 28.4,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 139,
"decided": 147
}
}
],
"max_points": 30
},
{
"key": "newcomer_pr_acceptance",
"name": "Newcomer PR acceptance",
"detail": "no first-time contributor's PR decided in 30d",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_newcomer_prs",
"params": {
"days": 30
}
}
],
"max_points": 13
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 15/16 approved changesets -- score normalized to 9",
"points": 13.5,
"status": "partial",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "moderate",
"name": "Ownership & stewardship",
"note": null,
"notes": [],
"value": 61,
"inputs": {
"followers": 74,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "verus-lang",
"public_repos": 16,
"account_age_days": 1513
},
"components": [
{
"key": "ownership_backing",
"name": "Ownership backing",
"detail": "organization-owned",
"points": 30,
"status": "met",
"details": [
{
"code": "owner_organization",
"params": {}
}
],
"max_points": 30
},
{
"key": "verified_domain",
"name": "Verified domain",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "owner_reach",
"name": "Owner reach",
"detail": "74 followers of verus-lang",
"points": 13.5,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 74,
"login": "verus-lang"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "16 public repos, account ~4 yr old",
"points": 17.2,
"status": "partial",
"details": [
{
"code": "public_repos",
"params": {
"count": 16
}
},
{
"code": "account_age_years",
"params": {
"years": 4
}
}
],
"max_points": 25
}
]
},
{
"key": "package_maintenance",
"band": "exceptional",
"name": "Package maintenance",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"packages": [
"verusfmt"
],
"ecosystems": "crates",
"any_deprecated": false,
"min_days_since_publish": 50
},
"components": [
{
"key": "published_resolvable",
"name": "Published & resolvable",
"detail": "1 package(s) on crates",
"points": 25,
"status": "met",
"details": [
{
"code": "packages_published",
"params": {
"count": 1,
"ecosystems": "crates"
}
}
],
"max_points": 25
},
{
"key": "publish_recency",
"name": "Publish recency",
"detail": "latest publish 50 days ago",
"points": 35,
"status": "met",
"details": [
{
"code": "publish_recency",
"params": {
"days": 50
}
}
],
"max_points": 35
},
{
"key": "version_history",
"name": "Version history",
"detail": "45 published versions",
"points": 20,
"status": "met",
"details": [
{
"code": "published_versions",
"params": {
"count": 45
}
}
],
"max_points": 20
},
{
"key": "not_deprecated",
"name": "Not deprecated",
"detail": "active, not deprecated or yanked",
"points": 20,
"status": "met",
"details": [
{
"code": "package_not_deprecated",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "moderate",
"name": "Engineering Quality",
"value": 61,
"weight": 0.19,
"metrics": [
{
"key": "engineering_practices",
"band": "good",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 68,
"inputs": {
"has_ci": true,
"has_tests": true,
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": "4 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 4
}
}
],
"max_points": 24
},
{
"key": "tests_present",
"name": "Tests present",
"detail": null,
"points": 24,
"status": "met",
"details": [],
"max_points": 24
},
{
"key": "linter_config",
"name": "Linter config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 16
},
{
"key": "pre_commit_hooks",
"name": "Pre-commit hooks",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 9.6
},
{
"key": "editorconfig",
"name": ".editorconfig",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.4
},
{
"key": "openssf_scorecard_ci_tests",
"name": "OpenSSF Scorecard: CI-Tests",
"detail": "29 out of 29 merged PRs checked by a CI test -- score normalized to 10",
"points": 20,
"status": "met",
"details": [],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "moderate",
"name": "Documentation",
"note": null,
"notes": [],
"value": 50,
"inputs": {
"topics": [
"formatter",
"pretty-printer",
"verus"
],
"has_wiki": false,
"homepage": null,
"has_readme": true,
"has_docs_dir": false,
"has_description": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 30,
"status": "met",
"details": [],
"max_points": 30
},
{
"key": "documentation_directory",
"name": "Documentation directory",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 25
},
{
"key": "documentation_homepage_site",
"name": "Documentation / homepage site",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "repository_description",
"name": "Repository description",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "topics",
"name": "Topics",
"detail": "3 topics",
"points": 10,
"status": "met",
"details": [
{
"code": "topics_count",
"params": {
"count": 3
}
}
],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "good",
"name": "Security",
"value": 65,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "moderate",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): Branch-Protection, Packaging. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"branch_protection",
"packaging"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 56,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 16,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 2,
"scorecard_aggregate": 5.6
},
"components": [
{
"key": "binary_artifacts",
"name": "Binary-Artifacts",
"detail": "no binaries found in the repo",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "branch_protection",
"name": "Branch-Protection",
"detail": "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",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "29 out of 29 merged PRs checked by a CI test -- score normalized to 10",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "cii_best_practices",
"name": "CII-Best-Practices",
"detail": "no effort to earn an OpenSSF best practices badge detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "code_review",
"name": "Code-Review",
"detail": "Found 15/16 approved changesets -- score normalized to 9",
"points": 6.8,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 10 contributing companies or organizations",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no dangerous workflow patterns detected",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "dependency_update_tool",
"name": "Dependency-Update-Tool",
"detail": "update tool detected",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "fuzzing",
"name": "Fuzzing",
"detail": "project is not fuzzed",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "license",
"name": "License",
"detail": "license file detected",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "maintained",
"name": "Maintained",
"detail": "13 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 10",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "packaging",
"name": "Packaging",
"detail": "packaging workflow not detected",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 5
},
{
"key": "pinned_dependencies",
"name": "Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "SAST tool is not run on all commits -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file not detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "Project has not signed or included provenance with any releases.",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "detected GitHub workflow tokens with excessive permissions",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "3 existing vulnerabilities detected",
"points": 5.2,
"status": "partial",
"details": [],
"max_points": 7.5
}
]
},
{
"key": "dependency_advisories",
"band": "exceptional",
"name": "Dependency advisories",
"note": "Excluded from scoring (no data or not applicable): Indirect dependencies free of known advisories, No advisories left outstanding. Remaining weights renormalized. Matched 304 resolved dependencies against OSV; 5 could not be assessed (no resolved version, an unsupported ecosystem, or beyond the reported package list). This repository publishes no package the index resolves, so the repository dependency graph was assessed instead. That graph mixes development and test pins with shipped dependencies, so only the declared runtime dependencies are scored; transitive findings are reported as context and excluded from the score. Reachability is not analyzed.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"indirect_dependencies_free_of_known_advisories",
"no_advisories_left_outstanding"
]
}
},
{
"code": "weights_renormalized",
"params": {}
},
{
"code": "advisories_scope_repository",
"params": {
"assessed": 304
}
},
{
"code": "advisories_unassessed",
"params": {
"count": 5
}
},
{
"code": "advisories_repo_graph_caveat",
"params": {}
},
{
"code": "advisories_reachability",
"params": {}
}
],
"value": 100,
"inputs": {
"source": "osv",
"advisories": 5,
"affected_packages": 3,
"assessed_packages": 304,
"unassessed_packages": 5,
"affected_by_severity": "high 2, unknown 1",
"direct_affected_packages": 0
},
"components": [
{
"key": "direct_dependencies_free_of_known_advisories",
"name": "Direct dependencies free of known advisories",
"detail": "no direct dependency carries a known advisory",
"points": 35,
"status": "met",
"details": [
{
"code": "no_direct_advisories",
"params": {}
}
],
"max_points": 35
},
{
"key": "indirect_dependencies_free_of_known_advisories",
"name": "Indirect dependencies free of known advisories",
"detail": "transitive set not separable from development and test dependencies in this scope",
"points": 0,
"status": "excluded",
"details": [
{
"code": "advisories_scope_not_separable",
"params": {}
}
],
"max_points": 25
},
{
"key": "no_advisories_left_outstanding",
"name": "No advisories left outstanding",
"detail": "no advisory carries a publication date",
"points": 0,
"status": "excluded",
"details": [
{
"code": "advisories_no_publication_date",
"params": {}
}
],
"max_points": 40
}
]
},
{
"key": "malicious_dependencies",
"band": "exceptional",
"name": "Malicious dependencies",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"source": "osv",
"meaning": "reported as a malicious package by the OpenSSF corpus; the remedy is removal or moving off the compromised name, never an upgrade of the same artifact. Versions the registry has since pulled are listed but not scored",
"packages": [],
"red_flag": false,
"assessed_packages": 304,
"malicious_packages": 0,
"direct_malicious_packages": 0,
"withdrawn_malicious_packages": 0,
"installable_malicious_packages": 0
},
"components": [
{
"key": "no_dependency_reported_as_a_malicious_package",
"name": "No dependency reported as a malicious package",
"detail": "no dependency is reported as a malicious package",
"points": 100,
"status": "met",
"details": [
{
"code": "no_malicious_dependencies",
"params": {}
}
],
"max_points": 100
}
]
},
{
"key": "high_risk_jurisdiction_exposure",
"band": "exceptional",
"name": "High-Risk Jurisdiction Exposure",
"note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
"notes": [
{
"code": "jurisdiction_evidence_limits",
"params": {}
}
],
"value": 100,
"inputs": {
"meaning": "self-published location evidence; not nationality or citizenship",
"red_flag": false,
"exposures": [],
"policy_countries": [
"Russia",
"Iran",
"North Korea"
],
"commit_weight_rule": {
"min_commits": 50,
"min_commit_share": 0.1
},
"review_only_matches": 0,
"below_threshold_exposures": [],
"assessed_self_published_locations": 11
},
"components": [
{
"key": "policy_exposure_multiplier",
"name": "Policy exposure multiplier",
"detail": "no confirmed policy-scope location match",
"points": 100,
"status": "met",
"details": [
{
"code": "jurisdiction_no_match",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
},
{
"key": "ai_readiness",
"band": "moderate",
"name": "AI Readiness",
"value": 58,
"weight": 0.04,
"metrics": [
{
"key": "ai_agent_context",
"band": "weak",
"name": "Agent context & guidance",
"note": null,
"notes": [],
"value": 40,
"inputs": {
"has_llms_txt": false,
"legible_history_share": 0.824,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": "no CLAUDE.md / AGENTS.md / editor rules",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_instructions",
"params": {}
}
],
"max_points": 45
},
{
"key": "machine_readable_docs_llms_txt",
"name": "Machine-readable docs (llms.txt)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "legible_commit_history",
"name": "Legible commit history",
"detail": "70 of 85 human commits state their intent (structured subject or explanatory body)",
"points": 40,
"status": "met",
"details": [
{
"code": "legible_history",
"params": {
"legible": 70,
"sampled": 85
}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "moderate",
"name": "Verify loop (build / test / typecheck)",
"note": null,
"notes": [],
"value": 64,
"inputs": {
"has_nix": false,
"has_tests": true,
"lockfiles": [
"Cargo.lock"
],
"has_dockerfile": false,
"typed_language": true,
"bootstrap_files": [],
"has_devcontainer": false,
"has_linter_config": false,
"typecheck_configs": [],
"agent_commit_share": 0,
"toolchain_manifests": [
"Cargo.toml",
"glob-macro/Cargo.toml"
],
"dependency_bot_commit_share": 0.01
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": "Cargo.toml, glob-macro/Cargo.toml (toolchain convention, no task runner)",
"points": 12.6,
"status": "partial",
"details": [
{
"code": "toolchain_convention",
"params": {
"files": "Cargo.toml, glob-macro/Cargo.toml"
}
}
],
"max_points": 18
},
{
"key": "automated_tests",
"name": "Automated tests",
"detail": null,
"points": 22,
"status": "met",
"details": [],
"max_points": 22
},
{
"key": "lint_format_config",
"name": "Lint / format config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 11
},
{
"key": "static_type_checking",
"name": "Static type checking",
"detail": "Rust (statically typed)",
"points": 11,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "Rust"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": "lockfile",
"points": 10,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "lockfile"
}
}
],
"max_points": 10
},
{
"key": "demonstrated_agent_practice",
"name": "Demonstrated agent practice",
"detail": "no agent-authored commits among the last 100",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_authored_commits",
"params": {
"sampled": 100
}
}
],
"max_points": 10
},
{
"key": "automated_maintenance",
"name": "Automated maintenance",
"detail": "1 of the last 100 commits are automated dependency updates",
"points": 8,
"status": "met",
"details": [
{
"code": "dependency_bot_commits",
"params": {
"count": 1,
"sampled": 100
}
}
],
"max_points": 8
},
{
"key": "openssf_scorecard_pinned_dependencies",
"name": "OpenSSF Scorecard: Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "exceptional",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 97,
"inputs": {
"primary_language": "Rust",
"largest_source_bytes": 1044855,
"source_files_sampled": 210,
"oversized_source_files": 13
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "Rust (statically typed)",
"points": 45,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "Rust"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "13/210 source files over 60KB",
"points": 51.6,
"status": "partial",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 210,
"oversized": 13
}
}
],
"max_points": 55
}
]
},
{
"key": "ai_interfaces",
"band": "weak",
"name": "Machine-readable interfaces",
"note": null,
"notes": [],
"value": 40,
"inputs": {
"example_dirs": [
"examples"
],
"has_mcp_signal": false,
"api_schema_files": []
},
"components": [
{
"key": "api_schema_openapi_graphql_proto",
"name": "API schema (OpenAPI/GraphQL/proto)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 40
},
{
"key": "mcp_server",
"name": "MCP server",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "runnable_examples",
"name": "Runnable examples",
"detail": "examples",
"points": 40,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "examples"
}
}
],
"max_points": 40
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? Carries a deliberately small weight: agent tooling is a real maintenance signal, but its absence must never gate the top of the scale (calibration saturates at raw 91, so 100/100 remains reachable with AI Readiness at zero)."
}
],
"classification": {
"labels": [
"library",
"cli"
],
"scores": {
"cli": 4,
"library": 6
},
"primary": "library",
"evidence": [
{
"tier": "distribution",
"label": "library",
"source": "registry:crates",
"weight": 6
},
{
"tier": "dependencies",
"label": "cli",
"source": "dep:clap",
"weight": 4
}
],
"artifacts": [],
"confidence": "medium",
"host_extension": false,
"runs_as_process": true,
"consumed_by_code": true
},
"metrics_version": "2.3.1"
},
"warnings": [
"Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token",
"Could not fetch crates package 'glob-macro' from its registry"
],
"report_type": "repository",
"generated_at": "2026-07-31T08:12:41.673514Z",
"schema_version": "0.27.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/v/verus-lang/verusfmt.svg",
"full_name": "verus-lang/verusfmt",
"license_state": "standard",
"license_spdx": "MIT"
}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.3.1, schema v0.27.0 — full methodology · metrics wiki.
How one result sits in the wider record: aggregate statistics — crates.io.