Software health reportschema 0.34.0 · metrics 2.10.0 · 2026-09-14 08:27 UTC

assura-lang / assura

Contract-first AI-native language. Write what it should do. AI proves it does.

RustMIT★ 6 stars⑂ 2 forkssince Jun 2026View on GitHub ↗

KindLibraryNetwork serviceMCP serverCommand-line toolhow this is determined

#ai #compiler #contracts #formal-verification #programming-language #rust #smt #verification #z3

assura-lang/assura holds a health index of 87 out of 100, placing it in the Excellent band. It scores highest on Security (94/100) and lowest on Community & Adoption (51/100). It was last updated today. A single contributor accounts 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 73 is calibrated to 87 on the published index scale (record calibration 2026-08-02).

Ownership

assura-langOrganization

0 followers2 public repossince Jun 2026

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	assura-ast	0.4.5	677	9	2 days ago	compiler contracts formal-methods smt verification compilers development-tools
crates.io	assura	0.4.5	53	9	2 days ago	compiler contracts formal-methods smt verification compilers development-tools
crates.io	assura-fmt	0.4.5	520	9	2 days ago	compiler contracts formal-methods smt verification compilers development-tools
crates.io	assura-llm	0.4.5	494	8	2 days ago	compiler contracts formal-methods smt verification compilers development-tools
crates.io	assura-lsp	0.4.5	490	8	2 days ago	compiler contracts formal-methods smt verification compilers development-tools
crates.io	assura-mcp	0.4.5	491	8	2 days ago	compiler contracts formal-methods smt verification compilers development-tools
crates.io	assura-smt	0.4.5	567	9	2 days ago	compiler contracts formal-methods smt verification compilers development-tools

Metrics by category

Vitality

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

84Excellent · 21% of overall

Development activity

74Good

How it's scored

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

Inputs used

commits_last_year	1,779
human_commit_share	0.68
days_since_last_push	0
active_weeks_last_year	14

Release discipline

98Exceptional

How it's scored

27/27	Ships releases — 9 releases published
36/36	Release recency — latest release 2 days ago
27/27	Release cadence — a release every ~8.7 days
8/10	OpenSSF Scorecard: Signed-Releases — 5 out of the last 5 releases have a total of 5 signed artifacts.

Inputs used

releases_count	9
latest_release_tag	v0.4.5
releases_from_tags	no
days_since_latest_release	2
mean_days_between_releases	8.7

Community & Adoption

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

51Moderate · 17% of overall

Popularity & adoption

11Critical

How it's scored

11.3/60	Stars — 6 stars
0/25	Forks — 2 forks
0/15	Watchers — 0 watchers

Inputs used

forks	2
stars	6
watchers	0
growth_state	unverified
growth_factor_pct	100
growth_unverified_reason	no_history

Community health

92Excellent

How it's scored

22.5/22.5	README
22.5/22.5	License — recognized license (MIT)
18/18	CONTRIBUTING guide
13.5/13.5	Code of conduct
0/7.2	Issue template
6.3/6.3	PR template

Inputs used

has_readme	yes
has_license	yes
readme_badges	6
has_contributing	yes
has_issue_template	no
has_code_of_conduct	yes
readme_badge_services	github.com, shields.io, www.bestpractices.dev
has_pull_request_template	yes

Ecosystem adoption (downloads)

59Moderate

How it's scored

46.9/80	Monthly downloads — 3,292 downloads/month across crates
0/20	Registry dependents — not reported by this ecosystem

Inputs used

packages	assura-ast, assura, assura-fmt, assura-llm, assura-lsp, assura-mcp, assura-smt
dependents	—
ecosystems	crates
total_downloads	9,883
monthly_downloads	3,292
unverified_packages_excluded	—

Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.

Sustainability & Governance

Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?

59Moderate · 23% of overall

Maintainer resilience (bus factor)

18Critical

How it's scored

9/54	Bus factor — 1 contributor(s) cover half of all commits
0/22.5	Commit distribution — top contributor authored 100% of commits
2.7/13.5	Contributor breadth — 2 contributors
6/10	OpenSSF Scorecard: Contributors — project has 2 contributing companies or organizations -- score normalized to 6

Inputs used

bus_factor	1
contributors_sampled	2
top_contributor_share	0.999

Issue & PR responsiveness

99Exceptional

How it's scored

41.7/42	Issue resolution — 99% of issues closed
29.3/30	PR acceptance — 902/925 decided PRs merged
0/13	Newcomer PR acceptance — no first-time contributor's PR decided in 30d
15/15	OpenSSF Scorecard: Code-Review — all changesets reviewed

Inputs used

merged_prs	902
open_issues	4
closed_issues	668
prs_merged_7d	12
prs_decided_7d	12
prs_merged_30d	41
prs_decided_30d	41
issue_closed_ratio	0.994
closed_unmerged_prs	23
first_time_authors_30d	0
first_time_prs_merged_30d	0
first_time_prs_decided_30d	0

Excluded from scoring (no data or not applicable): Newcomer PR acceptance. Remaining weights renormalized.

Ownership & stewardship

34At Risk

How it's scored

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

Inputs used

followers	0
owner_type	Organization
is_verified	no
owner_login	assura-lang
public_repos	2
account_age_days	95

Package maintenance

100Exceptional

How it's scored

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

Inputs used

packages	assura-ast, assura, assura-fmt, assura-llm, assura-lsp, assura-mcp, assura-smt
ecosystems	crates
any_deprecated	no
min_days_since_publish	2

Engineering Quality

Are baseline engineering and documentation practices in place?

77Good · 19% of overall

Engineering practices

68Good

How it's scored

24/24	CI workflows — 14 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 — 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	no
has_precommit_config	no

Documentation

90Excellent

How it's scored

30/30	README
25/25	Documentation directory
15/15	Documentation / homepage site — https://assura-lang.github.io/assura/
10/10	Repository description
10/10	Topics — 9 topics
0/10	Wiki

Inputs used

topics	ai, compiler, contracts, formal-verification, programming-language, rust, smt, verification, z3
has_wiki	no
homepage	https://assura-lang.github.io/assura/
docs_site	https://assura-lang.github.io/assura/
has_readme	yes
has_docs_dir	yes
has_description	yes

Security

Are visible security and supply-chain practices strong, without unresolved high-risk jurisdiction exposure?

94Exceptional · 16% of overall

Security posture

93Exceptional

How it's scored

7.5/7.5	Binary-Artifacts — no binaries found in the repo
6/7.5	Branch-Protection — branch protection is not maximal on development and all release branches
2.5/2.5	CI-Tests — 30 out of 30 merged PRs checked by a CI test -- score normalized to 10
1.2/2.5	CII-Best-Practices — badge detected: Passing
7.5/7.5	Code-Review — all changesets reviewed
1.5/2.5	Contributors — project has 2 contributing companies or organizations -- score normalized to 6
10/10	Dangerous-Workflow — no dangerous workflow patterns detected
7.5/7.5	Dependency-Update-Tool — 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 30 issue activity found in the last 90 days -- score normalized to 10
0/5	Packaging — no data
4.5/5	Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 9
5/5	SAST — SAST tool is run on all commits
5/5	Security-Policy — security policy file detected
6/7.5	Signed-Releases — 5 out of the last 5 releases have a total of 5 signed artifacts.
7.5/7.5	Token-Permissions — GitHub workflow tokens follow principle of least privilege
6/7.5	Vulnerabilities — 2 existing vulnerabilities detected

Inputs used

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

Excluded from scoring (no data or not applicable): 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	2
affected_packages	1
assessed_packages	778
unassessed_packages	54
affected_by_severity	moderate 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 778 resolved dependencies against OSV. 54 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.

84Excellent · 4% of overall

Agent context & guidance

85Excellent

How it's scored

45/45	Agent instructions — .github/copilot-instructions.md, AGENTS.md
0/15	Machine-readable docs (llms.txt)
40/40	Legible commit history — 68 of 68 human commits state their intent (structured subject or explanatory body)

