Software health reportschema 0.34.0 · metrics 2.10.0 · 2026-08-22 18:24 UTC

verus-lang / verus

Verified Rust for low-level systems code

RustMIT★ 2,883 stars⑂ 208 forkssince Oct 2021View on GitHub ↗

KindLibraryCommand-line toolhow this is determined

verus-lang/verus holds a health index of 91 out of 100, placing it in the Excellent band. It scores highest on Vitality (96/100) and lowest on Security (55/100). It was last updated today. 2 contributors account for most of its recent work.

overall / 100

Excellent

Software health index

Metrics are grouped into weighted categories on one standardized 1–100 scale. Overall starts as their weighted mean, calibrated against the distribution of the public record so bands carry percentile meaning; when public evidence triggers the High-Risk Jurisdiction Policy, the rating is adjusted and receives an At Risk ceiling of 34.

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 77 is calibrated to 91 on the published index scale (record calibration 2026-08-02).

Ownership

verus-langOrganization

75 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	airpoints to another repo — not scored	1.0.2	195	11	143 days ago	—
crates.io	vir	0.0.0	2	1	1633 days ago	—
crates.io	vstd	0.0.0-2026-08-09-0044	41,247	39	13 days ago	verification verified-rust verus development-tools
crates.io	verus	0.0.0	50	1	891 days ago	verified-rust verus development-tools
crates.io	verus_builtin	0.0.0-2026-08-09-0044	39,813	21	13 days ago	verification verified-rust verus development-tools

Metrics by category

Vitality

Is the project alive — is code being written and are releases shipping?

96Exceptional · 21% of overall

Development activity

100Exceptional

How it's scored

36/36	Push recency — last push 0 days ago
36/36	Commit cadence — 52/52 weeks with commits
18/18	Commit volume — 936 commits in the last year
10/10	OpenSSF Scorecard: Maintained — 30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10

Inputs used

commits_last_year	936
human_commit_share	1
days_since_last_push	0
active_weeks_last_year	52

Release discipline

90Excellent

How it's scored

27/27	Ships releases — 81 releases published
36/36	Release recency — latest release 1 days ago
27/27	Release cadence — a release every ~6.7 days
0/10	OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases.

Inputs used

releases_count	81
latest_release_tag	release/rolling/0.2026.08.21.11eda20
releases_from_tags	no
days_since_latest_release	1
mean_days_between_releases	6.7

Community & Adoption

Does the project have users, downloads, attention, and a welcoming setup for contributors?

81Excellent · 17% of overall

Popularity & adoption

84Excellent

How it's scored

56.1/60	Stars — 2,883 stars
19.3/25	Forks — 208 forks
8.3/15	Watchers — 32 watchers

Inputs used

forks	208
stars	2,883
watchers	32
growth_state	unverified
growth_factor_pct	100
growth_unverified_reason	no_history

Community health

77Good

How it's scored

22.5/22.5	README
22.5/22.5	License — recognized license (MIT)
18/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	4
has_contributing	yes
has_issue_template	no
has_code_of_conduct	no
readme_badge_services	shields.io
has_pull_request_template	yes

Ecosystem adoption (downloads)

82Excellent

How it's scored

65.5/80	Monthly downloads — 81,110 downloads/month across crates
0/20	Registry dependents — not reported by this ecosystem

Inputs used

packages	vstd, verus, verus_builtin
dependents	—
ecosystems	crates
total_downloads	373,397
monthly_downloads	81,110
unverified_packages_excluded	vir

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?

75Good · 23% of overall

Maintainer resilience (bus factor)

65Good

How it's scored

25.2/54	Bus factor — 2 contributor(s) cover half of all commits
16.4/22.5	Commit distribution — top contributor authored 27% of commits
13.5/13.5	Contributor breadth — 99 contributors
10/10	OpenSSF Scorecard: Contributors — project has 34 contributing companies or organizations

Inputs used

bus_factor	2
contributors_sampled	99
top_contributor_share	0.269

Issue & PR responsiveness

82Excellent

How it's scored

32.7/42	Issue resolution — 78% of issues closed
27.4/30	PR acceptance — 1,527/1,674 decided PRs merged
11.1/13	Newcomer PR acceptance — 6/7 first-time contributors' PRs merged in 30d
10.5/15	OpenSSF Scorecard: Code-Review — Found 21/30 approved changesets -- score normalized to 7

Inputs used

merged_prs	1,527
open_issues	198
closed_issues	692
prs_merged_7d	17
prs_decided_7d	18
prs_merged_30d	57
prs_decided_30d	60
issue_closed_ratio	0.778
closed_unmerged_prs	147
first_time_authors_30d	5
first_time_prs_merged_30d	6
first_time_prs_decided_30d	7

Ownership & stewardship

61Moderate

How it's scored

30/30	Ownership backing — organization-owned
0/20	Verified domain
13.5/25	Owner reach — 75 followers of verus-lang
17.4/25	Track record — 16 public repos, account ~4 yr old

Inputs used

followers	75
owner_type	Organization
is_verified	no
owner_login	verus-lang
public_repos	16
account_age_days	1,536

Package maintenance

100Exceptional

How it's scored

25/25	Published & resolvable — 4 package(s) on crates
35/35	Publish recency — latest publish 13 days ago
20/20	Version history — 39 published versions
20/20	Not deprecated — active, not deprecated or yanked

Inputs used

packages	vir, vstd, verus, verus_builtin
ecosystems	crates
any_deprecated	no
min_days_since_publish	13

Engineering Quality

Are baseline engineering and documentation practices in place?

72Good · 19% of overall

Engineering practices

84Excellent

How it's scored

24/24	CI workflows — 8 workflow(s)
24/24	Tests present
16/16	Linter config — dependencies/prettyplease/Cargo.toml ([lints]), dependencies/syn/Cargo.toml ([lints]), rustfmt.toml, source/Cargo.toml ([workspace.lints]), source/air/Cargo.toml ([lints]), source/builtin/Cargo.toml ([lints]), source/builtin_macros/Cargo.toml ([lints]), source/cargo-verus-toolchains/Cargo.toml ([lints]), source/cargo-verus/Cargo.toml ([lints]), source/rust_verify/Cargo.toml ([lints]), source/rust_verify_test/Cargo.toml ([lints]), source/rust_verify_test_macros/Cargo.toml ([lints]), source/rustc_mir_build/Cargo.toml ([lints]), source/state_machines_macros/Cargo.toml ([lints]), source/verus/Cargo.toml ([lints]), source/verusdoc/Cargo.toml ([lints]), source/vir/Cargo.toml ([lints]), source/vir_macros/Cargo.toml ([lints]), source/vstd/Cargo.toml ([lints]), source/vstd_build/Cargo.toml ([lints])
0/9.6	Pre-commit hooks
0/6.4	.editorconfig
20/20	OpenSSF Scorecard: CI-Tests — 30 out of 30 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	yes
has_precommit_config	no

