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

Z3Prover / z3

The Z3 Theorem Prover

C++Custom license★ 12,611 stars⑂ 1,688 forkssince Mar 2015View on GitHub ↗

Z3Prover/z3 holds a health index of 87 out of 100, placing it in the Excellent band. It scores highest on Vitality (96/100) and lowest on Sustainability & Governance (61/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

Z3 Theorem ProverOrganization

225 followers11 public repossince Mar 2015

This repository is backed by an organization — shared, accountable stewardship that can outlive any single maintainer.

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 — 2,911 commits in the last year
10/10	OpenSSF Scorecard: Maintained — 30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10

Inputs used

commits_last_year	2,911
human_commit_share	0.99
days_since_last_push	0
active_weeks_last_year	52

Release discipline

90Excellent

How it's scored

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

Inputs used

releases_count	58
latest_release_tag	Nightly
releases_from_tags	no
days_since_latest_release	0
mean_days_between_releases	41.8

Community & Adoption

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

72Good · 17% of overall

Popularity & adoption

97Exceptional

How it's scored

60/60	Stars — 12,611 stars
25/25	Forks — 1,688 forks
12.4/15	Watchers — 174 watchers

Inputs used

forks	1,688
stars	12,611
watchers	174
growth_state	unverified
growth_factor_pct	100
growth_unverified_reason	no_history

Community health

44Weak

How it's scored

22.5/22.5	README
16.9/22.5	License — license file present, not a recognized license
0/18	CONTRIBUTING guide
0/13.5	Code of conduct
0/7.2	Issue template
0/6.3	PR template

Inputs used

has_readme	yes
has_license	yes
readme_badges	28
has_contributing	no
has_issue_template	no
has_code_of_conduct	no
readme_badge_services	github.com
has_pull_request_template	no

Sustainability & Governance

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

61Moderate · 23% of overall

Maintainer resilience (bus factor)

41Weak

How it's scored

9/54	Bus factor — 1 contributor(s) cover half of all commits
8.4/22.5	Commit distribution — top contributor authored 63% of commits
13.5/13.5	Contributor breadth — 96 contributors
10/10	OpenSSF Scorecard: Contributors — project has 47 contributing companies or organizations

Inputs used

bus_factor	1
contributors_sampled	96
top_contributor_share	0.626

Issue & PR responsiveness

79Good

How it's scored

41.7/42	Issue resolution — 99% of issues closed
24.4/30	PR acceptance — 2,517/3,089 decided PRs merged
0/13	Newcomer PR acceptance — no first-time contributor's PR decided in 30d
3/15	OpenSSF Scorecard: Code-Review — Found 5/23 approved changesets -- score normalized to 2

Inputs used

merged_prs	2,517
open_issues	45
closed_issues	6,343
prs_merged_7d	23
prs_decided_7d	26
prs_merged_30d	34
prs_decided_30d	37
issue_closed_ratio	0.993
closed_unmerged_prs	572
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

67Good

How it's scored

30/30	Ownership backing — organization-owned
0/20	Verified domain
16.9/25	Owner reach — 225 followers of Z3Prover
19.9/25	Track record — 11 public repos, account ~11 yr old

Inputs used

followers	225
owner_type	Organization
is_verified	no
owner_login	Z3Prover
public_repos	11
account_age_days	4,172

Engineering Quality

Are baseline engineering and documentation practices in place?

70Good · 19% of overall

Engineering practices

66Good

How it's scored

24/24	CI workflows — 35 workflow(s)
24/24	Tests present
0/16	Linter config
0/9.6	Pre-commit hooks
0/6.4	.editorconfig
18/20	OpenSSF Scorecard: CI-Tests — 25 out of 27 merged PRs checked by a CI test -- score normalized to 9

Inputs used

has_ci	yes
has_tests	yes
has_editorconfig	no
has_linter_config	no
has_precommit_config	no

Documentation

75Good

How it's scored

30/30	README
25/25	Documentation directory
0/15	Documentation / homepage site
10/10	Repository description
0/10	Topics
10/10	Wiki

Inputs used

topics	—
has_wiki	yes
homepage	—
docs_site	—
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?

62Moderate · 16% of overall

Security posture

53Moderate

How it's scored

7.5/7.5	Binary-Artifacts — no binaries found in the repo
0/7.5	Branch-Protection — branch protection not enabled on development/release branches
2.2/2.5	CI-Tests — 25 out of 27 merged PRs checked by a CI test -- score normalized to 9
0/2.5	CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
1.5/7.5	Code-Review — Found 5/23 approved changesets -- score normalized to 2
2.5/2.5	Contributors — project has 47 contributing companies or organizations
10/10	Dangerous-Workflow — no dangerous workflow patterns detected
7.5/7.5	Dependency-Update-Tool — update tool detected
0/5	Fuzzing — project is not fuzzed
2.2/2.5	License — license file detected
7.5/7.5	Maintained — 30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10
5/5	Packaging — packaging workflow detected
2.5/5	Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 5
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
7.5/7.5	Vulnerabilities — 0 existing vulnerabilities detected

Inputs used

source	openssf_scorecard
checks_evaluated	18
scorecard_version	v5.5.0
checks_inconclusive	0
scorecard_aggregate	5.3

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	0
affected_packages	0
assessed_packages	396
unassessed_packages	3
affected_by_severity	none
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 396 resolved dependencies against OSV. 3 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.

89Excellent · 4% of overall

Agent context & guidance

85Excellent

How it's scored

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

Inputs used

has_llms_txt	no
llms_txt_url	—
legible_history_share	0.808
agent_instruction_files	.github/copilot-instructions.md
agent_instruction_max_bytes	6,712

Verify loop (build / test / typecheck)

84Excellent

How it's scored

18/18	One-command bootstrap — contrib/qprofdiff/Makefile
22/22	Automated tests
0/11	Lint / format config
11/11	Static type checking — src/api/js/tsconfig.json
10/10	Reproducible environment — lockfile
10/10	Demonstrated agent practice — 72 of the last 100 commits agent-authored or agent-credited
8/8	Automated maintenance — 1 of the last 100 commits are automated dependency updates
5/10	OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 5

Inputs used

has_nix	no
has_tests	yes
lockfiles	package-lock.json
has_dockerfile	no
typed_language	yes
bootstrap_files	contrib/qprofdiff/Makefile
has_devcontainer	no
has_linter_config	no
typecheck_configs	src/api/js/tsconfig.json
agent_commit_share	0.72
toolchain_manifests	examples/dotnet/dotnet.csproj, examples/go/go.mod, src/api/go/go.mod
dependency_bot_commit_share	0.01

Code legibility for models

98Exceptional

How it's scored

45/45	Type-checkable code — C++ (statically typed)
53.1/55	Manageable file sizes — 82/2,396 source files over 60KB

Inputs used

primary_language	C++
largest_source_bytes	367,434
source_files_sampled	2,396
oversized_source_files	82

Machine-readable interfaces

100Exceptional

How it's scored

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

Inputs used

example_dirs	examples, notebooks
has_mcp_signal	yes
api_schema_files	—
interfaces_expected_of	—

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

Key facts

12,611GitHub stars

96contributors

2,911commits, last 12 months

0days since last push

58releases

1bus factor

45open issues

—package ecosystems

Data collection warnings

Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token

More detail

Star and fork history 0 ★ / 1,688 ⇿

0Stars

1,688Forks

44Releases

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.

Only the most recent history is shown — this repository exceeds the collection window, so the earliest history is not captured.

Major 0Minor 0Patch 0

Each point covers 7 days.

OpenSSF Scorecard 5.3 / 10

5.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-08-27 23:08 UTC

10	Binary-Artifacts	no binaries found in the repo
0	Branch-Protection	branch protection not enabled on development/release branches
9	CI-Tests	25 out of 27 merged PRs checked by a CI test -- score normalized to 9
0	CII-Best-Practices	no effort to earn an OpenSSF best practices badge detected
2	Code-Review	Found 5/23 approved changesets -- score normalized to 2
10	Contributors	project has 47 contributing companies or organizations
10	Dangerous-Workflow	no dangerous workflow patterns detected
10	Dependency-Update-Tool	update tool detected
0	Fuzzing	project is not fuzzed
9	License	license file detected
10	Maintained	30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10
10	Packaging	packaging workflow detected
5	Pinned-Dependencies	dependency not pinned by hash detected -- score normalized to 5
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
10	Vulnerabilities	0 existing vulnerabilities detected

All dependencies 399

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

Registry	Package	Version	Relation
Go	../../src/api/go	`0.0.0`	indirect
npm	@babel/code-frame	`7.29.7`	indirect
npm	@babel/compat-data	`7.29.7`	indirect
npm	@babel/core	`7.29.7`	indirect
npm	@babel/generator	`7.29.8`	indirect
npm	@babel/helper-compilation-targets	`7.29.7`	indirect
npm	@babel/helper-globals	`7.29.7`	indirect
npm	@babel/helper-module-imports	`7.29.7`	indirect
npm	@babel/helper-module-transforms	`7.29.7`	indirect
npm	@babel/helper-plugin-utils	`7.19.0`	indirect
npm	@babel/helper-string-parser	`7.29.7`	indirect
npm	@babel/helper-validator-identifier	`7.29.7`	indirect
npm	@babel/helper-validator-option	`7.29.7`	indirect
npm	@babel/helpers	`7.29.7`	indirect
npm	@babel/parser	`7.29.8`	indirect
npm	@babel/plugin-syntax-async-generators	`7.8.4`	indirect
npm	@babel/plugin-syntax-bigint	`7.8.3`	indirect
npm	@babel/plugin-syntax-class-properties	`7.12.13`	indirect
npm	@babel/plugin-syntax-import-meta	`7.10.4`	indirect
npm	@babel/plugin-syntax-json-strings	`7.8.3`	indirect
npm	@babel/plugin-syntax-logical-assignment-operators	`7.10.4`	indirect
npm	@babel/plugin-syntax-nullish-coalescing-operator	`7.8.3`	indirect
npm	@babel/plugin-syntax-numeric-separator	`7.10.4`	indirect
npm	@babel/plugin-syntax-object-rest-spread	`7.8.3`	indirect
npm	@babel/plugin-syntax-optional-catch-binding	`7.8.3`	indirect
npm	@babel/plugin-syntax-optional-chaining	`7.8.3`	indirect
npm	@babel/plugin-syntax-top-level-await	`7.14.5`	indirect
npm	@babel/plugin-syntax-typescript	`7.18.6`	indirect
npm	@babel/runtime	`7.28.4`	indirect
npm	@babel/template	`7.29.7`	indirect
npm	@babel/traverse	`7.29.8`	indirect
npm	@babel/types	`7.29.8`	indirect
npm	@bcoe/v8-coverage	`0.2.3`	indirect
npm	@cspotcode/source-map-support	`0.8.1`	indirect
npm	@gerrit0/mini-shiki	`1.24.1`	indirect
npm	@istanbuljs/load-nyc-config	`1.1.0`	indirect
npm	@istanbuljs/schema	`0.1.3`	indirect
npm	@jest/console	`28.1.3`	indirect
npm	@jest/core	`28.1.3`	indirect
npm	@jest/environment	`28.1.3`	indirect
npm	@jest/expect	`28.1.3`	indirect
npm	@jest/expect-utils	`28.1.3`	indirect
npm	@jest/fake-timers	`28.1.3`	indirect
npm	@jest/globals	`28.1.3`	indirect
npm	@jest/reporters	`28.1.3`	indirect
npm	@jest/schemas	`28.1.3`	indirect
npm	@jest/source-map	`28.1.2`	indirect
npm	@jest/test-result	`28.1.3`	indirect
npm	@jest/test-sequencer	`28.1.3`	indirect
npm	@jest/transform	`28.1.3`	indirect
npm	@jest/types	`28.1.3`	indirect
npm	@jridgewell/gen-mapping	`0.3.13`	indirect
npm	@jridgewell/remapping	`2.3.5`	indirect
npm	@jridgewell/resolve-uri	`3.1.0`	indirect
npm	@jridgewell/sourcemap-codec	`1.5.5`	indirect
npm	@jridgewell/trace-mapping	`0.3.31`	indirect
npm	@jridgewell/trace-mapping	`0.3.9`	indirect
npm	@shikijs/engine-oniguruma	`1.24.0`	indirect
npm	@shikijs/types	`1.24.0`	indirect
npm	@shikijs/vscode-textmate	`9.3.0`	indirect
npm	@sinclair/typebox	`0.24.46`	indirect
npm	@sinonjs/commons	`1.8.3`	indirect
npm	@sinonjs/fake-timers	`9.1.2`	indirect
npm	@tsconfig/node10	`1.0.9`	indirect
npm	@tsconfig/node12	`1.0.11`	indirect
npm	@tsconfig/node14	`1.0.3`	indirect
npm	@tsconfig/node16	`1.0.3`	indirect
npm	@types/babel__core	`7.1.19`	indirect
npm	@types/babel__generator	`7.6.4`	indirect
npm	@types/babel__template	`7.4.1`	indirect
npm	@types/babel__traverse	`7.18.2`	indirect
npm	@types/graceful-fs	`4.1.5`	indirect
npm	@types/hast	`3.0.4`	indirect
npm	@types/istanbul-lib-coverage	`2.0.4`	indirect
npm	@types/istanbul-lib-report	`3.0.0`	indirect
npm	@types/istanbul-reports	`3.0.1`	indirect
npm	@types/jest	`27.5.2`	indirect
npm	@types/node	`17.0.45`	indirect
npm	@types/prettier	`2.7.1`	indirect
npm	@types/sprintf-js	`1.1.2`	indirect
npm	@types/stack-utils	`2.0.1`	indirect
npm	@types/unist	`3.0.3`	indirect
npm	@types/yargs	`17.0.13`	indirect
npm	@types/yargs-parser	`21.0.0`	indirect
npm	acorn	`8.8.0`	indirect
npm	acorn-walk	`8.2.0`	indirect
npm	ansi-escapes	`4.3.2`	indirect
npm	ansi-regex	`5.0.1`	indirect
npm	ansi-styles	`3.2.1`	indirect
npm	ansi-styles	`4.3.0`	indirect
npm	ansi-styles	`5.2.0`	indirect
npm	anymatch	`3.1.2`	indirect
npm	arg	`4.1.3`	indirect
npm	argparse	`1.0.10`	indirect
npm	argparse	`2.0.1`	indirect
npm	array-back	`4.0.2`	indirect
npm	async-mutex	`0.3.2`	indirect
npm	babel-jest	`28.1.3`	indirect
npm	babel-plugin-istanbul	`6.1.1`	indirect
npm	babel-plugin-jest-hoist	`28.1.3`	indirect
npm	babel-preset-current-node-syntax	`1.0.1`	indirect
npm	babel-preset-jest	`28.1.3`	indirect
npm	balanced-match	`1.0.2`	indirect
npm	baseline-browser-mapping	`2.11.11`	indirect
npm	bluebird	`3.7.2`	indirect
npm	brace-expansion	`1.1.18`	indirect
npm	brace-expansion	`2.1.4`	indirect
npm	braces	`3.0.3`	indirect
npm	browserslist	`4.28.7`	indirect
npm	bs-logger	`0.2.6`	indirect
npm	bser	`2.1.1`	indirect
npm	buffer-from	`1.1.2`	indirect
npm	call-bind	`1.0.2`	indirect
npm	callsites	`3.1.0`	indirect
npm	camelcase	`5.3.1`	indirect
npm	camelcase	`6.3.0`	indirect
npm	caniuse-lite	`1.0.30001806`	indirect
npm	chalk	`2.4.2`	indirect
npm	chalk	`4.1.2`	indirect
npm	char-regex	`1.0.2`	indirect
npm	check-engine	`1.14.0`	indirect
npm	ci-info	`3.5.0`	indirect
npm	cjs-module-lexer	`1.2.2`	indirect
npm	cliui	`8.0.1`	indirect
npm	co	`4.6.0`	indirect
npm	collect-v8-coverage	`1.0.1`	indirect
npm	color-convert	`1.9.3`	indirect
npm	color-convert	`2.0.1`	indirect
npm	color-name	`1.1.3`	indirect
npm	color-name	`1.1.4`	indirect
npm	colors	`1.4.0`	indirect
npm	command-line-usage	`6.1.3`	indirect
npm	concat-map	`0.0.1`	indirect
npm	convert-source-map	`1.9.0`	indirect
npm	convert-source-map	`2.0.0`	indirect
npm	create-require	`1.1.1`	indirect
npm	cross-spawn	`6.0.6`	indirect
npm	cross-spawn	`7.0.6`	indirect
npm	debug	`4.3.4`	indirect
npm	dedent	`0.7.0`	indirect
npm	deep-extend	`0.6.0`	indirect
npm	deepmerge	`4.2.2`	indirect
npm	define-properties	`1.1.4`	indirect
npm	detect-newline	`3.1.0`	indirect
npm	diff	`4.0.4`	indirect
npm	diff-sequences	`27.5.1`	indirect
npm	diff-sequences	`28.1.1`	indirect
npm	electron-to-chromium	`1.5.399`	indirect
npm	emittery	`0.10.2`	indirect
npm	emoji-regex	`8.0.0`	indirect
npm	entities	`4.5.0`	indirect
npm	error-ex	`1.3.2`	indirect
npm	es-abstract	`1.20.1`	indirect
npm	es-to-primitive	`1.2.1`	indirect
npm	escalade	`3.2.0`	indirect
npm	escape-string-regexp	`1.0.5`	indirect
npm	escape-string-regexp	`2.0.0`	indirect
npm	esprima	`4.0.1`	indirect
npm	execa	`5.1.1`	indirect
npm	exit	`0.1.2`	indirect
npm	expect	`28.1.3`	indirect
npm	fast-json-stable-stringify	`2.1.0`	indirect
npm	fb-watchman	`2.0.2`	indirect
npm	fill-range	`7.1.1`	indirect
npm	find-up	`4.1.0`	indirect
npm	fs.realpath	`1.0.0`	indirect
npm	fsevents	`2.3.2`	indirect
npm	function-bind	`1.1.1`	indirect
npm	function.prototype.name	`1.1.5`	indirect
npm	functions-have-names	`1.2.3`	indirect
npm	gensync	`1.0.0-beta.2`	indirect
npm	get-caller-file	`2.0.5`	indirect
npm	get-intrinsic	`1.1.1`	indirect
npm	get-package-type	`0.1.0`	indirect
npm	get-stream	`6.0.1`	indirect
npm	get-symbol-description	`1.0.0`	indirect
npm	glob	`7.2.3`	indirect
npm	graceful-fs	`4.2.10`	indirect
npm	has	`1.0.3`	indirect
npm	has-bigints	`1.0.2`	indirect
npm	has-flag	`3.0.0`	indirect
npm	has-flag	`4.0.0`	indirect
npm	has-property-descriptors	`1.0.0`	indirect
npm	has-symbols	`1.0.3`	indirect
npm	has-tostringtag	`1.0.0`	indirect
npm	hosted-git-info	`2.8.9`	indirect
npm	html-escaper	`2.0.2`	indirect
npm	human-signals	`2.1.0`	indirect
npm	import-local	`3.1.0`	indirect
npm	imurmurhash	`0.1.4`	indirect
npm	inflight	`1.0.6`	indirect
npm	inherits	`2.0.4`	indirect
npm	internal-slot	`1.0.3`	indirect
npm	is-arrayish	`0.2.1`	indirect
npm	is-bigint	`1.0.4`	indirect
npm	is-boolean-object	`1.1.2`	indirect
npm	is-callable	`1.2.4`	indirect
npm	is-core-module	`2.9.0`	indirect
npm	is-date-object	`1.0.5`	indirect
npm	is-fullwidth-code-point	`3.0.0`	indirect
npm	is-generator-fn	`2.1.0`	indirect
npm	is-negative-zero	`2.0.2`	indirect
npm	is-number	`7.0.0`	indirect
npm	is-number-object	`1.0.7`	indirect
npm	is-regex	`1.1.4`	indirect
npm	is-shared-array-buffer	`1.0.2`	indirect
npm	is-stream	`2.0.1`	indirect
npm	is-string	`1.0.7`	indirect
npm	is-symbol	`1.0.4`	indirect
npm	is-weakref	`1.0.2`	indirect
npm	isexe	`2.0.0`	indirect
npm	istanbul-lib-coverage	`3.2.0`	indirect
npm	istanbul-lib-instrument	`5.2.1`	indirect
npm	istanbul-lib-report	`3.0.0`	indirect
npm	istanbul-lib-source-maps	`4.0.1`	indirect
npm	istanbul-reports	`3.1.5`	indirect
npm	iter-tools	`7.5.0`	indirect
npm	jest	`28.1.3`	indirect
npm	jest-changed-files	`28.1.3`	indirect
npm	jest-circus	`28.1.3`	indirect
npm	jest-cli	`28.1.3`	indirect
npm	jest-config	`28.1.3`	indirect
npm	jest-diff	`27.5.1`	indirect
npm	jest-diff	`28.1.3`	indirect
npm	jest-docblock	`28.1.1`	indirect
npm	jest-each	`28.1.3`	indirect
npm	jest-environment-node	`28.1.3`	indirect
npm	jest-get-type	`27.5.1`	indirect
npm	jest-get-type	`28.0.2`	indirect
npm	jest-haste-map	`28.1.3`	indirect
npm	jest-leak-detector	`28.1.3`	indirect
npm	jest-matcher-utils	`27.5.1`	indirect
npm	jest-matcher-utils	`28.1.3`	indirect
npm	jest-message-util	`28.1.3`	indirect
npm	jest-mock	`28.1.3`	indirect
npm	jest-pnp-resolver	`1.2.2`	indirect
npm	jest-regex-util	`28.0.2`	indirect
npm	jest-resolve	`28.1.3`	indirect
npm	jest-resolve-dependencies	`28.1.3`	indirect
npm	jest-runner	`28.1.3`	indirect
npm	jest-runtime	`28.1.3`	indirect
npm	jest-snapshot	`28.1.3`	indirect
npm	jest-util	`28.1.3`	indirect
npm	jest-validate	`28.1.3`	indirect
npm	jest-watcher	`28.1.3`	indirect
npm	jest-worker	`28.1.3`	indirect
npm	js-tokens	`4.0.0`	indirect
npm	js-yaml	`3.15.1`	indirect
npm	jsesc	`3.1.0`	indirect
npm	json-parse-better-errors	`1.0.2`	indirect
npm	json-parse-even-better-errors	`2.3.1`	indirect
npm	json5	`2.2.3`	indirect
npm	jsonfile	`6.1.0`	indirect
npm	kleur	`3.0.3`	indirect
npm	leven	`3.1.0`	indirect
npm	lines-and-columns	`1.2.4`	indirect
npm	linkify-it	`5.0.2`	indirect
npm	load-json-file	`4.0.0`	indirect
npm	locate-path	`5.0.0`	indirect
npm	lodash.memoize	`4.1.2`	indirect
npm	lru-cache	`5.1.1`	indirect
npm	lru-cache	`6.0.0`	indirect
npm	lunr	`2.3.9`	indirect
npm	make-dir	`3.1.0`	indirect
npm	make-error	`1.3.6`	indirect
npm	makeerror	`1.0.12`	indirect
npm	markdown-it	`14.2.0`	indirect
npm	mdurl	`2.0.0`	indirect
npm	memorystream	`0.3.1`	indirect
npm	merge-stream	`2.0.0`	indirect
npm	micromatch	`4.0.8`	indirect
npm	mimic-fn	`2.1.0`	indirect
npm	minimatch	`3.1.5`	indirect
npm	minimatch	`9.0.9`	indirect
npm	ms	`2.1.2`	indirect
npm	natural-compare	`1.4.0`	indirect
npm	nice-try	`1.0.5`	indirect
npm	node-int64	`0.4.0`	indirect
npm	node-releases	`2.0.51`	indirect
npm	normalize-package-data	`2.5.0`	indirect
npm	normalize-path	`3.0.0`	indirect
npm	npm-run-all	`4.1.5`	indirect
npm	npm-run-path	`4.0.1`	indirect
npm	object-inspect	`1.12.1`	indirect
npm	object-keys	`1.1.1`	indirect
npm	object.assign	`4.1.2`	indirect
npm	once	`1.4.0`	indirect
npm	onetime	`5.1.2`	indirect
npm	p-limit	`2.3.0`	indirect
npm	p-limit	`3.1.0`	indirect
npm	p-locate	`4.1.0`	indirect
npm	p-try	`2.2.0`	indirect
npm	parse-json	`4.0.0`	indirect
npm	parse-json	`5.2.0`	indirect
npm	path-exists	`4.0.0`	indirect
npm	path-is-absolute	`1.0.1`	indirect
npm	path-key	`2.0.1`	indirect
npm	path-key	`3.1.1`	indirect
npm	path-parse	`1.0.7`	indirect
npm	path-type	`3.0.0`	indirect
npm	picocolors	`1.1.1`	indirect
npm	picomatch	`2.3.2`	indirect
npm	pidtree	`0.3.1`	indirect
npm	pify	`3.0.0`	indirect
npm	pirates	`4.0.5`	indirect
npm	pkg-dir	`4.2.0`	indirect
npm	prettier	`3.4.2`	indirect
npm	pretty-format	`27.5.1`	indirect
npm	pretty-format	`28.1.3`	indirect
npm	prompts	`2.4.2`	indirect
npm	punycode.js	`2.3.1`	indirect
npm	react-is	`17.0.2`	indirect
npm	react-is	`18.2.0`	indirect
npm	read-pkg	`3.0.0`	indirect
npm	reduce-flatten	`2.0.0`	indirect
npm	regexp.prototype.flags	`1.4.3`	indirect
npm	require-directory	`2.1.1`	indirect
npm	resolve	`1.22.0`	indirect
npm	resolve-cwd	`3.0.0`	indirect
npm	resolve-from	`5.0.0`	indirect
npm	resolve.exports	`1.1.0`	indirect
npm	rimraf	`3.0.2`	indirect
npm	semver	`5.7.2`	indirect
npm	semver	`6.3.1`	indirect
npm	semver	`7.5.4`	indirect
npm	semver	`7.6.3`	indirect
npm	shebang-command	`1.2.0`	indirect
npm	shebang-command	`2.0.0`	indirect
npm	shebang-regex	`1.0.0`	indirect
npm	shebang-regex	`3.0.0`	indirect
npm	shell-quote	`1.10.0`	indirect
npm	side-channel	`1.0.4`	indirect
npm	signal-exit	`3.0.7`	indirect
npm	sisteransi	`1.0.5`	indirect
npm	slash	`3.0.0`	indirect
npm	source-map	`0.6.1`	indirect
npm	source-map-support	`0.5.13`	indirect
npm	spdx-correct	`3.1.1`	indirect
npm	spdx-exceptions	`2.3.0`	indirect
npm	spdx-expression-parse	`3.0.1`	indirect
npm	spdx-license-ids	`3.0.11`	indirect
npm	sprintf-js	`1.0.3`	indirect
npm	sprintf-js	`1.1.2`	indirect
npm	stack-utils	`2.0.5`	indirect
npm	string-length	`4.0.2`	indirect
npm	string-width	`4.2.3`	indirect
npm	string.prototype.padend	`3.1.3`	indirect
npm	string.prototype.trimend	`1.0.5`	indirect
npm	string.prototype.trimstart	`1.0.5`	indirect
npm	strip-ansi	`6.0.1`	indirect
npm	strip-bom	`3.0.0`	indirect
npm	strip-bom	`4.0.0`	indirect
npm	strip-final-newline	`2.0.0`	indirect
npm	strip-json-comments	`3.1.1`	indirect
npm	supports-color	`5.5.0`	indirect
npm	supports-color	`7.2.0`	indirect
npm	supports-color	`8.1.1`	indirect
npm	supports-hyperlinks	`2.3.0`	indirect
npm	supports-preserve-symlinks-flag	`1.0.0`	indirect
npm	table-layout	`1.0.2`	indirect
npm	terminal-link	`2.1.1`	indirect
npm	test-exclude	`6.0.0`	indirect
npm	tmpl	`1.0.5`	indirect
npm	to-regex-range	`5.0.1`	indirect
npm	ts-expect	`1.3.0`	indirect
npm	ts-jest	`28.0.8`	indirect
npm	ts-node	`10.9.1`	indirect
npm	tslib	`2.4.0`	indirect
npm	type-detect	`4.0.8`	indirect
npm	type-fest	`0.21.3`	indirect
npm	typedoc	`0.27.3`	indirect
npm	typescript	`5.7.2`	indirect
npm	typical	`5.2.0`	indirect
npm	uc.micro	`2.1.0`	indirect
npm	unbox-primitive	`1.0.2`	indirect
npm	universalify	`2.0.1`	indirect
npm	update-browserslist-db	`1.2.3`	indirect
npm	v8-compile-cache-lib	`3.0.1`	indirect
npm	v8-to-istanbul	`9.0.1`	indirect
npm	validate-npm-package-license	`3.0.4`	indirect
npm	walker	`1.0.8`	indirect
npm	which	`1.3.1`	indirect
npm	which	`2.0.2`	indirect
npm	which-boxed-primitive	`1.0.2`	indirect
npm	wordwrapjs	`4.0.1`	indirect
npm	wrap-ansi	`7.0.0`	indirect
npm	wrappy	`1.0.2`	indirect
npm	write-file-atomic	`4.0.2`	indirect
npm	y18n	`5.0.8`	indirect
npm	yallist	`3.1.1`	indirect
npm	yallist	`4.0.0`	indirect
npm	yaml	`2.9.0`	indirect
npm	yargs	`17.7.1`	indirect
npm	yargs-parser	`21.1.1`	indirect
npm	yn	`3.1.1`	indirect
npm	yocto-queue	`0.1.0`	indirect
NuGet	Microsoft.Z3	`—`	indirect
PyPI	importlib-resources	`—`	indirect
PyPI	setuptools	`—`	indirect

Dependency advisories 0

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

No known advisories affect the assessed dependencies.

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

Raw JSON report machine-readable

Feedback

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

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

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

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