Inputs used

has_llms_txt	no
llms_txt_url	—
legible_history_share	1
agent_instruction_files	.github/copilot-instructions.md, AGENTS.md
agent_instruction_max_bytes	95,553

Verify loop (build / test / typecheck)

73Good

How it's scored

12.6/18	One-command bootstrap — Cargo.toml, crates/assura-ast/Cargo.toml, crates/assura-bench/Cargo.toml (toolchain convention, no task runner)
22/22	Automated tests
0/11	Lint / format config
11/11	Static type checking — editors/vscode/tsconfig.json
10/10	Reproducible environment — devcontainer, lockfile
0/10	Demonstrated agent practice — no agent-authored commits among the last 100
8/8	Automated maintenance — 25 of the last 100 commits are automated dependency updates
9/10	OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 9

Inputs used

has_nix	no
has_tests	yes
lockfiles	Cargo.lock, package-lock.json
has_dockerfile	no
typed_language	yes
bootstrap_files	—
has_devcontainer	yes
has_linter_config	no
typecheck_configs	editors/vscode/tsconfig.json
agent_commit_share	0
toolchain_manifests	Cargo.toml, crates/assura-ast/Cargo.toml, crates/assura-bench/Cargo.toml, crates/assura-cli/Cargo.toml, crates/assura-codegen/Cargo.toml, crates/assura-config/Cargo.toml, crates/assura-diagnostics/Cargo.toml, crates/assura-driver/Cargo.toml, crates/assura-fmt/Cargo.toml, crates/assura-llm/Cargo.toml, crates/assura-lsp/Cargo.toml, crates/assura-macros/Cargo.toml, crates/assura-mcp/Cargo.toml, crates/assura-parser/Cargo.toml, crates/assura-parser/fuzz/Cargo.toml, crates/assura-pipeline/Cargo.toml, crates/assura-resolve/Cargo.toml, crates/assura-runtime/Cargo.toml, crates/assura-rust-analyzer/Cargo.toml, crates/assura-server/Cargo.toml, crates/assura-smt/Cargo.toml, crates/assura-stdlib/Cargo.toml, crates/assura-test-support/Cargo.toml, crates/assura-types/Cargo.toml, examples/interop-rust/Cargo.toml, fuzz/Cargo.toml
dependency_bot_commit_share	0.25

Code legibility for models

98Exceptional

How it's scored

45/45	Type-checkable code — Rust (statically typed)
53.5/55	Manageable file sizes — 13/477 source files over 60KB

Inputs used

primary_language	Rust
largest_source_bytes	443,388
source_files_sampled	477
oversized_source_files	13

Machine-readable interfaces

100Exceptional

How it's scored

40/40	API schema (OpenAPI/GraphQL/proto) — crates/assura-server/proto/assura.proto
20/20	MCP server
40/40	Runnable examples — demos, examples

Inputs used

example_dirs	demos, examples
has_mcp_signal	yes
api_schema_files	crates/assura-server/proto/assura.proto
interfaces_expected_of	network-service

Key facts

6GitHub stars

2contributors

1,779commits, last 12 months

0days since last push

9releases

1bus factor

4open 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 'assura-bench' from its registry

More detail

Star and fork history 0 ★ / 2 ⇿

0Stars

2Forks

2Releases

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

OpenSSF Scorecard 9.3 / 10

9.3aggregate

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-09-14 08:27 UTC

10	Binary-Artifacts	no binaries found in the repo
8	Branch-Protection	branch protection is not maximal on development and all release branches
10	CI-Tests	30 out of 30 merged PRs checked by a CI test -- score normalized to 10
5	CII-Best-Practices	badge detected: Passing
10	Code-Review	all changesets reviewed
6	Contributors	project has 2 contributing companies or organizations -- score normalized to 6
10	Dangerous-Workflow	no dangerous workflow patterns detected
10	Dependency-Update-Tool	update tool detected
10	Fuzzing	project is fuzzed
10	License	license file detected
10	Maintained	30 commit(s) and 30 issue activity found in the last 90 days -- score normalized to 10
n/a	Packaging	packaging workflow not detected
9	Pinned-Dependencies	dependency not pinned by hash detected -- score normalized to 9
10	SAST	SAST tool is run on all commits
10	Security-Policy	security policy file detected
8	Signed-Releases	5 out of the last 5 releases have a total of 5 signed artifacts.
10	Token-Permissions	GitHub workflow tokens follow principle of least privilege
8	Vulnerabilities	2 existing vulnerabilities detected

Direct dependencies 122