Documentation

55Moderate

How it's scored

30/30	README
0/25	Documentation directory
15/15	Documentation / homepage site — https://verus-lang.github.io/verus/verusdoc/vstd/
10/10	Repository description
0/10	Topics
0/10	Wiki

Inputs used

topics	—
has_wiki	no
homepage	—
docs_site	https://verus-lang.github.io/verus/verusdoc/vstd/
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?

55Moderate · 16% of overall

Security posture

48Weak

How it's scored

6.8/7.5	Binary-Artifacts — binaries present in source code
0/7.5	Branch-Protection — no data
2.5/2.5	CI-Tests — 30 out of 30 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
5.2/7.5	Code-Review — Found 21/30 approved changesets -- score normalized to 7
2.5/2.5	Contributors — project has 34 contributing companies or organizations
10/10	Dangerous-Workflow — no dangerous workflow patterns detected
0/7.5	Dependency-Update-Tool — no update tool detected
5/5	Fuzzing — project is fuzzed
2.5/2.5	License — license file detected
7.5/7.5	Maintained — 30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10
5/5	Packaging — packaging workflow detected
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
0/7.5	Vulnerabilities — 25 existing vulnerabilities detected

Inputs used

source	openssf_scorecard
checks_evaluated	17
scorecard_version	v5.5.0
checks_inconclusive	1
scorecard_aggregate	4.8

Excluded from scoring (no data or not applicable): Branch-Protection. Remaining weights renormalized.

Dependency advisories

81Excellent

How it's scored

24.2/35	Direct dependencies free of known advisories — 3 affected: rand 0.7.3 (low), anyhow 1.0.100 (unknown), im 15.1.0 (unknown)
0/25	Indirect dependencies free of known advisories — transitive set not separable from development and test dependencies in this scope
36.4/40	No advisories left outstanding — 2 advisory-carrying package(s) unaddressed past 90 days; oldest published 1,295 days ago

Inputs used

source	osv
advisories	26
affected_packages	15
assessed_packages	452
unassessed_packages	19
affected_by_severity	high 5, low 1, unknown 9
direct_affected_packages	3

Excluded from scoring (no data or not applicable): Indirect dependencies free of known advisories. Remaining weights renormalized. Matched 452 resolved dependencies against OSV. 19 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.

72Good · 4% of overall

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 — 89 of 100 human commits state their intent (structured subject or explanatory body)

Inputs used

has_llms_txt	no
llms_txt_url	—
legible_history_share	0.89
agent_instruction_files	—
agent_instruction_max_bytes	—

Verify loop (build / test / typecheck)

76Good

How it's scored

18/18	One-command bootstrap — source/docs/publications-and-projects/Makefile
22/22	Automated tests
11/11	Lint / format config — dependencies/prettyplease/Cargo.toml ([lints]), dependencies/syn/Cargo.toml ([lints]), rustfmt.toml, source/Cargo.toml ([workspace.lints]), source/air/Cargo.toml ([lints]), source/builtin/Cargo.toml ([lints]), source/builtin_macros/Cargo.toml ([lints]), source/cargo-verus-toolchains/Cargo.toml ([lints]), source/cargo-verus/Cargo.toml ([lints]), source/rust_verify/Cargo.toml ([lints]), source/rust_verify_test/Cargo.toml ([lints]), source/rust_verify_test_macros/Cargo.toml ([lints]), source/rustc_mir_build/Cargo.toml ([lints]), source/state_machines_macros/Cargo.toml ([lints]), source/verus/Cargo.toml ([lints]), source/verusdoc/Cargo.toml ([lints]), source/vir/Cargo.toml ([lints]), source/vir_macros/Cargo.toml ([lints]), source/vstd/Cargo.toml ([lints]), source/vstd_build/Cargo.toml ([lints])
11/11	Static type checking — Rust (statically typed)
10/10	Reproducible environment — Nix, lockfile
4/10	Demonstrated agent practice — 2 of the last 100 commits agent-authored or agent-credited
0/8	Automated maintenance — no automated dependency updates observed
0/10	OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0

Inputs used

has_nix	yes
has_tests	yes
lockfiles	Cargo.lock, Gemfile.lock
has_dockerfile	no
typed_language	yes
bootstrap_files	source/docs/publications-and-projects/Makefile
has_devcontainer	no
has_linter_config	yes
typecheck_configs	—
agent_commit_share	0.02
toolchain_manifests	dependencies/prettyplease/Cargo.toml, dependencies/prettyplease/cargo-expand/update/Cargo.toml, dependencies/prettyplease/examples/update/Cargo.toml, dependencies/prettyplease/fuzz/Cargo.toml, dependencies/syn/Cargo.toml, dependencies/syn/codegen/Cargo.toml, dependencies/syn/dev/Cargo.toml, dependencies/syn/examples/dump-syntax/Cargo.toml, dependencies/syn/examples/heapsize/example/Cargo.toml, dependencies/syn/examples/heapsize/heapsize/Cargo.toml, dependencies/syn/examples/heapsize/heapsize_derive/Cargo.toml, dependencies/syn/examples/lazy-static/example/Cargo.toml, dependencies/syn/examples/lazy-static/lazy-static/Cargo.toml, dependencies/syn/examples/trace-var/example/Cargo.toml, dependencies/syn/examples/trace-var/trace-var/Cargo.toml, dependencies/syn/fuzz/Cargo.toml, dependencies/syn/json/Cargo.toml, dependencies/syn/tests/features/Cargo.toml, source/Cargo.toml, source/air/Cargo.toml, source/builtin/Cargo.toml, source/builtin_macros/Cargo.toml, source/cargo-verus-toolchains/Cargo.toml, source/cargo-verus/Cargo.toml, source/rust_verify/Cargo.toml, source/rust_verify_test/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/consume_basic_verified_lib/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/consume_machines/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/consume_vstd/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/spec_use/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/structural/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/basic_verified_lib/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/basic_verified_lib_consumer_verified/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/big_rlimit/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/lib_with_bin/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/spec_def/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/spec_def2/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/spec_use/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/state_machine_macro_usage/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/transitive1/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/transitive2/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/transitive3/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/vstd_macro_usage/Cargo.toml, source/rust_verify_test_macros/Cargo.toml, source/rustc_mir_build/Cargo.toml, source/state_machines_macros/Cargo.toml, source/tools/bump_crate_versions/Cargo.toml, source/tools/internals_interface/Cargo.toml, source/tools/line_count/Cargo.toml, source/verus/Cargo.toml, source/verusdoc/Cargo.toml, source/vir/Cargo.toml, source/vir_macros/Cargo.toml, source/vstd/Cargo.toml, source/vstd_build/Cargo.toml, tools/vargo/Cargo.toml, tools/verita/Cargo.toml
dependency_bot_commit_share	0

Code legibility for models

97Exceptional

How it's scored

45/45	Type-checkable code — Rust (statically typed)
51.6/55	Manageable file sizes — 56/915 source files over 60KB

Inputs used

primary_language	Rust
largest_source_bytes	1,671,171
source_files_sampled	915
oversized_source_files	56

Machine-readable interfaces

100Exceptional

How it's scored

0/40	API schema (OpenAPI/GraphQL/proto) — not applicable to this kind of software
0/20	MCP server — not applicable to this kind of software
40/40	Runnable examples — example, examples

Inputs used

example_dirs	example, examples
has_mcp_signal	no
api_schema_files	—
interfaces_expected_of	—

Excluded from scoring (no data or not applicable): API schema (OpenAPI/GraphQL/proto), MCP server. Remaining weights renormalized.

Key facts

2,883GitHub stars

99contributors

936commits, last 12 months

0days since last push

81releases

2bus factor

198open issues

crates.iopackage ecosystems

Data collection warnings

Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
First-time contributor figures cover 12 of 17 authors (cap 12)
crates package 'air' points at a different repository (https://github.com/ramp-stack/air.git); excluded from ecosystem scoring
Could not fetch crates package 'vargo' from its registry
Could not fetch crates package 'verita' from its registry
Could not fetch crates package 'verusdoc' from its registry

More detail

Star and fork history 0 ★ / 208 ⇿

0Stars

208Forks

81Releases

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 0Patch 0

Each point covers 5 days.

OpenSSF Scorecard 4.8 / 10

4.8aggregate

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).Scorecard v5.5.0 · 2026-08-22 18:23 UTC

9	Binary-Artifacts	binaries present in source code
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	30 out of 30 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
7	Code-Review	Found 21/30 approved changesets -- score normalized to 7
10	Contributors	project has 34 contributing companies or organizations
10	Dangerous-Workflow	no dangerous workflow patterns detected
0	Dependency-Update-Tool	no update tool detected
10	Fuzzing	project is fuzzed
10	License	license file detected
10	Maintained	30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10
10	Packaging	packaging workflow 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
0	Vulnerabilities	25 existing vulnerabilities detected

Direct dependencies 121