Registry	Package	Version constraint	Manifest
crates.io	assura-parser	`—`	crates/assura-bench/Cargo.toml
crates.io	assura-resolve	`—`	crates/assura-bench/Cargo.toml
crates.io	assura-types	`—`	crates/assura-bench/Cargo.toml
crates.io	assura-codegen	`—`	crates/assura-bench/Cargo.toml
crates.io	assura-pipeline	`—`	crates/assura-bench/Cargo.toml
crates.io	assura-config	`—`	crates/assura-bench/Cargo.toml
crates.io	assura-fmt	`—`	crates/assura-bench/Cargo.toml
crates.io	assura-parser	`0.4.5`	crates/assura-cli/Cargo.toml
crates.io	assura-resolve	`0.4.5`	crates/assura-cli/Cargo.toml
crates.io	assura-types	`0.4.5`	crates/assura-cli/Cargo.toml
crates.io	assura-codegen	`0.4.5`	crates/assura-cli/Cargo.toml
crates.io	assura-smt	`0.4.5`	crates/assura-cli/Cargo.toml
crates.io	assura-diagnostics	`0.4.5`	crates/assura-cli/Cargo.toml
crates.io	assura-config	`0.4.5`	crates/assura-cli/Cargo.toml
crates.io	assura-fmt	`0.4.5`	crates/assura-cli/Cargo.toml
crates.io	clap	`4`	crates/assura-cli/Cargo.toml
crates.io	serde_json	`1`	crates/assura-cli/Cargo.toml
crates.io	notify	`8`	crates/assura-cli/Cargo.toml
crates.io	toml	`1.1`	crates/assura-cli/Cargo.toml
crates.io	clap_complete	`4.6.5`	crates/assura-cli/Cargo.toml
crates.io	assura-lsp	`0.4.5`	crates/assura-cli/Cargo.toml
crates.io	assura-mcp	`0.4.5`	crates/assura-cli/Cargo.toml
crates.io	assura-pipeline	`0.4.5`	crates/assura-cli/Cargo.toml
crates.io	assura-rust-analyzer	`0.4.5`	crates/assura-cli/Cargo.toml
crates.io	assura-llm	`0.4.5`	crates/assura-cli/Cargo.toml
crates.io	syn	`3`	crates/assura-cli/Cargo.toml
crates.io	quote	`1`	crates/assura-cli/Cargo.toml
crates.io	tower-lsp	`0.20`	crates/assura-cli/Cargo.toml
crates.io	tokio	`1.52.3`	crates/assura-cli/Cargo.toml
crates.io	assura-ast	`0.4.5`	crates/assura-codegen/Cargo.toml
crates.io	assura-resolve	`0.4.5`	crates/assura-codegen/Cargo.toml
crates.io	assura-types	`0.4.5`	crates/assura-codegen/Cargo.toml
crates.io	assura-parser	`0.4.5`	crates/assura-codegen/Cargo.toml
crates.io	prettyplease	`0.3`	crates/assura-codegen/Cargo.toml
crates.io	serde	`1`	crates/assura-codegen/Cargo.toml
crates.io	serde_json	`1`	crates/assura-codegen/Cargo.toml
crates.io	syn	`3`	crates/assura-codegen/Cargo.toml
crates.io	serde	`1`	crates/assura-config/Cargo.toml
crates.io	toml	`1.1`	crates/assura-config/Cargo.toml
crates.io	ariadne	`0.6`	crates/assura-diagnostics/Cargo.toml
crates.io	serde	`1`	crates/assura-diagnostics/Cargo.toml
crates.io	serde	`1`	crates/assura-driver/Cargo.toml
crates.io	serde_json	`1`	crates/assura-driver/Cargo.toml
crates.io	assura-parser	`0.4.5`	crates/assura-fmt/Cargo.toml
crates.io	assura-rust-analyzer	`0.4.5`	crates/assura-llm/Cargo.toml
crates.io	serde	`1`	crates/assura-llm/Cargo.toml
crates.io	serde_json	`1`	crates/assura-llm/Cargo.toml
crates.io	sha2	`0.11`	crates/assura-llm/Cargo.toml
crates.io	reqwest	`0.13`	crates/assura-llm/Cargo.toml
crates.io	thiserror	`2`	crates/assura-llm/Cargo.toml
crates.io	assura-parser	`0.4.5`	crates/assura-lsp/Cargo.toml
crates.io	assura-resolve	`0.4.5`	crates/assura-lsp/Cargo.toml
crates.io	assura-types	`0.4.5`	crates/assura-lsp/Cargo.toml
crates.io	assura-fmt	`0.4.5`	crates/assura-lsp/Cargo.toml
crates.io	assura-pipeline	`0.4.5`	crates/assura-lsp/Cargo.toml
crates.io	assura-config	`0.4.5`	crates/assura-lsp/Cargo.toml
crates.io	assura-diagnostics	`0.4.5`	crates/assura-lsp/Cargo.toml
crates.io	assura-rust-analyzer	`0.4.5`	crates/assura-lsp/Cargo.toml
crates.io	tower-lsp	`0.20`	crates/assura-lsp/Cargo.toml
crates.io	tokio	`1`	crates/assura-lsp/Cargo.toml
crates.io	serde	`1`	crates/assura-lsp/Cargo.toml
crates.io	serde_json	`1`	crates/assura-lsp/Cargo.toml
crates.io	dashmap	`6`	crates/assura-lsp/Cargo.toml
crates.io	ropey	`1`	crates/assura-lsp/Cargo.toml
crates.io	syn	`3`	crates/assura-macros/Cargo.toml
crates.io	quote	`1`	crates/assura-macros/Cargo.toml
crates.io	proc-macro2	`1`	crates/assura-macros/Cargo.toml
crates.io	assura-config	`0.4.5`	crates/assura-mcp/Cargo.toml
crates.io	assura-codegen	`0.4.5`	crates/assura-mcp/Cargo.toml
crates.io	assura-diagnostics	`0.4.5`	crates/assura-mcp/Cargo.toml
crates.io	assura-pipeline	`0.4.5`	crates/assura-mcp/Cargo.toml
crates.io	assura-smt	`0.4.5`	crates/assura-mcp/Cargo.toml
crates.io	assura-rust-analyzer	`0.4.5`	crates/assura-mcp/Cargo.toml
crates.io	rmcp	`3.0`	crates/assura-mcp/Cargo.toml
crates.io	serde	`1`	crates/assura-mcp/Cargo.toml
crates.io	serde_json	`1`	crates/assura-mcp/Cargo.toml
crates.io	schemars	`1`	crates/assura-mcp/Cargo.toml
crates.io	assura-ast	`0.4.5`	crates/assura-parser/Cargo.toml
crates.io	assura-diagnostics	`0.4.5`	crates/assura-parser/Cargo.toml
crates.io	logos	`0.16`	crates/assura-parser/Cargo.toml
crates.io	rowan	`0.17`	crates/assura-parser/Cargo.toml
crates.io	assura-parser	`0.4.5`	crates/assura-pipeline/Cargo.toml
crates.io	assura-resolve	`0.4.5`	crates/assura-pipeline/Cargo.toml
crates.io	assura-types	`0.4.5`	crates/assura-pipeline/Cargo.toml
crates.io	assura-smt	`0.4.5`	crates/assura-pipeline/Cargo.toml
crates.io	assura-codegen	`0.4.5`	crates/assura-pipeline/Cargo.toml
crates.io	assura-config	`0.4.5`	crates/assura-pipeline/Cargo.toml
crates.io	assura-diagnostics	`0.4.5`	crates/assura-pipeline/Cargo.toml
crates.io	serde	`1`	crates/assura-pipeline/Cargo.toml
crates.io	serde_json	`1`	crates/assura-pipeline/Cargo.toml
crates.io	assura-parser	`0.4.5`	crates/assura-resolve/Cargo.toml
crates.io	assura-diagnostics	`0.4.5`	crates/assura-resolve/Cargo.toml
crates.io	assura-stdlib	`0.4.5`	crates/assura-resolve/Cargo.toml
crates.io	assura-config	`0.4.5`	crates/assura-resolve/Cargo.toml
crates.io	syn	`3`	crates/assura-rust-analyzer/Cargo.toml
crates.io	proc-macro2	`1`	crates/assura-rust-analyzer/Cargo.toml
crates.io	quote	`1`	crates/assura-rust-analyzer/Cargo.toml
crates.io	thiserror	`2`	crates/assura-rust-analyzer/Cargo.toml
crates.io	assura-diagnostics	`—`	crates/assura-server/Cargo.toml
crates.io	assura-pipeline	`—`	crates/assura-server/Cargo.toml
crates.io	assura-config	`—`	crates/assura-server/Cargo.toml
crates.io	tonic	`0.14`	crates/assura-server/Cargo.toml
crates.io	prost	`0.14`	crates/assura-server/Cargo.toml
crates.io	tonic-prost	`0.14`	crates/assura-server/Cargo.toml
crates.io	tokio	`1`	crates/assura-server/Cargo.toml
crates.io	axum	`0.8`	crates/assura-server/Cargo.toml
crates.io	serde	`1`	crates/assura-server/Cargo.toml
crates.io	serde_json	`1`	crates/assura-server/Cargo.toml
crates.io	tower	`0.5`	crates/assura-server/Cargo.toml
crates.io	tokio-stream	`0.1`	crates/assura-server/Cargo.toml
crates.io	assura-ast	`0.4.5`	crates/assura-smt/Cargo.toml
crates.io	assura-types	`0.4.5`	crates/assura-smt/Cargo.toml
crates.io	assura-config	`0.4.5`	crates/assura-smt/Cargo.toml
crates.io	assura-parser	`0.4.5`	crates/assura-smt/Cargo.toml
crates.io	assura-resolve	`0.4.5`	crates/assura-smt/Cargo.toml
crates.io	z3	`0.20`	crates/assura-smt/Cargo.toml
crates.io	cvc5	`0.4`	crates/assura-smt/Cargo.toml
crates.io	serde	`1`	crates/assura-smt/Cargo.toml
crates.io	serde_json	`1`	crates/assura-smt/Cargo.toml
crates.io	rayon	`1`	crates/assura-smt/Cargo.toml
crates.io	sha2	`0.11`	crates/assura-smt/Cargo.toml
crates.io	assura-parser	`0.4.5`	crates/assura-stdlib/Cargo.toml

All dependencies 832

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