Registry	Package	Version constraint	Manifest
crates.io	proc-macro2	`1.0.80`	dependencies/prettyplease/Cargo.toml
crates.io	verus_syn	`=0.0.0-2026-08-02-0125`	dependencies/prettyplease/Cargo.toml
crates.io	proc-macro2	`1.0.101`	dependencies/syn/Cargo.toml
crates.io	quote	`1.0.35`	dependencies/syn/Cargo.toml
crates.io	unicode-ident	`1`	dependencies/syn/Cargo.toml
crates.io	sise	`—`	source/air/Cargo.toml
crates.io	getopts	`—`	source/air/Cargo.toml
crates.io	smt-scope	`—`	source/air/Cargo.toml
crates.io	petgraph	`—`	source/air/Cargo.toml
crates.io	serde	`—`	source/air/Cargo.toml
crates.io	indexmap	`—`	source/air/Cargo.toml
crates.io	yansi	`—`	source/air/Cargo.toml
crates.io	convert_case	`—`	source/builtin_macros/Cargo.toml
crates.io	proc-macro2	`—`	source/builtin_macros/Cargo.toml
crates.io	quote	`—`	source/builtin_macros/Cargo.toml
crates.io	synstructure	`—`	source/builtin_macros/Cargo.toml
crates.io	syn	`—`	source/builtin_macros/Cargo.toml
crates.io	verus_syn	`—`	source/builtin_macros/Cargo.toml
crates.io	verus_prettyplease	`—`	source/builtin_macros/Cargo.toml
crates.io	anyhow	`—`	source/cargo-verus-toolchains/Cargo.toml
crates.io	clap	`—`	source/cargo-verus-toolchains/Cargo.toml
crates.io	itertools	`—`	source/cargo-verus-toolchains/Cargo.toml
crates.io	regex	`—`	source/cargo-verus-toolchains/Cargo.toml
crates.io	serde	`—`	source/cargo-verus-toolchains/Cargo.toml
crates.io	toml	`—`	source/cargo-verus-toolchains/Cargo.toml
crates.io	toml_edit	`—`	source/cargo-verus-toolchains/Cargo.toml
crates.io	anyhow	`—`	source/cargo-verus/Cargo.toml
crates.io	cargo_metadata	`—`	source/cargo-verus/Cargo.toml
crates.io	cargo-verus-toolchains	`—`	source/cargo-verus/Cargo.toml
crates.io	clap-cargo	`—`	source/cargo-verus/Cargo.toml
crates.io	clap	`—`	source/cargo-verus/Cargo.toml
crates.io	colored	`—`	source/cargo-verus/Cargo.toml
crates.io	hex	`—`	source/cargo-verus/Cargo.toml
crates.io	rustc_tools_util	`—`	source/cargo-verus/Cargo.toml
crates.io	serde_json	`—`	source/cargo-verus/Cargo.toml
crates.io	serde	`—`	source/cargo-verus/Cargo.toml
crates.io	sha2	`—`	source/cargo-verus/Cargo.toml
crates.io	tempfile	`—`	source/cargo-verus/Cargo.toml
crates.io	air	`—`	source/rust_verify/Cargo.toml
crates.io	bincode-next	`—`	source/rust_verify/Cargo.toml
crates.io	cargo-verus-toolchains	`—`	source/rust_verify/Cargo.toml
crates.io	console	`—`	source/rust_verify/Cargo.toml
crates.io	getopts	`—`	source/rust_verify/Cargo.toml
crates.io	hex	`—`	source/rust_verify/Cargo.toml
crates.io	indexmap	`—`	source/rust_verify/Cargo.toml
crates.io	indicatif	`—`	source/rust_verify/Cargo.toml
crates.io	internals_interface	`—`	source/rust_verify/Cargo.toml
crates.io	num-bigint	`—`	source/rust_verify/Cargo.toml
crates.io	num-format	`—`	source/rust_verify/Cargo.toml
crates.io	regex	`—`	source/rust_verify/Cargo.toml
crates.io	rustc_mir_build_verus	`—`	source/rust_verify/Cargo.toml
crates.io	serde_json	`—`	source/rust_verify/Cargo.toml
crates.io	serde	`—`	source/rust_verify/Cargo.toml
crates.io	sha2	`—`	source/rust_verify/Cargo.toml
crates.io	sise	`—`	source/rust_verify/Cargo.toml
crates.io	vir	`—`	source/rust_verify/Cargo.toml
crates.io	air	`—`	source/rust_verify_test/Cargo.toml
crates.io	vir	`—`	source/rust_verify_test/Cargo.toml
crates.io	quote	`—`	source/rust_verify_test_macros/Cargo.toml
crates.io	syn	`—`	source/rust_verify_test_macros/Cargo.toml
crates.io	proc-macro2	`—`	source/rust_verify_test_macros/Cargo.toml
crates.io	itertools	`0.12`	source/rustc_mir_build/Cargo.toml
crates.io	tracing	`0.1`	source/rustc_mir_build/Cargo.toml
crates.io	verus_syn	`—`	source/state_machines_macros/Cargo.toml
crates.io	quote	`—`	source/state_machines_macros/Cargo.toml
crates.io	proc-macro2	`—`	source/state_machines_macros/Cargo.toml
crates.io	indexmap	`—`	source/state_machines_macros/Cargo.toml
crates.io	cargo-verus-toolchains	`—`	source/verus/Cargo.toml
crates.io	chrono	`—`	source/verus/Cargo.toml
crates.io	regex	`—`	source/verus/Cargo.toml
crates.io	serde_json	`—`	source/verus/Cargo.toml
crates.io	toml	`—`	source/verus/Cargo.toml
crates.io	yansi	`—`	source/verus/Cargo.toml
crates.io	zip	`—`	source/verus/Cargo.toml
crates.io	git2	`—`	source/verus/Cargo.toml
crates.io	is-terminal	`—`	source/verus/Cargo.toml
crates.io	rand	`—`	source/verus/Cargo.toml
crates.io	walkdir	`—`	source/verusdoc/Cargo.toml
crates.io	kuchikiki	`—`	source/verusdoc/Cargo.toml
crates.io	serde_json	`—`	source/verusdoc/Cargo.toml
crates.io	serde	`—`	source/verusdoc/Cargo.toml
crates.io	html5ever	`—`	source/verusdoc/Cargo.toml
crates.io	air	`—`	source/vir/Cargo.toml
crates.io	im	`—`	source/vir/Cargo.toml
crates.io	indexmap	`—`	source/vir/Cargo.toml
crates.io	num-bigint	`—`	source/vir/Cargo.toml
crates.io	num-traits	`—`	source/vir/Cargo.toml
crates.io	serde	`—`	source/vir/Cargo.toml
crates.io	sha2	`—`	source/vir/Cargo.toml
crates.io	sise	`—`	source/vir/Cargo.toml
crates.io	vir-macros	`—`	source/vir/Cargo.toml
crates.io	synstructure	`—`	source/vir_macros/Cargo.toml
crates.io	proc-macro2	`—`	source/vir_macros/Cargo.toml
crates.io	syn	`—`	source/vir_macros/Cargo.toml
crates.io	verus_builtin_macros	`=0.0.0-2026-08-09-0044`	source/vstd/Cargo.toml
crates.io	verus_builtin	`=0.0.0-2026-08-09-0044`	source/vstd/Cargo.toml
crates.io	verus_state_machines_macros	`=0.0.0-2026-08-02-0125`	source/vstd/Cargo.toml
crates.io	yansi	`—`	source/vstd_build/Cargo.toml
crates.io	anyhow	`1`	tools/vargo/Cargo.toml
crates.io	clap	`4.5`	tools/vargo/Cargo.toml
crates.io	filetime	`0.2.26`	tools/vargo/Cargo.toml
crates.io	regex	`1`	tools/vargo/Cargo.toml
crates.io	serde_json	`1`	tools/vargo/Cargo.toml
crates.io	serde	`1`	tools/vargo/Cargo.toml
crates.io	toml	`0.9`	tools/vargo/Cargo.toml
crates.io	walkdir	`2.5`	tools/vargo/Cargo.toml
crates.io	yansi	`1.0`	tools/vargo/Cargo.toml
crates.io	anyhow	`1.0.83`	tools/verita/Cargo.toml
crates.io	dunce	`1`	tools/verita/Cargo.toml
crates.io	chrono	`0.4.38`	tools/verita/Cargo.toml
crates.io	clap	`4.3.11`	tools/verita/Cargo.toml
crates.io	git2	`0.18.3`	tools/verita/Cargo.toml
crates.io	regex	`1.10.4`	tools/verita/Cargo.toml
crates.io	serde	`1.0`	tools/verita/Cargo.toml
crates.io	serde_json	`1.0.117`	tools/verita/Cargo.toml
crates.io	tempdir	`0.3.7`	tools/verita/Cargo.toml
crates.io	toml	`0.8.13`	tools/verita/Cargo.toml
crates.io	toml_edit	`0.22`	tools/verita/Cargo.toml
crates.io	tracing	`0.1.37`	tools/verita/Cargo.toml
crates.io	tracing-subscriber	`0.3.17`	tools/verita/Cargo.toml
crates.io	xshell	`0.2.6`	tools/verita/Cargo.toml

All dependencies 471

Full resolved dependency set from the GitHub dependency graph: 83 direct and 388 indirect (transitive) packages. The transitive closure is complete when the repository commits a lockfile.

Registry	Package	Version	Relation
crates.io	anyhow	`—`	direct
crates.io	anyhow	`1.0.100`	direct
crates.io	anyhow	`1.0.104`	direct
crates.io	bincode-next	`3.1.1`	direct
crates.io	cargo_metadata	`0.23.1`	direct
crates.io	chrono	`—`	direct
crates.io	chrono	`0.4.45`	direct
crates.io	clap	`—`	direct
crates.io	clap	`4.5.53`	direct
crates.io	clap	`4.6.4`	direct
crates.io	clap-cargo	`0.18.3`	direct
crates.io	colored	`3.1.1`	direct
crates.io	console	`0.16.4`	direct
crates.io	convert_case	`0.4.0`	direct
crates.io	dunce	`—`	direct
crates.io	filetime	`0.2.26`	direct
crates.io	getopts	`0.2.21`	direct
crates.io	git2	`—`	direct
crates.io	git2	`0.21.0`	direct
crates.io	hex	`0.4.3`	direct
crates.io	html5ever	`0.26.0`	direct
crates.io	im	`15.1.0`	direct
crates.io	indexmap	`1.9.3`	direct
crates.io	indexmap	`2.12.1`	direct
crates.io	indexmap	`2.14.0`	direct
crates.io	indicatif	`0.18.6`	direct
crates.io	is-terminal	`0.4.17`	direct
crates.io	itertools	`—`	direct
crates.io	itertools	`0.12.1`	direct
crates.io	itertools	`0.15.0`	direct
crates.io	kuchikiki	`0.8.2`	direct
crates.io	num-bigint	`0.4.8`	direct
crates.io	num-bigint	`0.5.1`	direct
crates.io	num-format	`0.4.4`	direct
crates.io	num-traits	`0.2.19`	direct
crates.io	petgraph	`—`	direct
crates.io	petgraph	`0.6.5`	direct
crates.io	petgraph	`0.8.3`	direct
crates.io	proc-macro2	`1.0.104`	direct
crates.io	proc-macro2	`1.0.107`	direct
crates.io	quote	`1.0.42`	direct
crates.io	quote	`1.0.47`	direct
crates.io	rand	`0.10.2`	direct
crates.io	rand	`0.7.3`	direct
crates.io	rand	`0.8.7`	direct
crates.io	regex	`—`	direct
crates.io	regex	`1.12.2`	direct
crates.io	regex	`1.13.1`	direct
crates.io	rustc_tools_util	`0.4.2`	direct
crates.io	serde	`—`	direct
crates.io	serde	`1.0.228`	direct
crates.io	serde	`1.0.229`	direct
crates.io	serde_json	`—`	direct
crates.io	serde_json	`1.0.148`	direct
crates.io	serde_json	`1.0.151`	direct
crates.io	sha2	`0.11.0`	direct
crates.io	sise	`0.8.0`	direct
crates.io	smt-scope	`0.1.7`	direct
crates.io	syn	`1.0.109`	direct
crates.io	syn	`2.0.112`	direct
crates.io	syn	`2.0.119`	direct
crates.io	syn	`3.0.3`	direct
crates.io	synstructure	`0.13.2`	direct
crates.io	tempdir	`—`	direct
crates.io	tempfile	`—`	direct
crates.io	tempfile	`3.27.0`	direct
crates.io	toml	`—`	direct
crates.io	toml	`0.9.10+spec-1.1.0`	direct
crates.io	toml	`1.1.4+spec-1.1.0`	direct
crates.io	toml_edit	`—`	direct
crates.io	toml_edit	`0.23.10+spec-1.0.0`	direct
crates.io	tracing	`—`	direct
crates.io	tracing	`0.1.44`	direct
crates.io	tracing-subscriber	`—`	direct
crates.io	unicode-ident	`1.0.22`	direct
crates.io	unicode-ident	`1.0.24`	direct
crates.io	verus_builtin	`0.0.0-2026-08-09-0044`	direct
crates.io	verus_builtin_macros	`0.0.0-2026-08-09-0044`	direct
crates.io	verus_state_machines_macros	`0.0.0-2026-08-02-0125`	direct
crates.io	walkdir	`2.5.0`	direct
crates.io	xshell	`—`	direct
crates.io	yansi	`1.0.1`	direct
crates.io	zip	`8.6.0`	direct
crates.io	adler2	`2.0.1`	indirect
crates.io	aes	`0.9.2`	indirect
crates.io	ahash	`0.8.12`	indirect
crates.io	aho-corasick	`1.1.4`	indirect
crates.io	allocator-api2	`0.2.21`	indirect
crates.io	android_system_properties	`0.1.5`	indirect
crates.io	anstream	`0.6.21`	indirect
crates.io	anstream	`1.0.0`	indirect
crates.io	anstyle	`1.0.13`	indirect
crates.io	anstyle	`1.0.14`	indirect
crates.io	anstyle-parse	`0.2.7`	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	arrayvec	`0.7.8`	indirect
crates.io	atomic-waker	`1.1.2`	indirect
crates.io	autocfg	`1.5.1`	indirect
crates.io	base64	`0.22.1`	indirect
crates.io	bincode	`2.0.1`	indirect
crates.io	bincode_derive-next	`3.1.1`	indirect
crates.io	bitflags	`1.3.2`	indirect
crates.io	bitflags	`2.10.0`	indirect
crates.io	bitflags	`2.13.1`	indirect
crates.io	bitmaps	`2.1.0`	indirect
crates.io	bitmask-enum	`2.2.5`	indirect
crates.io	block-buffer	`0.12.1`	indirect
crates.io	bumpalo	`3.20.3`	indirect
crates.io	bytecount	`0.6.9`	indirect
crates.io	byteorder	`1.5.0`	indirect
crates.io	bytes	`1.12.1`	indirect
crates.io	bzip2	`0.6.1`	indirect
crates.io	camino	`1.2.5`	indirect
crates.io	cargo-platform	`0.3.3`	indirect
crates.io	cc	`1.4.0`	indirect
crates.io	cfg-if	`1.0.4`	indirect
crates.io	chacha20	`0.10.1`	indirect
crates.io	cipher	`0.5.2`	indirect
crates.io	clap_builder	`4.5.53`	indirect
crates.io	clap_builder	`4.6.2`	indirect
crates.io	clap_derive	`4.5.49`	indirect
crates.io	clap_derive	`4.6.4`	indirect
crates.io	clap_lex	`0.7.6`	indirect
crates.io	clap_lex	`1.1.0`	indirect
crates.io	cmov	`0.5.4`	indirect
crates.io	colorchoice	`1.0.4`	indirect
crates.io	colorchoice	`1.0.5`	indirect
crates.io	const-oid	`0.10.2`	indirect
crates.io	constant_time_eq	`0.4.2`	indirect
crates.io	core-foundation	`0.10.1`	indirect
crates.io	core-foundation-sys	`0.8.7`	indirect
crates.io	cpubits	`0.1.1`	indirect
crates.io	cpufeatures	`0.3.0`	indirect
crates.io	crates_io_api	`0.12.0`	indirect
crates.io	crc32fast	`1.5.0`	indirect
crates.io	crypto-common	`0.2.2`	indirect
crates.io	cssparser	`0.27.2`	indirect
crates.io	cssparser-macros	`0.6.1`	indirect
crates.io	ctutils	`0.4.2`	indirect
crates.io	deflate64	`0.1.12`	indirect
crates.io	deranged	`0.5.8`	indirect
crates.io	derive_more	`0.99.20`	indirect
crates.io	diff	`0.1.13`	indirect
crates.io	digest	`0.11.3`	indirect
crates.io	displaydoc	`0.2.7`	indirect
crates.io	dtoa	`1.0.11`	indirect
crates.io	dtoa-short	`0.3.5`	indirect
crates.io	duplicate	`1.0.0`	indirect
crates.io	either	`1.17.0`	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.5.0`	indirect
crates.io	find-msvc-tools	`0.1.9`	indirect
crates.io	fixedbitset	`0.4.2`	indirect
crates.io	fixedbitset	`0.5.7`	indirect
crates.io	flate2	`1.1.9`	indirect
crates.io	fnv	`1.0.7`	indirect
crates.io	foldhash	`0.1.5`	indirect
crates.io	foreign-types	`0.3.2`	indirect
crates.io	foreign-types-shared	`0.1.1`	indirect
crates.io	form_urlencoded	`1.2.2`	indirect
crates.io	futf	`0.1.5`	indirect
crates.io	futures	`0.3.33`	indirect
crates.io	futures-channel	`0.3.33`	indirect
crates.io	futures-core	`0.3.33`	indirect
crates.io	futures-executor	`0.3.33`	indirect
crates.io	futures-io	`0.3.33`	indirect
crates.io	futures-macro	`0.3.33`	indirect
crates.io	futures-sink	`0.3.33`	indirect
crates.io	futures-task	`0.3.33`	indirect
crates.io	futures-util	`0.3.33`	indirect
crates.io	fxhash	`0.2.1`	indirect
crates.io	getrandom	`0.1.16`	indirect
crates.io	getrandom	`0.2.17`	indirect
crates.io	getrandom	`0.4.3`	indirect
crates.io	hashbrown	`0.12.3`	indirect
crates.io	hashbrown	`0.14.5`	indirect
crates.io	hashbrown	`0.15.5`	indirect
crates.io	hashbrown	`0.16.1`	indirect
crates.io	hashbrown	`0.17.1`	indirect
crates.io	heck	`0.4.1`	indirect
crates.io	heck	`0.5.0`	indirect
crates.io	hermit-abi	`0.5.2`	indirect
crates.io	hmac	`0.13.0`	indirect
crates.io	http	`1.5.0`	indirect
crates.io	http-body	`1.1.0`	indirect
crates.io	http-body-util	`0.1.4`	indirect
crates.io	httparse	`1.10.1`	indirect
crates.io	hybrid-array	`0.4.14`	indirect
crates.io	hyper	`1.11.0`	indirect
crates.io	hyper-tls	`0.6.0`	indirect
crates.io	hyper-util	`0.1.20`	indirect
crates.io	iana-time-zone	`0.1.65`	indirect
crates.io	iana-time-zone-haiku	`0.1.2`	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	idna	`1.1.0`	indirect
crates.io	idna_adapter	`1.2.2`	indirect
crates.io	indoc	`2.0.7`	indirect
crates.io	inout	`0.2.2`	indirect
crates.io	insta	`1.48.0`	indirect
crates.io	instant	`0.1.13`	indirect
crates.io	ipnet	`2.12.0`	indirect
crates.io	is_terminal_polyfill	`1.70.2`	indirect
crates.io	itoa	`0.4.8`	indirect
crates.io	itoa	`1.0.17`	indirect
crates.io	itoa	`1.0.18`	indirect
crates.io	jobserver	`0.1.35`	indirect
crates.io	js-sys	`0.3.103`	indirect
crates.io	lasso	`0.7.3`	indirect
crates.io	libbz2-rs-sys	`0.2.5`	indirect
crates.io	libc	`0.2.178`	indirect
crates.io	libc	`0.2.189`	indirect
crates.io	libgit2-sys	`0.18.7+1.9.6`	indirect
crates.io	libredox	`0.1.12`	indirect
crates.io	libz-sys	`1.1.29`	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.33`	indirect
crates.io	lzma-rust2	`0.16.5`	indirect
crates.io	mac	`0.1.1`	indirect
crates.io	markup5ever	`0.11.0`	indirect
crates.io	matches	`0.1.10`	indirect
crates.io	memchr	`2.7.6`	indirect
crates.io	memchr	`2.8.3`	indirect
crates.io	miniz_oxide	`0.8.9`	indirect
crates.io	mio	`1.2.2`	indirect
crates.io	native-tls	`0.2.18`	indirect
crates.io	new_debug_unreachable	`1.0.6`	indirect
crates.io	nodrop	`0.1.14`	indirect
crates.io	nonmax	`0.5.5`	indirect
crates.io	num	`0.4.3`	indirect
crates.io	num-complex	`0.4.6`	indirect
crates.io	num-conv	`0.2.2`	indirect
crates.io	num-integer	`0.1.46`	indirect
crates.io	num-iter	`0.1.46`	indirect
crates.io	num-rational	`0.4.2`	indirect
crates.io	once_cell	`1.21.4`	indirect
crates.io	once_cell_polyfill	`1.70.2`	indirect
crates.io	openssl	`0.10.81`	indirect
crates.io	openssl-macros	`0.1.1`	indirect
crates.io	openssl-probe	`0.2.1`	indirect
crates.io	openssl-sys	`0.9.117`	indirect
crates.io	papergrid	`0.18.0`	indirect
crates.io	parking_lot	`0.11.2`	indirect
crates.io	parking_lot	`0.12.5`	indirect
crates.io	parking_lot_core	`0.8.6`	indirect
crates.io	parking_lot_core	`0.9.12`	indirect
crates.io	pastey	`0.2.3`	indirect
crates.io	pbkdf2	`0.13.0`	indirect
crates.io	percent-encoding	`2.3.2`	indirect
crates.io	phf	`0.10.1`	indirect
crates.io	phf	`0.8.0`	indirect
crates.io	phf_codegen	`0.10.0`	indirect
crates.io	phf_codegen	`0.8.0`	indirect
crates.io	phf_generator	`0.10.0`	indirect
crates.io	phf_generator	`0.11.3`	indirect
crates.io	phf_generator	`0.8.0`	indirect
crates.io	phf_macros	`0.8.0`	indirect
crates.io	phf_shared	`0.10.0`	indirect
crates.io	phf_shared	`0.11.3`	indirect
crates.io	phf_shared	`0.8.0`	indirect
crates.io	pin-project-lite	`0.2.17`	indirect
crates.io	pin-utils	`0.1.0`	indirect
crates.io	pkg-config	`0.3.33`	indirect
crates.io	portable-atomic	`1.14.0`	indirect
crates.io	potential_utf	`0.1.5`	indirect
crates.io	powerfmt	`0.2.0`	indirect
crates.io	ppmd-rust	`1.4.0`	indirect
crates.io	ppv-lite86	`0.2.21`	indirect
crates.io	precomputed-hash	`0.1.1`	indirect
crates.io	pretty_assertions	`—`	indirect
crates.io	pretty_assertions	`1.4.1`	indirect
crates.io	proc-macro-error	`1.0.4`	indirect
crates.io	proc-macro-error-attr	`1.0.4`	indirect
crates.io	proc-macro-error-attr2	`2.0.0`	indirect
crates.io	proc-macro-error2	`2.0.1`	indirect
crates.io	proc-macro-hack	`0.5.20+deprecated`	indirect
crates.io	r-efi	`6.0.0`	indirect
crates.io	rand_chacha	`0.2.2`	indirect
crates.io	rand_chacha	`0.3.1`	indirect
crates.io	rand_core	`0.10.1`	indirect
crates.io	rand_core	`0.5.1`	indirect
crates.io	rand_core	`0.6.4`	indirect
crates.io	rand_hc	`0.2.0`	indirect
crates.io	rand_pcg	`0.2.1`	indirect
crates.io	rand_xoshiro	`0.6.0`	indirect
crates.io	rapidhash	`4.5.1`	indirect
crates.io	redox_syscall	`0.2.16`	indirect
crates.io	redox_syscall	`0.5.18`	indirect
crates.io	redox_syscall	`0.7.0`	indirect
crates.io	regex-automata	`0.4.13`	indirect
crates.io	regex-automata	`0.4.16`	indirect
crates.io	regex-syntax	`0.8.11`	indirect
crates.io	regex-syntax	`0.8.8`	indirect
crates.io	reqwest	`0.12.28`	indirect
crates.io	rustc_version	`0.4.1`	indirect
crates.io	rustix	`1.1.4`	indirect
crates.io	rustls-pki-types	`1.15.1`	indirect
crates.io	rustversion	`1.0.23`	indirect
crates.io	ryu	`1.0.23`	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	selectors	`0.22.0`	indirect
crates.io	semver	`1.0.28`	indirect
crates.io	serde_core	`1.0.228`	indirect
crates.io	serde_core	`1.0.229`	indirect
crates.io	serde_derive	`1.0.228`	indirect
crates.io	serde_derive	`1.0.229`	indirect
crates.io	serde_path_to_error	`0.1.20`	indirect
crates.io	serde_spanned	`1.0.4`	indirect
crates.io	serde_spanned	`1.1.1`	indirect
crates.io	serde_urlencoded	`0.7.1`	indirect
crates.io	servo_arc	`0.1.1`	indirect
crates.io	sha1	`0.11.0`	indirect
crates.io	shlex	`2.0.1`	indirect
crates.io	simd-adler32	`0.3.10`	indirect
crates.io	similar	`2.7.0`	indirect
crates.io	siphasher	`0.3.11`	indirect
crates.io	siphasher	`1.0.3`	indirect
crates.io	sized-chunks	`0.6.5`	indirect
crates.io	slab	`0.4.12`	indirect
crates.io	smallvec	`1.15.2`	indirect
crates.io	socket2	`0.6.5`	indirect
crates.io	stable_deref_trait	`1.2.1`	indirect
crates.io	string_cache	`0.8.9`	indirect
crates.io	string_cache_codegen	`0.5.4`	indirect
crates.io	strsim	`0.11.1`	indirect
crates.io	strum	`0.26.3`	indirect
crates.io	strum_macros	`0.26.4`	indirect
crates.io	sync_wrapper	`1.0.2`	indirect
crates.io	tabled	`0.21.0`	indirect
crates.io	tabled_derive	`0.11.0`	indirect
crates.io	tendril	`0.4.3`	indirect
crates.io	testing_table	`0.3.0`	indirect
crates.io	thin-slice	`0.1.1`	indirect
crates.io	thiserror	`1.0.69`	indirect
crates.io	thiserror	`2.0.19`	indirect
crates.io	thiserror-impl	`1.0.69`	indirect
crates.io	thiserror-impl	`2.0.19`	indirect
crates.io	time	`0.3.54`	indirect
crates.io	time-core	`0.1.9`	indirect
crates.io	tinystr	`0.8.3`	indirect
crates.io	tokio	`1.53.1`	indirect
crates.io	tokio-native-tls	`0.3.1`	indirect
crates.io	toml_datetime	`0.7.5+spec-1.1.0`	indirect
crates.io	toml_datetime	`1.1.1+spec-1.1.0`	indirect
crates.io	toml_parser	`1.0.6+spec-1.1.0`	indirect
crates.io	toml_parser	`1.1.3+spec-1.1.0`	indirect
crates.io	toml_writer	`1.0.6+spec-1.1.0`	indirect
crates.io	toml_writer	`1.1.2+spec-1.1.0`	indirect
crates.io	tower	`0.5.3`	indirect
crates.io	tower-http	`0.6.11`	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	try-lock	`0.2.5`	indirect
crates.io	typed-index-collections	`3.5.0`	indirect
crates.io	typed-path	`0.12.3`	indirect
crates.io	typenum	`1.20.1`	indirect
crates.io	unicode-width	`0.1.14`	indirect
crates.io	unicode-width	`0.2.2`	indirect
crates.io	unit-prefix	`0.5.2`	indirect
crates.io	unty	`0.0.4`	indirect
crates.io	unty-next	`0.1.2`	indirect
crates.io	url	`2.5.8`	indirect
crates.io	utf-8	`0.7.6`	indirect
crates.io	utf8_iter	`1.0.4`	indirect
crates.io	utf8parse	`0.2.2`	indirect
crates.io	vcpkg	`0.2.15`	indirect
crates.io	version_check	`0.9.5`	indirect
crates.io	virtue-next	`0.1.3`	indirect
crates.io	want	`0.3.1`	indirect
crates.io	wasi	`0.11.1+wasi-snapshot-preview1`	indirect
crates.io	wasi	`0.9.0+wasi-snapshot-preview1`	indirect
crates.io	wasm-bindgen	`0.2.126`	indirect
crates.io	wasm-bindgen-futures	`0.4.76`	indirect
crates.io	wasm-bindgen-macro	`0.2.126`	indirect
crates.io	wasm-bindgen-macro-support	`0.2.126`	indirect
crates.io	wasm-bindgen-shared	`0.2.126`	indirect
crates.io	wasm-timer	`0.2.5`	indirect
crates.io	web-sys	`0.3.103`	indirect
crates.io	web-time	`1.1.0`	indirect
crates.io	win32job	`—`	indirect
crates.io	win32job	`1.0.4`	indirect
crates.io	winapi	`0.3.9`	indirect
crates.io	winapi-i686-pc-windows-gnu	`0.4.0`	indirect
crates.io	winapi-util	`0.1.11`	indirect
crates.io	winapi-x86_64-pc-windows-gnu	`0.4.0`	indirect
crates.io	windows-core	`0.62.2`	indirect
crates.io	windows-implement	`0.60.2`	indirect
crates.io	windows-interface	`0.59.3`	indirect
crates.io	windows-link	`0.2.1`	indirect
crates.io	windows-result	`0.4.1`	indirect
crates.io	windows-strings	`0.5.1`	indirect
crates.io	windows-sys	`0.60.2`	indirect
crates.io	windows-sys	`0.61.2`	indirect
crates.io	windows-targets	`0.53.5`	indirect
crates.io	windows_aarch64_gnullvm	`0.53.1`	indirect
crates.io	windows_aarch64_msvc	`0.53.1`	indirect
crates.io	windows_i686_gnu	`0.53.1`	indirect
crates.io	windows_i686_gnullvm	`0.53.1`	indirect
crates.io	windows_i686_msvc	`0.53.1`	indirect
crates.io	windows_x86_64_gnu	`0.53.1`	indirect
crates.io	windows_x86_64_gnullvm	`0.53.1`	indirect
crates.io	windows_x86_64_msvc	`0.53.1`	indirect
crates.io	winnow	`0.7.14`	indirect
crates.io	winnow	`0.7.15`	indirect
crates.io	winnow	`1.0.4`	indirect
crates.io	writeable	`0.6.3`	indirect
crates.io	yoke	`0.8.3`	indirect
crates.io	yoke-derive	`0.8.2`	indirect
crates.io	zerocopy	`0.8.55`	indirect
crates.io	zerocopy-derive	`0.8.55`	indirect
crates.io	zerofrom	`0.1.8`	indirect
crates.io	zerofrom-derive	`0.1.7`	indirect
crates.io	zeroize	`1.9.0`	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	zlib-rs	`0.6.6`	indirect
crates.io	zmij	`1.0.23`	indirect
crates.io	zmij	`1.0.5`	indirect
crates.io	zopfli	`0.8.3`	indirect
crates.io	zstd	`0.13.3`	indirect
crates.io	zstd-safe	`7.2.4`	indirect
crates.io	zstd-sys	`2.0.16+zstd.1.5.7`	indirect
RubyGems	addressable	`2.8.6`	indirect
RubyGems	colorator	`1.1.0`	indirect
RubyGems	concurrent-ruby	`1.2.3`	indirect
RubyGems	em-websocket	`0.5.3`	indirect
RubyGems	eventmachine	`1.2.7`	indirect
RubyGems	ffi	`1.16.3`	indirect
RubyGems	forwardable-extended	`2.6.0`	indirect
RubyGems	google-protobuf	`4.26.1`	indirect
RubyGems	http_parser.rb	`0.8.0`	indirect
RubyGems	i18n	`1.14.4`	indirect
RubyGems	jekyll	`4.3.3`	indirect
RubyGems	jekyll-feed	`0.17.0`	indirect
RubyGems	jekyll-sass-converter	`3.0.0`	indirect
RubyGems	jekyll-watch	`2.2.1`	indirect
RubyGems	kramdown	`2.4.0`	indirect
RubyGems	kramdown-parser-gfm	`1.1.0`	indirect
RubyGems	liquid	`4.0.4`	indirect
RubyGems	listen	`3.9.0`	indirect
RubyGems	mercenary	`0.4.0`	indirect
RubyGems	pathutil	`0.16.2`	indirect
RubyGems	public_suffix	`5.0.5`	indirect
RubyGems	rake	`13.2.1`	indirect
RubyGems	rb-fsevent	`0.11.2`	indirect
RubyGems	rb-inotify	`0.10.1`	indirect
RubyGems	rexml	`3.2.6`	indirect
RubyGems	rouge	`4.2.1`	indirect
RubyGems	safe_yaml	`1.0.5`	indirect
RubyGems	sass-embedded	`1.76.0-x86_64-linux-musl`	indirect
RubyGems	terminal-table	`3.0.2`	indirect
RubyGems	unicode-display_width	`2.5.0`	indirect
RubyGems	webrick	`1.8.1`	indirect