Registry	Package	Version	Relation
crates.io	ariadne	`—`	direct
crates.io	ariadne	`0.6.0`	direct
crates.io	assura-ast	`—`	direct
crates.io	assura-codegen	`—`	direct
crates.io	assura-config	`—`	direct
crates.io	assura-diagnostics	`—`	direct
crates.io	assura-fmt	`—`	direct
crates.io	assura-llm	`—`	direct
crates.io	assura-lsp	`—`	direct
crates.io	assura-mcp	`—`	direct
crates.io	assura-parser	`—`	direct
crates.io	assura-pipeline	`—`	direct
crates.io	assura-resolve	`—`	direct
crates.io	assura-rust-analyzer	`—`	direct
crates.io	assura-smt	`—`	direct
crates.io	assura-stdlib	`—`	direct
crates.io	assura-types	`—`	direct
crates.io	axum	`—`	direct
crates.io	axum	`0.8.9`	direct
crates.io	clap	`—`	direct
crates.io	clap	`4.6.6`	direct
crates.io	clap_complete	`—`	direct
crates.io	clap_complete	`4.6.9`	direct
crates.io	cvc5	`—`	direct
crates.io	cvc5	`0.4.1`	direct
crates.io	dashmap	`—`	direct
crates.io	dashmap	`5.5.3`	direct
crates.io	dashmap	`6.2.1`	direct
crates.io	logos	`—`	direct
crates.io	logos	`0.16.1`	direct
crates.io	notify	`—`	direct
crates.io	notify	`8.2.0`	direct
crates.io	prettyplease	`—`	direct
crates.io	prettyplease	`0.2.37`	direct
crates.io	prettyplease	`0.3.0`	direct
crates.io	proc-macro2	`—`	direct
crates.io	proc-macro2	`1.0.107`	direct
crates.io	prost	`—`	direct
crates.io	prost	`0.14.4`	direct
crates.io	quote	`—`	direct
crates.io	quote	`1.0.47`	direct
crates.io	rayon	`—`	direct
crates.io	rayon	`1.12.0`	direct
crates.io	reqwest	`—`	direct
crates.io	reqwest	`0.12.28`	direct
crates.io	reqwest	`0.13.5`	direct
crates.io	rmcp	`—`	direct
crates.io	rmcp	`3.3.0`	direct
crates.io	ropey	`—`	direct
crates.io	ropey	`1.6.1`	direct
crates.io	rowan	`—`	direct
crates.io	rowan	`0.17.0`	direct
crates.io	schemars	`—`	direct
crates.io	schemars	`1.2.2`	direct
crates.io	serde	`—`	direct
crates.io	serde	`1.0.229`	direct
crates.io	serde_json	`—`	direct
crates.io	serde_json	`1.0.151`	direct
crates.io	sha2	`—`	direct
crates.io	sha2	`0.11.0`	direct
crates.io	syn	`—`	direct
crates.io	syn	`2.0.119`	direct
crates.io	syn	`3.0.5`	direct
crates.io	thiserror	`—`	direct
crates.io	thiserror	`2.0.20`	direct
crates.io	tokio	`—`	direct
crates.io	tokio	`1.53.1`	direct
crates.io	tokio-stream	`—`	direct
crates.io	tokio-stream	`0.1.19`	direct
crates.io	toml	`—`	direct
crates.io	toml	`0.8.23`	direct
crates.io	toml	`1.1.6+spec-1.1.0`	direct
crates.io	tonic	`—`	direct
crates.io	tonic	`0.14.6`	direct
crates.io	tonic-prost	`—`	direct
crates.io	tonic-prost	`0.14.6`	direct
crates.io	tower	`—`	direct
crates.io	tower	`0.4.13`	direct
crates.io	tower	`0.5.3`	direct
crates.io	tower-lsp	`—`	direct
crates.io	tower-lsp	`0.20.0`	direct
crates.io	z3	`—`	direct
crates.io	z3	`0.20.2`	direct
crates.io	adler2	`2.0.1`	indirect
crates.io	aes	`0.9.1`	indirect
crates.io	aho-corasick	`1.1.4`	indirect
crates.io	alloca	`0.4.0`	indirect
crates.io	android_system_properties	`0.1.5`	indirect
crates.io	anes	`0.1.6`	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.103`	indirect
crates.io	assura-runtime	`—`	indirect
crates.io	async-trait	`0.1.89`	indirect
crates.io	atomic-waker	`1.1.2`	indirect
crates.io	auto_impl	`1.3.0`	indirect
crates.io	autocfg	`1.5.1`	indirect
crates.io	axum-core	`0.5.6`	indirect
crates.io	base64	`0.22.1`	indirect
crates.io	base64	`0.23.0`	indirect
crates.io	bindgen	`0.72.1`	indirect
crates.io	bitflags	`1.3.2`	indirect
crates.io	bitflags	`2.13.0`	indirect
crates.io	block-buffer	`0.12.1`	indirect
crates.io	bumpalo	`3.20.3`	indirect
crates.io	bytes	`1.11.1`	indirect
crates.io	bzip2	`0.6.1`	indirect
crates.io	cast	`0.3.0`	indirect
crates.io	cc	`1.2.64`	indirect
crates.io	cexpr	`0.6.0`	indirect
crates.io	cfg-if	`1.0.4`	indirect
crates.io	cfg_aliases	`0.2.1`	indirect
crates.io	chrono	`0.4.45`	indirect
crates.io	ciborium	`0.2.2`	indirect
crates.io	ciborium-io	`0.2.2`	indirect
crates.io	ciborium-ll	`0.2.2`	indirect
crates.io	cipher	`0.5.2`	indirect
crates.io	clang-sys	`1.8.1`	indirect
crates.io	clap_builder	`4.6.6`	indirect
crates.io	clap_derive	`4.6.4`	indirect
crates.io	clap_lex	`1.1.0`	indirect
crates.io	cmov	`0.5.4`	indirect
crates.io	colorchoice	`1.0.5`	indirect
crates.io	console	`0.16.3`	indirect
crates.io	const-oid	`0.10.2`	indirect
crates.io	constant_time_eq	`0.4.2`	indirect
crates.io	convert_case	`0.11.0`	indirect
crates.io	core-foundation	`0.10.1`	indirect
crates.io	core-foundation-sys	`0.8.7`	indirect
crates.io	countme	`3.0.1`	indirect
crates.io	cpubits	`0.1.1`	indirect
crates.io	cpufeatures	`0.3.0`	indirect
crates.io	crc32fast	`1.5.0`	indirect
crates.io	criterion	`—`	indirect
crates.io	criterion	`0.8.2`	indirect
crates.io	criterion-plot	`0.8.2`	indirect
crates.io	crossbeam-deque	`0.8.6`	indirect
crates.io	crossbeam-epoch	`0.9.20`	indirect
crates.io	crossbeam-utils	`0.8.21`	indirect
crates.io	crunchy	`0.2.4`	indirect
crates.io	crypto-common	`0.2.2`	indirect
crates.io	ctutils	`0.4.2`	indirect
crates.io	cvc5-sys	`0.4.0`	indirect
crates.io	darling	`0.24.0`	indirect
crates.io	darling_core	`0.24.0`	indirect
crates.io	darling_macro	`0.24.0`	indirect
crates.io	deflate64	`0.1.12`	indirect
crates.io	deranged	`0.5.8`	indirect
crates.io	digest	`0.11.3`	indirect
crates.io	displaydoc	`0.2.6`	indirect
crates.io	dyn-clone	`1.0.20`	indirect
crates.io	either	`1.16.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.4.1`	indirect
crates.io	find-msvc-tools	`0.1.9`	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	fsevent-sys	`4.1.0`	indirect
crates.io	futures	`0.3.32`	indirect
crates.io	futures-channel	`0.3.32`	indirect
crates.io	futures-core	`0.3.32`	indirect
crates.io	futures-executor	`0.3.32`	indirect
crates.io	futures-io	`0.3.32`	indirect
crates.io	futures-macro	`0.3.32`	indirect
crates.io	futures-sink	`0.3.32`	indirect
crates.io	futures-task	`0.3.32`	indirect
crates.io	futures-util	`0.3.32`	indirect
crates.io	getrandom	`0.2.17`	indirect
crates.io	getrandom	`0.3.4`	indirect
crates.io	getrandom	`0.4.2`	indirect
crates.io	glob	`0.3.3`	indirect
crates.io	h2	`0.4.18`	indirect
crates.io	half	`2.7.1`	indirect
crates.io	hashbrown	`0.14.5`	indirect
crates.io	hashbrown	`0.15.5`	indirect
crates.io	hashbrown	`0.17.1`	indirect
crates.io	heck	`0.5.0`	indirect
crates.io	hmac	`0.13.0`	indirect
crates.io	http	`—`	indirect
crates.io	http	`1.5.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	httpdate	`1.0.3`	indirect
crates.io	hybrid-array	`0.4.12`	indirect
crates.io	hyper	`1.10.1`	indirect
crates.io	hyper-rustls	`0.27.9`	indirect
crates.io	hyper-timeout	`0.5.2`	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	id-arena	`2.3.0`	indirect
crates.io	ident_case	`1.0.1`	indirect
crates.io	idna	`1.1.0`	indirect
crates.io	idna_adapter	`1.2.2`	indirect
crates.io	indexmap	`2.14.0`	indirect
crates.io	inotify	`0.11.2`	indirect
crates.io	inotify-sys	`0.1.5`	indirect
crates.io	inout	`0.2.2`	indirect
crates.io	insta	`—`	indirect
crates.io	insta	`1.48.0`	indirect
crates.io	ipnet	`2.12.0`	indirect
crates.io	is_terminal_polyfill	`1.70.2`	indirect
crates.io	itertools	`0.13.0`	indirect
crates.io	itertools	`0.14.0`	indirect
crates.io	itoa	`1.0.18`	indirect
crates.io	jobserver	`0.1.34`	indirect
crates.io	js-sys	`0.3.102`	indirect
crates.io	kqueue	`1.2.0`	indirect
crates.io	kqueue-sys	`1.1.2`	indirect
crates.io	leb128fmt	`0.1.0`	indirect
crates.io	libbz2-rs-sys	`0.2.5`	indirect
crates.io	libc	`0.2.186`	indirect
crates.io	libfuzzer-sys	`—`	indirect
crates.io	libloading	`0.8.9`	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.32`	indirect
crates.io	logos-codegen	`0.16.1`	indirect
crates.io	logos-derive	`0.16.1`	indirect
crates.io	lru-slab	`0.1.2`	indirect
crates.io	lsp-types	`0.94.1`	indirect
crates.io	lzma-rust2	`0.16.4`	indirect
crates.io	matchit	`0.8.4`	indirect
crates.io	memchr	`2.8.2`	indirect
crates.io	memoffset	`0.9.1`	indirect
crates.io	mime	`0.3.17`	indirect
crates.io	minimal-lexical	`0.2.1`	indirect
crates.io	miniz_oxide	`0.8.9`	indirect
crates.io	mio	`1.2.1`	indirect
crates.io	multimap	`0.10.1`	indirect
crates.io	native-tls	`0.2.18`	indirect
crates.io	nom	`7.1.3`	indirect
crates.io	notify-types	`2.1.0`	indirect
crates.io	num-conv	`0.2.2`	indirect
crates.io	num-traits	`0.2.19`	indirect
crates.io	once_cell	`1.21.4`	indirect
crates.io	once_cell_polyfill	`1.70.2`	indirect
crates.io	oorandom	`11.1.5`	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	page_size	`0.6.0`	indirect
crates.io	parking_lot	`0.12.5`	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	petgraph	`0.8.3`	indirect
crates.io	pin-project	`1.1.13`	indirect
crates.io	pin-project-internal	`1.1.13`	indirect
crates.io	pin-project-lite	`0.2.17`	indirect
crates.io	pkg-config	`0.3.33`	indirect
crates.io	plotters	`0.3.7`	indirect
crates.io	plotters-backend	`0.3.7`	indirect
crates.io	plotters-svg	`0.3.7`	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	prost-build	`0.14.4`	indirect
crates.io	prost-derive	`0.14.4`	indirect
crates.io	prost-types	`0.14.4`	indirect
crates.io	protoc-bin-vendored	`—`	indirect
crates.io	protoc-bin-vendored	`3.2.0`	indirect
crates.io	protoc-bin-vendored-linux-aarch_64	`3.2.0`	indirect
crates.io	protoc-bin-vendored-linux-ppcle_64	`3.2.0`	indirect
crates.io	protoc-bin-vendored-linux-s390_64	`3.2.0`	indirect
crates.io	protoc-bin-vendored-linux-x86_32	`3.2.0`	indirect
crates.io	protoc-bin-vendored-linux-x86_64	`3.2.0`	indirect
crates.io	protoc-bin-vendored-macos-aarch_64	`3.2.0`	indirect
crates.io	protoc-bin-vendored-macos-x86_64	`3.2.0`	indirect
crates.io	protoc-bin-vendored-win32	`3.2.0`	indirect
crates.io	pulldown-cmark	`0.13.4`	indirect
crates.io	pulldown-cmark-to-cmark	`22.0.0`	indirect
crates.io	quinn	`0.11.11`	indirect
crates.io	quinn-proto	`0.11.15`	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	rayon-core	`1.13.0`	indirect
crates.io	redox_syscall	`0.5.18`	indirect
crates.io	ref-cast	`1.0.25`	indirect
crates.io	ref-cast-impl	`1.0.25`	indirect
crates.io	regex	`1.12.4`	indirect
crates.io	regex-automata	`0.4.14`	indirect
crates.io	regex-syntax	`0.8.11`	indirect
crates.io	ring	`0.17.14`	indirect
crates.io	rmcp-macros	`3.3.0`	indirect
crates.io	rustc-hash	`1.1.0`	indirect
crates.io	rustc-hash	`2.1.2`	indirect
crates.io	rustix	`1.1.4`	indirect
crates.io	rustls	`0.23.41`	indirect
crates.io	rustls-pki-types	`1.14.1`	indirect
crates.io	rustls-webpki	`0.103.13`	indirect
crates.io	rustversion	`1.0.22`	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	schemars_derive	`1.2.2`	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	semver	`1.0.28`	indirect
crates.io	serde_core	`1.0.229`	indirect
crates.io	serde_derive	`1.0.229`	indirect
crates.io	serde_derive_internals	`0.30.0`	indirect
crates.io	serde_path_to_error	`0.1.20`	indirect
crates.io	serde_repr	`0.1.20`	indirect
crates.io	serde_spanned	`0.6.9`	indirect
crates.io	serde_spanned	`1.1.1`	indirect
crates.io	serde_urlencoded	`0.7.1`	indirect
crates.io	sha1	`0.11.0`	indirect
crates.io	shlex	`1.3.0`	indirect
crates.io	shlex	`2.0.1`	indirect
crates.io	signal-hook-registry	`1.4.8`	indirect
crates.io	simd-adler32	`0.3.9`	indirect
crates.io	similar	`2.7.0`	indirect
crates.io	slab	`0.4.12`	indirect
crates.io	smallvec	`1.15.2`	indirect
crates.io	socket2	`0.6.4`	indirect
crates.io	stable_deref_trait	`1.2.1`	indirect
crates.io	str_indices	`0.4.4`	indirect
crates.io	strsim	`0.11.1`	indirect
crates.io	subtle	`2.6.1`	indirect
crates.io	sync_wrapper	`1.0.2`	indirect
crates.io	synstructure	`0.13.2`	indirect
crates.io	tempfile	`—`	indirect
crates.io	tempfile	`3.27.0`	indirect
crates.io	text-size	`1.1.1`	indirect
crates.io	thiserror-impl	`2.0.20`	indirect
crates.io	time	`0.3.51`	indirect
crates.io	time-core	`0.1.9`	indirect
crates.io	tinystr	`0.8.3`	indirect
crates.io	tinytemplate	`1.2.1`	indirect
crates.io	tinyvec	`1.11.0`	indirect
crates.io	tinyvec_macros	`0.1.1`	indirect
crates.io	tokio-macros	`2.7.0`	indirect
crates.io	tokio-native-tls	`0.3.1`	indirect
crates.io	tokio-rustls	`0.26.4`	indirect
crates.io	tokio-util	`0.7.18`	indirect
crates.io	toml_datetime	`0.6.11`	indirect
crates.io	toml_datetime	`1.1.1+spec-1.1.0`	indirect
crates.io	toml_edit	`0.22.27`	indirect
crates.io	toml_parser	`1.1.3+spec-1.1.0`	indirect
crates.io	toml_write	`0.1.2`	indirect
crates.io	toml_writer	`1.1.2+spec-1.1.0`	indirect
crates.io	tonic-build	`0.14.6`	indirect
crates.io	tonic-prost-build	`—`	indirect
crates.io	tonic-prost-build	`0.14.6`	indirect
crates.io	tower-http	`0.6.11`	indirect
crates.io	tower-layer	`0.3.3`	indirect
crates.io	tower-lsp-macros	`0.9.0`	indirect
crates.io	tower-service	`0.3.3`	indirect
crates.io	tracing	`0.1.44`	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-path	`0.12.3`	indirect
crates.io	typenum	`1.20.1`	indirect
crates.io	unicase	`2.9.0`	indirect
crates.io	unicode-ident	`1.0.24`	indirect
crates.io	unicode-segmentation	`1.13.3`	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	uuid	`1.24.0`	indirect
crates.io	vcpkg	`0.2.15`	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.4+wasi-0.2.12`	indirect
crates.io	wasip3	`0.4.0+wasi-0.3.0-rc-2026-01-06`	indirect
crates.io	wasm-bindgen	`0.2.125`	indirect
crates.io	wasm-bindgen-futures	`0.4.75`	indirect
crates.io	wasm-bindgen-macro	`0.2.125`	indirect
crates.io	wasm-bindgen-macro-support	`0.2.125`	indirect
crates.io	wasm-bindgen-shared	`0.2.125`	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.102`	indirect
crates.io	web-time	`1.1.0`	indirect
crates.io	webpki-roots	`1.0.8`	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.52.0`	indirect
crates.io	windows-sys	`0.60.2`	indirect
crates.io	windows-sys	`0.61.2`	indirect
crates.io	windows-targets	`0.52.6`	indirect
crates.io	windows-targets	`0.53.5`	indirect
crates.io	windows_aarch64_gnullvm	`0.52.6`	indirect
crates.io	windows_aarch64_gnullvm	`0.53.1`	indirect
crates.io	windows_aarch64_msvc	`0.52.6`	indirect
crates.io	windows_aarch64_msvc	`0.53.1`	indirect
crates.io	windows_i686_gnu	`0.52.6`	indirect
crates.io	windows_i686_gnu	`0.53.1`	indirect
crates.io	windows_i686_gnullvm	`0.52.6`	indirect
crates.io	windows_i686_gnullvm	`0.53.1`	indirect
crates.io	windows_i686_msvc	`0.52.6`	indirect
crates.io	windows_i686_msvc	`0.53.1`	indirect
crates.io	windows_x86_64_gnu	`0.52.6`	indirect
crates.io	windows_x86_64_gnu	`0.53.1`	indirect
crates.io	windows_x86_64_gnullvm	`0.52.6`	indirect
crates.io	windows_x86_64_gnullvm	`0.53.1`	indirect
crates.io	windows_x86_64_msvc	`0.52.6`	indirect
crates.io	windows_x86_64_msvc	`0.53.1`	indirect
crates.io	winnow	`0.7.15`	indirect
crates.io	winnow	`1.0.3`	indirect
crates.io	wit-bindgen	`0.51.0`	indirect
crates.io	wit-bindgen	`0.57.1`	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	yansi	`1.0.1`	indirect
crates.io	yoke	`0.8.3`	indirect
crates.io	yoke-derive	`0.8.2`	indirect
crates.io	z3-sys	`0.11.0`	indirect
crates.io	zerocopy	`0.8.52`	indirect
crates.io	zerocopy-derive	`0.8.52`	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	zip	`8.6.0`	indirect
crates.io	zlib-rs	`0.6.4`	indirect
crates.io	zmij	`1.0.21`	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
npm	@azu/format-text	`1.0.2`	indirect
npm	@azu/style-format	`1.0.1`	indirect
npm	@azure/abort-controller	`2.1.2`	indirect
npm	@azure/core-auth	`1.10.1`	indirect
npm	@azure/core-client	`1.10.2`	indirect
npm	@azure/core-rest-pipeline	`1.24.0`	indirect
npm	@azure/core-tracing	`1.3.1`	indirect
npm	@azure/core-util	`1.13.1`	indirect
npm	@azure/identity	`4.13.1`	indirect
npm	@azure/logger	`1.3.0`	indirect
npm	@azure/msal-browser	`5.16.0`	indirect
npm	@azure/msal-common	`16.11.0`	indirect
npm	@azure/msal-node	`5.3.1`	indirect
npm	@babel/code-frame	`7.29.7`	indirect
npm	@babel/helper-validator-identifier	`7.29.7`	indirect
npm	@nodelib/fs.scandir	`2.1.5`	indirect
npm	@nodelib/fs.stat	`2.0.5`	indirect
npm	@nodelib/fs.walk	`1.2.8`	indirect
npm	@secretlint/config-creator	`10.2.2`	indirect
npm	@secretlint/config-loader	`10.2.2`	indirect
npm	@secretlint/core	`10.2.2`	indirect
npm	@secretlint/formatter	`10.2.2`	indirect
npm	@secretlint/node	`10.2.2`	indirect
npm	@secretlint/profiler	`10.2.2`	indirect
npm	@secretlint/resolver	`10.2.2`	indirect
npm	@secretlint/secretlint-formatter-sarif	`10.2.2`	indirect
npm	@secretlint/secretlint-rule-no-dotenv	`10.2.2`	indirect
npm	@secretlint/secretlint-rule-preset-recommend	`10.2.2`	indirect
npm	@secretlint/source-creator	`10.2.2`	indirect
npm	@secretlint/types	`10.2.2`	indirect
npm	@sindresorhus/merge-streams	`2.3.0`	indirect
npm	@textlint/ast-node-types	`15.7.1`	indirect
npm	@textlint/linter-formatter	`15.7.1`	indirect
npm	@textlint/module-interop	`15.7.1`	indirect
npm	@textlint/resolver	`15.7.1`	indirect
npm	@textlint/types	`15.7.1`	indirect
npm	@types/mocha	`10.0.10`	indirect
npm	@types/node	`26.4.1`	indirect
npm	@types/normalize-package-data	`2.4.4`	indirect
npm	@types/sarif	`2.1.7`	indirect
npm	@types/vscode	`1.137.0`	indirect
npm	@typescript/typescript-aix-ppc64	`7.0.2`	indirect
npm	@typescript/typescript-darwin-arm64	`7.0.2`	indirect
npm	@typescript/typescript-darwin-x64	`7.0.2`	indirect
npm	@typescript/typescript-freebsd-arm64	`7.0.2`	indirect
npm	@typescript/typescript-freebsd-x64	`7.0.2`	indirect
npm	@typescript/typescript-linux-arm	`7.0.2`	indirect
npm	@typescript/typescript-linux-arm64	`7.0.2`	indirect
npm	@typescript/typescript-linux-loong64	`7.0.2`	indirect
npm	@typescript/typescript-linux-mips64el	`7.0.2`	indirect
npm	@typescript/typescript-linux-ppc64	`7.0.2`	indirect
npm	@typescript/typescript-linux-riscv64	`7.0.2`	indirect
npm	@typescript/typescript-linux-s390x	`7.0.2`	indirect
npm	@typescript/typescript-linux-x64	`7.0.2`	indirect
npm	@typescript/typescript-netbsd-arm64	`7.0.2`	indirect
npm	@typescript/typescript-netbsd-x64	`7.0.2`	indirect
npm	@typescript/typescript-openbsd-arm64	`7.0.2`	indirect
npm	@typescript/typescript-openbsd-x64	`7.0.2`	indirect
npm	@typescript/typescript-sunos-x64	`7.0.2`	indirect
npm	@typescript/typescript-win32-arm64	`7.0.2`	indirect
npm	@typescript/typescript-win32-x64	`7.0.2`	indirect
npm	@typespec/ts-http-runtime	`0.3.6`	indirect
npm	@vscode/test-electron	`3.1.0`	indirect
npm	@vscode/vsce	`3.9.2`	indirect
npm	@vscode/vsce-sign	`2.0.9`	indirect
npm	@vscode/vsce-sign-alpine-arm64	`2.0.6`	indirect
npm	@vscode/vsce-sign-alpine-x64	`2.0.6`	indirect
npm	@vscode/vsce-sign-darwin-arm64	`2.0.6`	indirect
npm	@vscode/vsce-sign-darwin-x64	`2.0.6`	indirect
npm	@vscode/vsce-sign-linux-arm	`2.0.6`	indirect
npm	@vscode/vsce-sign-linux-arm64	`2.0.6`	indirect
npm	@vscode/vsce-sign-linux-x64	`2.0.6`	indirect
npm	@vscode/vsce-sign-win32-arm64	`2.0.6`	indirect
npm	@vscode/vsce-sign-win32-x64	`2.0.6`	indirect
npm	agent-base	`7.1.4`	indirect
npm	ajv	`8.20.0`	indirect
npm	ansi-escapes	`7.3.0`	indirect
npm	ansi-regex	`5.0.1`	indirect
npm	ansi-regex	`6.2.2`	indirect
npm	ansi-styles	`4.3.0`	indirect
npm	argparse	`2.0.1`	indirect
npm	astral-regex	`2.0.0`	indirect
npm	asynckit	`0.4.0`	indirect
npm	azure-devops-node-api	`12.5.0`	indirect
npm	balanced-match	`4.0.4`	indirect
npm	base64-js	`1.5.1`	indirect
npm	binaryextensions	`6.11.0`	indirect
npm	bl	`4.1.0`	indirect
npm	boolbase	`1.0.0`	indirect
npm	boundary	`2.0.0`	indirect
npm	brace-expansion	`5.0.9`	indirect
npm	braces	`3.0.3`	indirect
npm	browser-stdout	`1.3.1`	indirect
npm	buffer	`5.7.1`	indirect
npm	buffer-crc32	`0.2.13`	indirect
npm	buffer-equal-constant-time	`1.0.1`	indirect
npm	bundle-name	`4.1.0`	indirect
npm	call-bind-apply-helpers	`1.0.2`	indirect
npm	call-bound	`1.0.4`	indirect
npm	chalk	`4.1.2`	indirect
npm	chalk	`5.6.2`	indirect
npm	cheerio	`1.2.0`	indirect
npm	cheerio-select	`2.1.0`	indirect
npm	chokidar	`5.0.0`	indirect
npm	chownr	`1.1.4`	indirect
npm	cli-cursor	`5.0.0`	indirect
npm	cli-spinners	`2.9.2`	indirect
npm	cockatiel	`3.2.1`	indirect
npm	color-convert	`2.0.1`	indirect
npm	color-name	`1.1.4`	indirect
npm	combined-stream	`1.0.8`	indirect
npm	commander	`12.1.0`	indirect
npm	core-util-is	`1.0.3`	indirect
npm	css-select	`5.2.2`	indirect
npm	css-what	`6.2.2`	indirect
npm	debug	`4.4.3`	indirect
npm	decompress-response	`6.0.0`	indirect
npm	deep-extend	`0.6.0`	indirect
npm	default-browser	`5.5.0`	indirect
npm	default-browser-id	`5.0.1`	indirect
npm	define-lazy-prop	`3.0.0`	indirect
npm	delayed-stream	`1.0.0`	indirect
npm	detect-libc	`2.1.2`	indirect
npm	diff	`8.0.3`	indirect
npm	dom-serializer	`2.0.0`	indirect
npm	domelementtype	`2.3.0`	indirect
npm	domhandler	`5.0.3`	indirect
npm	domutils	`3.2.2`	indirect
npm	dunder-proto	`1.0.1`	indirect
npm	ecdsa-sig-formatter	`1.0.11`	indirect
npm	editions	`6.22.0`	indirect
npm	emoji-regex	`10.6.0`	indirect
npm	emoji-regex	`8.0.0`	indirect
npm	encoding-sniffer	`0.2.1`	indirect
npm	end-of-stream	`1.4.5`	indirect
npm	entities	`4.5.0`	indirect
npm	entities	`6.0.1`	indirect
npm	entities	`7.0.1`	indirect
npm	environment	`1.1.0`	indirect
npm	es-define-property	`1.0.1`	indirect
npm	es-errors	`1.3.0`	indirect
npm	es-object-atoms	`1.1.2`	indirect
npm	es-set-tostringtag	`2.1.0`	indirect
npm	expand-template	`2.0.3`	indirect
npm	fast-deep-equal	`3.1.3`	indirect
npm	fast-glob	`3.3.3`	indirect
npm	fast-uri	`3.1.7`	indirect
npm	fastq	`1.20.1`	indirect
npm	fill-range	`7.1.1`	indirect
npm	find-up	`5.0.0`	indirect
npm	form-data	`4.0.6`	indirect
npm	fs-constants	`1.0.0`	indirect
npm	fs-extra	`11.3.6`	indirect
npm	function-bind	`1.1.2`	indirect
npm	get-east-asian-width	`1.6.0`	indirect
npm	get-intrinsic	`1.3.0`	indirect
npm	get-proto	`1.0.1`	indirect
npm	github-from-package	`0.0.0`	indirect
npm	glob	`13.0.6`	indirect
npm	glob-parent	`5.1.2`	indirect
npm	globby	`14.1.0`	indirect
npm	gopd	`1.2.0`	indirect
npm	graceful-fs	`4.2.11`	indirect
npm	has-flag	`4.0.0`	indirect
npm	has-symbols	`1.1.0`	indirect
npm	has-tostringtag	`1.0.2`	indirect
npm	hasown	`2.0.4`	indirect
npm	hosted-git-info	`4.1.0`	indirect
npm	hosted-git-info	`7.0.2`	indirect
npm	htmlparser2	`10.1.0`	indirect
npm	http-proxy-agent	`7.0.2`	indirect
npm	https-proxy-agent	`7.0.6`	indirect
npm	iconv-lite	`0.6.3`	indirect
npm	ieee754	`1.2.1`	indirect
npm	ignore	`7.0.5`	indirect
npm	immediate	`3.0.6`	indirect
npm	index-to-position	`1.2.0`	indirect
npm	inherits	`2.0.4`	indirect
npm	ini	`1.3.8`	indirect
npm	is-docker	`3.0.0`	indirect
npm	is-extglob	`2.1.1`	indirect
npm	is-fullwidth-code-point	`3.0.0`	indirect
npm	is-glob	`4.0.3`	indirect
npm	is-inside-container	`1.0.0`	indirect
npm	is-interactive	`2.0.0`	indirect
npm	is-number	`7.0.0`	indirect
npm	is-path-inside	`3.0.3`	indirect
npm	is-unicode-supported	`0.1.0`	indirect
npm	is-unicode-supported	`1.3.0`	indirect
npm	is-unicode-supported	`2.1.0`	indirect
npm	is-wsl	`3.1.1`	indirect
npm	isarray	`1.0.0`	indirect
npm	istextorbinary	`9.5.0`	indirect
npm	js-tokens	`4.0.0`	indirect
npm	js-yaml	`4.3.2`	indirect
npm	js-yaml	`5.4.1`	indirect
npm	json-schema-traverse	`1.0.0`	indirect
npm	json5	`2.2.3`	indirect
npm	jsonc-parser	`3.3.1`	indirect
npm	jsonfile	`6.2.1`	indirect
npm	jsonwebtoken	`9.0.3`	indirect
npm	jszip	`3.10.1`	indirect
npm	jwa	`2.0.1`	indirect
npm	jws	`4.0.1`	indirect
npm	keytar	`7.9.0`	indirect
npm	leven	`3.1.0`	indirect
npm	lie	`3.3.0`	indirect
npm	linkify-it	`5.0.2`	indirect
npm	locate-path	`6.0.0`	indirect
npm	lodash	`4.18.1`	indirect
npm	lodash.includes	`4.3.0`	indirect
npm	lodash.isboolean	`3.0.3`	indirect
npm	lodash.isinteger	`4.0.4`	indirect
npm	lodash.isnumber	`3.0.3`	indirect
npm	lodash.isplainobject	`4.0.6`	indirect
npm	lodash.isstring	`4.0.1`	indirect
npm	lodash.once	`4.1.1`	indirect
npm	lodash.truncate	`4.4.2`	indirect
npm	log-symbols	`6.0.0`	indirect
npm	lru-cache	`10.4.3`	indirect
npm	lru-cache	`11.5.1`	indirect
npm	lru-cache	`6.0.0`	indirect
npm	markdown-it	`14.3.0`	indirect
npm	math-intrinsics	`1.1.0`	indirect
npm	mdurl	`2.0.0`	indirect
npm	merge2	`1.4.1`	indirect
npm	micromatch	`4.0.8`	indirect
npm	mime	`1.6.0`	indirect
npm	mime-db	`1.52.0`	indirect
npm	mime-types	`2.1.35`	indirect
npm	mimic-function	`5.0.1`	indirect
npm	mimic-response	`3.1.0`	indirect
npm	minimatch	`10.2.6`	indirect
npm	minimist	`1.2.8`	indirect
npm	minipass	`7.1.3`	indirect
npm	mkdirp-classic	`0.5.3`	indirect
npm	mocha	`12.0.0`	indirect
npm	ms	`2.1.3`	indirect
npm	mute-stream	`0.0.8`	indirect
npm	nan	`2.28.0`	indirect
npm	napi-build-utils	`2.0.0`	indirect
npm	node-abi	`3.94.0`	indirect
npm	node-addon-api	`4.3.0`	indirect
npm	node-sarif-builder	`3.4.0`	indirect
npm	normalize-package-data	`6.0.2`	indirect
npm	nth-check	`2.1.1`	indirect
npm	object-inspect	`1.13.4`	indirect
npm	once	`1.4.0`	indirect
npm	onetime	`7.0.0`	indirect
npm	open	`10.2.0`	indirect
npm	ora	`8.2.0`	indirect
npm	p-limit	`3.1.0`	indirect
npm	p-locate	`5.0.0`	indirect
npm	p-map	`7.0.5`	indirect
npm	pako	`1.0.11`	indirect
npm	parse-json	`8.3.0`	indirect
npm	parse-semver	`1.1.1`	indirect
npm	parse5	`7.3.0`	indirect
npm	parse5-htmlparser2-tree-adapter	`7.1.0`	indirect
npm	parse5-parser-stream	`7.1.2`	indirect
npm	path-exists	`4.0.0`	indirect
npm	path-scurry	`2.0.2`	indirect
npm	path-type	`6.0.0`	indirect
npm	pend	`1.2.0`	indirect
npm	picocolors	`1.1.1`	indirect
npm	picomatch	`2.3.2`	indirect
npm	pluralize	`2.0.0`	indirect
npm	pluralize	`8.0.0`	indirect
npm	prebuild-install	`7.1.3`	indirect
npm	process-nextick-args	`2.0.1`	indirect
npm	pump	`3.0.4`	indirect
npm	punycode.js	`2.3.1`	indirect
npm	qs	`6.15.3`	indirect
npm	queue-microtask	`1.2.3`	indirect
npm	rc	`1.2.8`	indirect
npm	rc-config-loader	`4.1.4`	indirect
npm	read	`1.0.7`	indirect
npm	read-pkg	`9.0.1`	indirect
npm	readable-stream	`2.3.8`	indirect
npm	readable-stream	`3.6.2`	indirect
npm	readdirp	`5.1.1`	indirect
npm	require-from-string	`2.0.2`	indirect
npm	restore-cursor	`5.1.0`	indirect
npm	reusify	`1.1.0`	indirect
npm	run-applescript	`7.1.0`	indirect
npm	run-parallel	`1.2.0`	indirect
npm	safe-buffer	`5.1.2`	indirect
npm	safe-buffer	`5.2.1`	indirect
npm	safer-buffer	`2.1.2`	indirect
npm	sax	`1.6.0`	indirect
npm	secretlint	`10.2.2`	indirect
npm	semver	`5.7.2`	indirect
npm	semver	`7.8.5`	indirect
npm	serialize-javascript	`7.0.5`	indirect
npm	setimmediate	`1.0.5`	indirect
npm	side-channel	`1.1.1`	indirect
npm	side-channel-list	`1.0.1`	indirect
npm	side-channel-map	`1.0.1`	indirect
npm	side-channel-weakmap	`1.0.2`	indirect
npm	signal-exit	`4.1.0`	indirect
npm	simple-concat	`1.0.1`	indirect
npm	simple-get	`4.0.1`	indirect
npm	slash	`5.1.0`	indirect
npm	slice-ansi	`4.0.0`	indirect
npm	spdx-correct	`3.2.0`	indirect
npm	spdx-exceptions	`2.5.0`	indirect
npm	spdx-expression-parse	`3.0.1`	indirect
npm	spdx-license-ids	`3.0.23`	indirect
npm	stdin-discarder	`0.2.2`	indirect
npm	string-width	`4.2.3`	indirect
npm	string-width	`7.2.0`	indirect
npm	string_decoder	`1.1.1`	indirect
npm	strip-ansi	`6.0.1`	indirect
npm	strip-ansi	`7.2.0`	indirect
npm	strip-json-comments	`2.0.1`	indirect
npm	strip-json-comments	`5.0.3`	indirect
npm	structured-source	`4.0.0`	indirect
npm	supports-color	`7.2.0`	indirect
npm	supports-color	`8.1.1`	indirect
npm	supports-hyperlinks	`3.2.0`	indirect
npm	table	`6.9.0`	indirect
npm	tar-fs	`2.1.5`	indirect
npm	tar-stream	`2.2.0`	indirect
npm	terminal-link	`4.0.0`	indirect
npm	text-table	`0.2.0`	indirect
npm	textextensions	`6.11.0`	indirect
npm	tmp	`0.2.7`	indirect
npm	to-regex-range	`5.0.1`	indirect
npm	tree-sitter-cli	`0.27.0`	indirect
npm	tslib	`2.8.1`	indirect
npm	tunnel	`0.0.6`	indirect
npm	tunnel-agent	`0.6.0`	indirect
npm	type-fest	`4.41.0`	indirect
npm	typed-rest-client	`1.8.11`	indirect
npm	typescript	`7.0.2`	indirect
npm	uc.micro	`2.1.0`	indirect
npm	underscore	`1.13.8`	indirect
npm	undici	`7.29.0`	indirect
npm	undici-types	`8.3.0`	indirect
npm	unicorn-magic	`0.1.0`	indirect
npm	unicorn-magic	`0.3.0`	indirect
npm	universalify	`2.0.1`	indirect
npm	url-join	`4.0.1`	indirect
npm	util-deprecate	`1.0.2`	indirect
npm	validate-npm-package-license	`3.0.4`	indirect
npm	version-range	`4.15.0`	indirect
npm	vscode-jsonrpc	`9.0.2`	indirect
npm	vscode-languageclient	`10.1.1`	indirect
npm	vscode-languageserver-protocol	`3.18.3`	indirect
npm	vscode-languageserver-textdocument	`1.0.14`	indirect
npm	vscode-languageserver-types	`3.18.3`	indirect
npm	whatwg-encoding	`3.1.1`	indirect
npm	whatwg-mimetype	`4.0.0`	indirect
npm	workerpool	`10.0.3`	indirect
npm	wrappy	`1.0.2`	indirect
npm	wsl-utils	`0.1.0`	indirect
npm	xml2js	`0.5.0`	indirect
npm	xmlbuilder	`11.0.1`	indirect
npm	yallist	`4.0.0`	indirect
npm	yauzl	`3.4.0`	indirect
npm	yazl	`2.5.1`	indirect
npm	yocto-queue	`0.1.0`	indirect

Dependency advisories 1

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

Package	Version	Relation	Severity	Advisories	Fixed in
qs	`6.15.3`	indirect	moderate	2	`6.16.0`

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