Dependency advisories 15

This repository publishes no package the index resolves, so its own dependency graph was assessed — 452 packages, which also include development and test pins that never ship: 15 carry known advisories, of which 3 are direct. 19 could not be assessed — no resolved version, an unsupported ecosystem, or beyond the reported package list.

Package	Version	Relation	Severity	Advisories	Fixed in
addressable	`2.8.6`	indirect	high	1	`2.9.0`
concurrent-ruby	`1.2.3`	indirect	high	3	`1.3.7`
google-protobuf	`4.26.1`	indirect	high	1	`4.28.2`
rexml	`3.2.6`	indirect	high	6	`3.3.9`
webrick	`1.8.1`	indirect	high	2	`1.8.2`
rand	`0.7.3`	direct	low	2	`0.10.1`
anyhow	`1.0.100`	direct	unknown	1	`1.0.103`
im	`15.1.0`	direct	unknown	2	—
bincode	`2.0.1`	indirect	unknown	1	—
bitmaps	`2.1.0`	indirect	unknown	1	—
fxhash	`0.2.1`	indirect	unknown	1	—
instant	`0.1.13`	indirect	unknown	1	—
proc-macro-error	`1.0.4`	indirect	unknown	1	—
proc-macro-error2	`2.0.1`	indirect	unknown	1	—
sized-chunks	`0.6.5`	indirect	unknown	2	—

An advisory means the version recorded in the dependency graph falls inside an advisory’s affected range. Reachability is not analysed, and the graph includes development and test pins — a finding may concern tooling rather than shipped software.

Raw JSON report machine-readable

Feedback

Spotted something off in this report, or have thoughts to share? Wrong measurements, missed tooling, ideas, questions — anything is welcome. Every message is read and gets a response.

Scores are signals, not warranties. They reflect publicly visible practices on GitHub — not a code audit, and not a security guarantee.

Missing data is excluded and weights renormalized, never scored as zero. Methodology is versioned and open: metrics v2.10.0, schema v0.34.0 — full methodology · metrics wiki.

How one result sits in the wider record: aggregate statistics — crates.io.

Software health index

Score profile

Ownership

Package ecosystems

Metrics by category

Key facts

Data collection warnings

More detail

Feedback

Related records