Public recordGood
Software health reportschema 0.12.0 · metrics 1.13.0 · 2026-07-18 13:29 UTC
Z3Prover / z3
The Z3 Theorem Prover
Z3Prover/z3 holds a health index of 70 out of 100, placing it in the Good band. It scores highest on Vitality (96/100) and lowest on Security (52/100). It was last updated today. A single contributor accounts for most of its recent work.
70
overall / 100Software health index
Metrics are grouped into weighted categories on one standardized 1–100 scale. Overall starts as their weighted mean; when public evidence triggers the High-Risk Jurisdiction Policy, the rating is adjusted and receives an At risk ceiling of 49. AI Readiness sits outside the overall score.
70
Excellent85-100Exemplary; meets essentially all checked criteria
Good70-84Healthy; minor gaps
Moderate50-69Acceptable with notable gaps; review recommended
At risk30-49Significant weaknesses; adoption warrants caution
Critical1-29Severe 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.
Ownership
Z3 Theorem ProverOrganization
224 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?
96
Development activity
100Excellent
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,699 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,699 |
| human_commit_share | — |
| days_since_last_push | 0 |
| active_weeks_last_year | 52 |
Release discipline
90Excellent
How it's scored
| 27/27 | Ships releases — 57 releases published |
| 36/36 | Release recency — latest release 1 days ago |
| 27/27 | Release cadence — a release every ~42.9 days |
| 0/10 | OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases. |
Inputs used
| releases_count | 57 |
| latest_release_tag | Nightly |
| releases_from_tags | no |
| days_since_latest_release | 1 |
| mean_days_between_releases | 42.9 |
Community & Adoption
Does the project have users, downloads, attention, and a welcoming setup for contributors?
72
Popularity & adoption
97Excellent
How it's scored
| 60/60 | Stars — 12,458 stars |
| 25/25 | Forks — 1,677 forks |
| 12.4/15 | Watchers — 174 watchers |
Inputs used
| forks | 1,677 |
| stars | 12,458 |
| watchers | 174 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Community health
44At risk
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 |
| has_contributing | no |
| has_issue_template | no |
| has_code_of_conduct | no |
| has_pull_request_template | no |
Sustainability & Governance
Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?
61
Maintainer resilience (bus factor)
42At risk
How it's scored
| 9/54 | Bus factor — 1 contributor(s) cover half of all commits |
| 9.2/22.5 | Commit distribution — top contributor authored 59% of commits |
| 13.5/13.5 | Contributor breadth — 100 contributors |
| 10/10 | OpenSSF Scorecard: Contributors — project has 48 contributing companies or organizations |
Inputs used
| bus_factor | 1 |
| contributors_sampled | 100 |
| top_contributor_share | 0.591 |
How it's scored
| 46.1/46.8 | Issue resolution — 99% of issues closed |
| 31.3/38.3 | PR acceptance — 2,308/2,818 decided PRs merged |
| 0/15 | OpenSSF Scorecard: Code-Review — Found 1/19 approved changesets -- score normalized to 0 |
Inputs used
| merged_prs | 2,308 |
| open_issues | 80 |
| closed_issues | 6,201 |
| issue_closed_ratio | 0.987 |
| closed_unmerged_prs | 510 |
Ownership & stewardship
67Moderate
How it's scored
| 30/30 | Ownership backing — organization-owned |
| 0/20 | Verified domain |
| 16.9/25 | Owner reach — 224 followers of Z3Prover |
| 19.9/25 | Track record — 11 public repos, account ~11 yr old |
Inputs used
| followers | 224 |
| owner_type | Organization |
| is_verified | — |
| owner_login | Z3Prover |
| public_repos | 11 |
| account_age_days | 4,131 |
Engineering Quality
Are baseline engineering and documentation practices in place?
67
Engineering practices
62Moderate
How it's scored
| 24/24 | CI workflows — 42 workflow(s) |
| 24/24 | Tests present |
| 0/16 | Linter config |
| 0/9.6 | Pre-commit hooks |
| 0/6.4 | .editorconfig |
| 14/20 | OpenSSF Scorecard: CI-Tests — 11 out of 15 merged PRs checked by a CI test -- score normalized to 7 |
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 | — |
| 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?
52
Security posture
52Moderate
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 |
| 1.8/2.5 | CI-Tests — 11 out of 15 merged PRs checked by a CI test -- score normalized to 7 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 0/7.5 | Code-Review — Found 1/19 approved changesets -- score normalized to 0 |
| 2.5/2.5 | Contributors — project has 48 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 |
| 3/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 6 |
| 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.2 |
AI Readiness
How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score.
78
Agent context & guidance
75Good
How it's scored
| 45/45 | Agent instructions — .github/copilot-instructions.md |
| 0/15 | Machine-readable docs (llms.txt) |
| 0/40 | Legible commit history — no data |
Inputs used
| has_llms_txt | no |
| legible_history_share | — |
| agent_instruction_files | .github/copilot-instructions.md |
| agent_instruction_max_bytes | 6,712 |
Excluded from scoring (no data or not applicable): Legible commit history. Remaining weights renormalized.
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 |
| 0/10 | Demonstrated agent practice — no data |
| 5/8 | Automated maintenance — dependency automation configured, none observed in the sampled commits |
| 6/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 6 |
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 | — |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Excluded from scoring (no data or not applicable): Demonstrated agent practice. Remaining weights renormalized.
Code legibility for models
98Excellent
How it's scored
| 45/45 | Type-checkable code — C++ (statically typed) |
| 53.1/55 | Manageable file sizes — 84/2,373 source files over 60KB |
Inputs used
| primary_language | C++ |
| largest_source_bytes | 366,916 |
| source_files_sampled | 2,373 |
| oversized_source_files | 84 |
Machine-readable interfaces
60Moderate
How it's scored
| 0/40 | API schema (OpenAPI/GraphQL/proto) |
| 20/20 | MCP server |
| 40/40 | Runnable examples — examples, notebooks |
Inputs used
| example_dirs | examples, notebooks |
| has_mcp_signal | yes |
| api_schema_files | — |
Key facts
12,458GitHub stars
100contributors
2,699commits, last 12 months
0days since last push
57releases
1bus factor
80open issues
—package ecosystems
More detail
OpenSSF Scorecard 5.2 / 10
5.2aggregate
Independent, tool-agnostic security assessment from the open-source OpenSSF Scorecard. Each check rewards a security practice, not a specific vendor's tool. Checks Scorecard could not determine are marked n/a and excluded from the security score (never counted as zero).
| 10 | Binary-Artifacts | no binaries found in the repo |
| 0 | Branch-Protection | branch protection not enabled on development/release branches |
| 7 | CI-Tests | 11 out of 15 merged PRs checked by a CI test -- score normalized to 7 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 0 | Code-Review | Found 1/19 approved changesets -- score normalized to 0 |
| 10 | Contributors | project has 48 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 |
| 6 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 6 |
| 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 406
Full resolved dependency set from the GitHub dependency graph: 0 direct and 406 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 | @ampproject/remapping | 2.2.0 | indirect |
| npm | @babel/code-frame | 7.27.1 | indirect |
| npm | @babel/compat-data | 7.19.4 | indirect |
| npm | @babel/core | 7.19.3 | indirect |
| npm | @babel/generator | 7.19.5 | indirect |
| npm | @babel/generator | 7.23.0 | indirect |
| npm | @babel/helper-compilation-targets | 7.19.3 | indirect |
| npm | @babel/helper-environment-visitor | 7.18.9 | indirect |
| npm | @babel/helper-environment-visitor | 7.22.20 | indirect |
| npm | @babel/helper-function-name | 7.23.0 | indirect |
| npm | @babel/helper-hoist-variables | 7.22.5 | indirect |
| npm | @babel/helper-module-imports | 7.18.6 | indirect |
| npm | @babel/helper-module-transforms | 7.19.0 | indirect |
| npm | @babel/helper-plugin-utils | 7.19.0 | indirect |
| npm | @babel/helper-simple-access | 7.19.4 | indirect |
| npm | @babel/helper-split-export-declaration | 7.18.6 | indirect |
| npm | @babel/helper-split-export-declaration | 7.22.6 | indirect |
| npm | @babel/helper-string-parser | 7.27.1 | indirect |
| npm | @babel/helper-validator-identifier | 7.28.5 | indirect |
| npm | @babel/helper-validator-option | 7.18.6 | indirect |
| npm | @babel/helpers | 7.28.4 | indirect |
| npm | @babel/parser | 7.28.5 | 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.27.2 | indirect |
| npm | @babel/traverse | 7.23.2 | indirect |
| npm | @babel/types | 7.28.5 | 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.1.1 | indirect |
| npm | @jridgewell/gen-mapping | 0.3.2 | indirect |
| npm | @jridgewell/gen-mapping | 0.3.3 | indirect |
| npm | @jridgewell/resolve-uri | 3.1.0 | indirect |
| npm | @jridgewell/set-array | 1.1.2 | indirect |
| npm | @jridgewell/sourcemap-codec | 1.4.14 | indirect |
| npm | @jridgewell/trace-mapping | 0.3.17 | 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 | bluebird | 3.7.2 | indirect |
| npm | brace-expansion | 1.1.12 | indirect |
| npm | brace-expansion | 2.0.2 | indirect |
| npm | braces | 3.0.3 | indirect |
| npm | browserslist | 4.21.4 | 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.30001419 | 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 | 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.2 | indirect |
| npm | diff-sequences | 27.5.1 | indirect |
| npm | diff-sequences | 28.1.1 | indirect |
| npm | electron-to-chromium | 1.4.282 | 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.1.1 | 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 | globals | 11.12.0 | 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.14.2 | indirect |
| npm | jsesc | 2.5.2 | 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.1 | 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 | 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.6 | 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.8.4 | 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.0.10 | 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 | 4.0.0 | indirect |
| npm | yaml | 2.6.1 | 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 |
Raw JSON report machine-readable
{
"data": {
"repo": {
"topics": [],
"is_fork": false,
"size_kb": 189154,
"has_wiki": true,
"homepage": null,
"languages": {
"C": 459735,
"D": 14886,
"C#": 645354,
"Go": 153241,
"C++": 23505143,
"SMT": 30234,
"Java": 440971,
"CMake": 192722,
"OCaml": 250679,
"Shell": 1206,
"CodeQL": 1454,
"Python": 855078,
"Makefile": 103,
"Starlark": 2602,
"Batchfile": 2979,
"Dockerfile": 974,
"JavaScript": 1169,
"TypeScript": 471011
},
"pushed_at": "2026-07-18T02:55:25Z",
"created_at": "2015-03-26T18:16:07Z",
"owner_type": "Organization",
"updated_at": "2026-07-18T07:47:01Z",
"description": "The Z3 Theorem Prover",
"is_archived": false,
"is_disabled": false,
"license_spdx": null,
"default_branch": "master",
"primary_language": "C++",
"significant_languages": [
"C++"
]
},
"owner": {
"blog": null,
"name": "Z3 Theorem Prover",
"type": "Organization",
"login": "Z3Prover",
"company": null,
"followers": 224,
"avatar_url": "https://avatars.githubusercontent.com/u/11668813?v=4",
"created_at": "2015-03-26T18:14:25Z",
"is_verified": null,
"public_repos": 11,
"account_age_days": 4131
},
"activity": {
"releases_count": 57,
"commits_last_year": 2699,
"latest_release_at": "2026-07-17T04:03:05Z",
"latest_release_tag": "Nightly",
"releases_from_tags": false,
"days_since_last_push": 0,
"active_weeks_last_year": 52,
"days_since_latest_release": 1,
"mean_days_between_releases": 42.9
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": false,
"health_percentage": 37,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"ecosystem": {
"packages": []
},
"popularity": {
"forks": 1677,
"stars": 12458,
"watchers": 174,
"open_issues_and_prs": 85
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [
"examples",
"notebooks"
],
"has_llms_txt": false,
"has_dockerfile": false,
"has_mcp_signal": true,
"bootstrap_files": [
"contrib/qprofdiff/Makefile"
],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [
"src/api/js/tsconfig.json"
],
"largest_source_bytes": 366916,
"source_files_sampled": 2373,
"oversized_source_files": 84,
"agent_instruction_files": [
".github/copilot-instructions.md"
],
"agent_instruction_max_bytes": 6712
},
"dependencies": {
"manifests": [],
"ecosystems": [],
"dependencies": [],
"all_dependencies": {
"error": null,
"source": "github-sbom",
"packages": [
{
"name": "../../src/api/go",
"direct": false,
"version": "0.0.0",
"ecosystem": "go"
},
{
"name": "@ampproject/remapping",
"direct": false,
"version": "2.2.0",
"ecosystem": "npm"
},
{
"name": "@babel/code-frame",
"direct": false,
"version": "7.27.1",
"ecosystem": "npm"
},
{
"name": "@babel/compat-data",
"direct": false,
"version": "7.19.4",
"ecosystem": "npm"
},
{
"name": "@babel/core",
"direct": false,
"version": "7.19.3",
"ecosystem": "npm"
},
{
"name": "@babel/generator",
"direct": false,
"version": "7.19.5",
"ecosystem": "npm"
},
{
"name": "@babel/generator",
"direct": false,
"version": "7.23.0",
"ecosystem": "npm"
},
{
"name": "@babel/helper-compilation-targets",
"direct": false,
"version": "7.19.3",
"ecosystem": "npm"
},
{
"name": "@babel/helper-environment-visitor",
"direct": false,
"version": "7.18.9",
"ecosystem": "npm"
},
{
"name": "@babel/helper-environment-visitor",
"direct": false,
"version": "7.22.20",
"ecosystem": "npm"
},
{
"name": "@babel/helper-function-name",
"direct": false,
"version": "7.23.0",
"ecosystem": "npm"
},
{
"name": "@babel/helper-hoist-variables",
"direct": false,
"version": "7.22.5",
"ecosystem": "npm"
},
{
"name": "@babel/helper-module-imports",
"direct": false,
"version": "7.18.6",
"ecosystem": "npm"
},
{
"name": "@babel/helper-module-transforms",
"direct": false,
"version": "7.19.0",
"ecosystem": "npm"
},
{
"name": "@babel/helper-plugin-utils",
"direct": false,
"version": "7.19.0",
"ecosystem": "npm"
},
{
"name": "@babel/helper-simple-access",
"direct": false,
"version": "7.19.4",
"ecosystem": "npm"
},
{
"name": "@babel/helper-split-export-declaration",
"direct": false,
"version": "7.18.6",
"ecosystem": "npm"
},
{
"name": "@babel/helper-split-export-declaration",
"direct": false,
"version": "7.22.6",
"ecosystem": "npm"
},
{
"name": "@babel/helper-string-parser",
"direct": false,
"version": "7.27.1",
"ecosystem": "npm"
},
{
"name": "@babel/helper-validator-identifier",
"direct": false,
"version": "7.28.5",
"ecosystem": "npm"
},
{
"name": "@babel/helper-validator-option",
"direct": false,
"version": "7.18.6",
"ecosystem": "npm"
},
{
"name": "@babel/helpers",
"direct": false,
"version": "7.28.4",
"ecosystem": "npm"
},
{
"name": "@babel/parser",
"direct": false,
"version": "7.28.5",
"ecosystem": "npm"
},
{
"name": "@babel/plugin-syntax-async-generators",
"direct": false,
"version": "7.8.4",
"ecosystem": "npm"
},
{
"name": "@babel/plugin-syntax-bigint",
"direct": false,
"version": "7.8.3",
"ecosystem": "npm"
},
{
"name": "@babel/plugin-syntax-class-properties",
"direct": false,
"version": "7.12.13",
"ecosystem": "npm"
},
{
"name": "@babel/plugin-syntax-import-meta",
"direct": false,
"version": "7.10.4",
"ecosystem": "npm"
},
{
"name": "@babel/plugin-syntax-json-strings",
"direct": false,
"version": "7.8.3",
"ecosystem": "npm"
},
{
"name": "@babel/plugin-syntax-logical-assignment-operators",
"direct": false,
"version": "7.10.4",
"ecosystem": "npm"
},
{
"name": "@babel/plugin-syntax-nullish-coalescing-operator",
"direct": false,
"version": "7.8.3",
"ecosystem": "npm"
},
{
"name": "@babel/plugin-syntax-numeric-separator",
"direct": false,
"version": "7.10.4",
"ecosystem": "npm"
},
{
"name": "@babel/plugin-syntax-object-rest-spread",
"direct": false,
"version": "7.8.3",
"ecosystem": "npm"
},
{
"name": "@babel/plugin-syntax-optional-catch-binding",
"direct": false,
"version": "7.8.3",
"ecosystem": "npm"
},
{
"name": "@babel/plugin-syntax-optional-chaining",
"direct": false,
"version": "7.8.3",
"ecosystem": "npm"
},
{
"name": "@babel/plugin-syntax-top-level-await",
"direct": false,
"version": "7.14.5",
"ecosystem": "npm"
},
{
"name": "@babel/plugin-syntax-typescript",
"direct": false,
"version": "7.18.6",
"ecosystem": "npm"
},
{
"name": "@babel/runtime",
"direct": false,
"version": "7.28.4",
"ecosystem": "npm"
},
{
"name": "@babel/template",
"direct": false,
"version": "7.27.2",
"ecosystem": "npm"
},
{
"name": "@babel/traverse",
"direct": false,
"version": "7.23.2",
"ecosystem": "npm"
},
{
"name": "@babel/types",
"direct": false,
"version": "7.28.5",
"ecosystem": "npm"
},
{
"name": "@bcoe/v8-coverage",
"direct": false,
"version": "0.2.3",
"ecosystem": "npm"
},
{
"name": "@cspotcode/source-map-support",
"direct": false,
"version": "0.8.1",
"ecosystem": "npm"
},
{
"name": "@gerrit0/mini-shiki",
"direct": false,
"version": "1.24.1",
"ecosystem": "npm"
},
{
"name": "@istanbuljs/load-nyc-config",
"direct": false,
"version": "1.1.0",
"ecosystem": "npm"
},
{
"name": "@istanbuljs/schema",
"direct": false,
"version": "0.1.3",
"ecosystem": "npm"
},
{
"name": "@jest/console",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "@jest/core",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "@jest/environment",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "@jest/expect",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "@jest/expect-utils",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "@jest/fake-timers",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "@jest/globals",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "@jest/reporters",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "@jest/schemas",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "@jest/source-map",
"direct": false,
"version": "28.1.2",
"ecosystem": "npm"
},
{
"name": "@jest/test-result",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "@jest/test-sequencer",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "@jest/transform",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "@jest/types",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "@jridgewell/gen-mapping",
"direct": false,
"version": "0.1.1",
"ecosystem": "npm"
},
{
"name": "@jridgewell/gen-mapping",
"direct": false,
"version": "0.3.2",
"ecosystem": "npm"
},
{
"name": "@jridgewell/gen-mapping",
"direct": false,
"version": "0.3.3",
"ecosystem": "npm"
},
{
"name": "@jridgewell/resolve-uri",
"direct": false,
"version": "3.1.0",
"ecosystem": "npm"
},
{
"name": "@jridgewell/set-array",
"direct": false,
"version": "1.1.2",
"ecosystem": "npm"
},
{
"name": "@jridgewell/sourcemap-codec",
"direct": false,
"version": "1.4.14",
"ecosystem": "npm"
},
{
"name": "@jridgewell/trace-mapping",
"direct": false,
"version": "0.3.17",
"ecosystem": "npm"
},
{
"name": "@jridgewell/trace-mapping",
"direct": false,
"version": "0.3.9",
"ecosystem": "npm"
},
{
"name": "@shikijs/engine-oniguruma",
"direct": false,
"version": "1.24.0",
"ecosystem": "npm"
},
{
"name": "@shikijs/types",
"direct": false,
"version": "1.24.0",
"ecosystem": "npm"
},
{
"name": "@shikijs/vscode-textmate",
"direct": false,
"version": "9.3.0",
"ecosystem": "npm"
},
{
"name": "@sinclair/typebox",
"direct": false,
"version": "0.24.46",
"ecosystem": "npm"
},
{
"name": "@sinonjs/commons",
"direct": false,
"version": "1.8.3",
"ecosystem": "npm"
},
{
"name": "@sinonjs/fake-timers",
"direct": false,
"version": "9.1.2",
"ecosystem": "npm"
},
{
"name": "@tsconfig/node10",
"direct": false,
"version": "1.0.9",
"ecosystem": "npm"
},
{
"name": "@tsconfig/node12",
"direct": false,
"version": "1.0.11",
"ecosystem": "npm"
},
{
"name": "@tsconfig/node14",
"direct": false,
"version": "1.0.3",
"ecosystem": "npm"
},
{
"name": "@tsconfig/node16",
"direct": false,
"version": "1.0.3",
"ecosystem": "npm"
},
{
"name": "@types/babel__core",
"direct": false,
"version": "7.1.19",
"ecosystem": "npm"
},
{
"name": "@types/babel__generator",
"direct": false,
"version": "7.6.4",
"ecosystem": "npm"
},
{
"name": "@types/babel__template",
"direct": false,
"version": "7.4.1",
"ecosystem": "npm"
},
{
"name": "@types/babel__traverse",
"direct": false,
"version": "7.18.2",
"ecosystem": "npm"
},
{
"name": "@types/graceful-fs",
"direct": false,
"version": "4.1.5",
"ecosystem": "npm"
},
{
"name": "@types/hast",
"direct": false,
"version": "3.0.4",
"ecosystem": "npm"
},
{
"name": "@types/istanbul-lib-coverage",
"direct": false,
"version": "2.0.4",
"ecosystem": "npm"
},
{
"name": "@types/istanbul-lib-report",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "@types/istanbul-reports",
"direct": false,
"version": "3.0.1",
"ecosystem": "npm"
},
{
"name": "@types/jest",
"direct": false,
"version": "27.5.2",
"ecosystem": "npm"
},
{
"name": "@types/node",
"direct": false,
"version": "17.0.45",
"ecosystem": "npm"
},
{
"name": "@types/prettier",
"direct": false,
"version": "2.7.1",
"ecosystem": "npm"
},
{
"name": "@types/sprintf-js",
"direct": false,
"version": "1.1.2",
"ecosystem": "npm"
},
{
"name": "@types/stack-utils",
"direct": false,
"version": "2.0.1",
"ecosystem": "npm"
},
{
"name": "@types/unist",
"direct": false,
"version": "3.0.3",
"ecosystem": "npm"
},
{
"name": "@types/yargs",
"direct": false,
"version": "17.0.13",
"ecosystem": "npm"
},
{
"name": "@types/yargs-parser",
"direct": false,
"version": "21.0.0",
"ecosystem": "npm"
},
{
"name": "acorn",
"direct": false,
"version": "8.8.0",
"ecosystem": "npm"
},
{
"name": "acorn-walk",
"direct": false,
"version": "8.2.0",
"ecosystem": "npm"
},
{
"name": "ansi-escapes",
"direct": false,
"version": "4.3.2",
"ecosystem": "npm"
},
{
"name": "ansi-regex",
"direct": false,
"version": "5.0.1",
"ecosystem": "npm"
},
{
"name": "ansi-styles",
"direct": false,
"version": "3.2.1",
"ecosystem": "npm"
},
{
"name": "ansi-styles",
"direct": false,
"version": "4.3.0",
"ecosystem": "npm"
},
{
"name": "ansi-styles",
"direct": false,
"version": "5.2.0",
"ecosystem": "npm"
},
{
"name": "anymatch",
"direct": false,
"version": "3.1.2",
"ecosystem": "npm"
},
{
"name": "arg",
"direct": false,
"version": "4.1.3",
"ecosystem": "npm"
},
{
"name": "argparse",
"direct": false,
"version": "1.0.10",
"ecosystem": "npm"
},
{
"name": "argparse",
"direct": false,
"version": "2.0.1",
"ecosystem": "npm"
},
{
"name": "array-back",
"direct": false,
"version": "4.0.2",
"ecosystem": "npm"
},
{
"name": "async-mutex",
"direct": false,
"version": "0.3.2",
"ecosystem": "npm"
},
{
"name": "babel-jest",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "babel-plugin-istanbul",
"direct": false,
"version": "6.1.1",
"ecosystem": "npm"
},
{
"name": "babel-plugin-jest-hoist",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "babel-preset-current-node-syntax",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "babel-preset-jest",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "balanced-match",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "bluebird",
"direct": false,
"version": "3.7.2",
"ecosystem": "npm"
},
{
"name": "brace-expansion",
"direct": false,
"version": "1.1.12",
"ecosystem": "npm"
},
{
"name": "brace-expansion",
"direct": false,
"version": "2.0.2",
"ecosystem": "npm"
},
{
"name": "braces",
"direct": false,
"version": "3.0.3",
"ecosystem": "npm"
},
{
"name": "browserslist",
"direct": false,
"version": "4.21.4",
"ecosystem": "npm"
},
{
"name": "bs-logger",
"direct": false,
"version": "0.2.6",
"ecosystem": "npm"
},
{
"name": "bser",
"direct": false,
"version": "2.1.1",
"ecosystem": "npm"
},
{
"name": "buffer-from",
"direct": false,
"version": "1.1.2",
"ecosystem": "npm"
},
{
"name": "call-bind",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "callsites",
"direct": false,
"version": "3.1.0",
"ecosystem": "npm"
},
{
"name": "camelcase",
"direct": false,
"version": "5.3.1",
"ecosystem": "npm"
},
{
"name": "camelcase",
"direct": false,
"version": "6.3.0",
"ecosystem": "npm"
},
{
"name": "caniuse-lite",
"direct": false,
"version": "1.0.30001419",
"ecosystem": "npm"
},
{
"name": "chalk",
"direct": false,
"version": "2.4.2",
"ecosystem": "npm"
},
{
"name": "chalk",
"direct": false,
"version": "4.1.2",
"ecosystem": "npm"
},
{
"name": "char-regex",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "check-engine",
"direct": false,
"version": "1.14.0",
"ecosystem": "npm"
},
{
"name": "ci-info",
"direct": false,
"version": "3.5.0",
"ecosystem": "npm"
},
{
"name": "cjs-module-lexer",
"direct": false,
"version": "1.2.2",
"ecosystem": "npm"
},
{
"name": "cliui",
"direct": false,
"version": "8.0.1",
"ecosystem": "npm"
},
{
"name": "co",
"direct": false,
"version": "4.6.0",
"ecosystem": "npm"
},
{
"name": "collect-v8-coverage",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "color-convert",
"direct": false,
"version": "1.9.3",
"ecosystem": "npm"
},
{
"name": "color-convert",
"direct": false,
"version": "2.0.1",
"ecosystem": "npm"
},
{
"name": "color-name",
"direct": false,
"version": "1.1.3",
"ecosystem": "npm"
},
{
"name": "color-name",
"direct": false,
"version": "1.1.4",
"ecosystem": "npm"
},
{
"name": "colors",
"direct": false,
"version": "1.4.0",
"ecosystem": "npm"
},
{
"name": "command-line-usage",
"direct": false,
"version": "6.1.3",
"ecosystem": "npm"
},
{
"name": "concat-map",
"direct": false,
"version": "0.0.1",
"ecosystem": "npm"
},
{
"name": "convert-source-map",
"direct": false,
"version": "1.9.0",
"ecosystem": "npm"
},
{
"name": "create-require",
"direct": false,
"version": "1.1.1",
"ecosystem": "npm"
},
{
"name": "cross-spawn",
"direct": false,
"version": "6.0.6",
"ecosystem": "npm"
},
{
"name": "cross-spawn",
"direct": false,
"version": "7.0.6",
"ecosystem": "npm"
},
{
"name": "debug",
"direct": false,
"version": "4.3.4",
"ecosystem": "npm"
},
{
"name": "dedent",
"direct": false,
"version": "0.7.0",
"ecosystem": "npm"
},
{
"name": "deep-extend",
"direct": false,
"version": "0.6.0",
"ecosystem": "npm"
},
{
"name": "deepmerge",
"direct": false,
"version": "4.2.2",
"ecosystem": "npm"
},
{
"name": "define-properties",
"direct": false,
"version": "1.1.4",
"ecosystem": "npm"
},
{
"name": "detect-newline",
"direct": false,
"version": "3.1.0",
"ecosystem": "npm"
},
{
"name": "diff",
"direct": false,
"version": "4.0.2",
"ecosystem": "npm"
},
{
"name": "diff-sequences",
"direct": false,
"version": "27.5.1",
"ecosystem": "npm"
},
{
"name": "diff-sequences",
"direct": false,
"version": "28.1.1",
"ecosystem": "npm"
},
{
"name": "electron-to-chromium",
"direct": false,
"version": "1.4.282",
"ecosystem": "npm"
},
{
"name": "emittery",
"direct": false,
"version": "0.10.2",
"ecosystem": "npm"
},
{
"name": "emoji-regex",
"direct": false,
"version": "8.0.0",
"ecosystem": "npm"
},
{
"name": "entities",
"direct": false,
"version": "4.5.0",
"ecosystem": "npm"
},
{
"name": "error-ex",
"direct": false,
"version": "1.3.2",
"ecosystem": "npm"
},
{
"name": "es-abstract",
"direct": false,
"version": "1.20.1",
"ecosystem": "npm"
},
{
"name": "es-to-primitive",
"direct": false,
"version": "1.2.1",
"ecosystem": "npm"
},
{
"name": "escalade",
"direct": false,
"version": "3.1.1",
"ecosystem": "npm"
},
{
"name": "escape-string-regexp",
"direct": false,
"version": "1.0.5",
"ecosystem": "npm"
},
{
"name": "escape-string-regexp",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "esprima",
"direct": false,
"version": "4.0.1",
"ecosystem": "npm"
},
{
"name": "execa",
"direct": false,
"version": "5.1.1",
"ecosystem": "npm"
},
{
"name": "exit",
"direct": false,
"version": "0.1.2",
"ecosystem": "npm"
},
{
"name": "expect",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "fast-json-stable-stringify",
"direct": false,
"version": "2.1.0",
"ecosystem": "npm"
},
{
"name": "fb-watchman",
"direct": false,
"version": "2.0.2",
"ecosystem": "npm"
},
{
"name": "fill-range",
"direct": false,
"version": "7.1.1",
"ecosystem": "npm"
},
{
"name": "find-up",
"direct": false,
"version": "4.1.0",
"ecosystem": "npm"
},
{
"name": "fs.realpath",
"direct": false,
"version": "1.0.0",
"ecosystem": "npm"
},
{
"name": "fsevents",
"direct": false,
"version": "2.3.2",
"ecosystem": "npm"
},
{
"name": "function-bind",
"direct": false,
"version": "1.1.1",
"ecosystem": "npm"
},
{
"name": "function.prototype.name",
"direct": false,
"version": "1.1.5",
"ecosystem": "npm"
},
{
"name": "functions-have-names",
"direct": false,
"version": "1.2.3",
"ecosystem": "npm"
},
{
"name": "gensync",
"direct": false,
"version": "1.0.0-beta.2",
"ecosystem": "npm"
},
{
"name": "get-caller-file",
"direct": false,
"version": "2.0.5",
"ecosystem": "npm"
},
{
"name": "get-intrinsic",
"direct": false,
"version": "1.1.1",
"ecosystem": "npm"
},
{
"name": "get-package-type",
"direct": false,
"version": "0.1.0",
"ecosystem": "npm"
},
{
"name": "get-stream",
"direct": false,
"version": "6.0.1",
"ecosystem": "npm"
},
{
"name": "get-symbol-description",
"direct": false,
"version": "1.0.0",
"ecosystem": "npm"
},
{
"name": "glob",
"direct": false,
"version": "7.2.3",
"ecosystem": "npm"
},
{
"name": "globals",
"direct": false,
"version": "11.12.0",
"ecosystem": "npm"
},
{
"name": "graceful-fs",
"direct": false,
"version": "4.2.10",
"ecosystem": "npm"
},
{
"name": "has",
"direct": false,
"version": "1.0.3",
"ecosystem": "npm"
},
{
"name": "has-bigints",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "has-flag",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "has-flag",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "has-property-descriptors",
"direct": false,
"version": "1.0.0",
"ecosystem": "npm"
},
{
"name": "has-symbols",
"direct": false,
"version": "1.0.3",
"ecosystem": "npm"
},
{
"name": "has-tostringtag",
"direct": false,
"version": "1.0.0",
"ecosystem": "npm"
},
{
"name": "hosted-git-info",
"direct": false,
"version": "2.8.9",
"ecosystem": "npm"
},
{
"name": "html-escaper",
"direct": false,
"version": "2.0.2",
"ecosystem": "npm"
},
{
"name": "human-signals",
"direct": false,
"version": "2.1.0",
"ecosystem": "npm"
},
{
"name": "import-local",
"direct": false,
"version": "3.1.0",
"ecosystem": "npm"
},
{
"name": "imurmurhash",
"direct": false,
"version": "0.1.4",
"ecosystem": "npm"
},
{
"name": "inflight",
"direct": false,
"version": "1.0.6",
"ecosystem": "npm"
},
{
"name": "inherits",
"direct": false,
"version": "2.0.4",
"ecosystem": "npm"
},
{
"name": "internal-slot",
"direct": false,
"version": "1.0.3",
"ecosystem": "npm"
},
{
"name": "is-arrayish",
"direct": false,
"version": "0.2.1",
"ecosystem": "npm"
},
{
"name": "is-bigint",
"direct": false,
"version": "1.0.4",
"ecosystem": "npm"
},
{
"name": "is-boolean-object",
"direct": false,
"version": "1.1.2",
"ecosystem": "npm"
},
{
"name": "is-callable",
"direct": false,
"version": "1.2.4",
"ecosystem": "npm"
},
{
"name": "is-core-module",
"direct": false,
"version": "2.9.0",
"ecosystem": "npm"
},
{
"name": "is-date-object",
"direct": false,
"version": "1.0.5",
"ecosystem": "npm"
},
{
"name": "is-fullwidth-code-point",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "is-generator-fn",
"direct": false,
"version": "2.1.0",
"ecosystem": "npm"
},
{
"name": "is-negative-zero",
"direct": false,
"version": "2.0.2",
"ecosystem": "npm"
},
{
"name": "is-number",
"direct": false,
"version": "7.0.0",
"ecosystem": "npm"
},
{
"name": "is-number-object",
"direct": false,
"version": "1.0.7",
"ecosystem": "npm"
},
{
"name": "is-regex",
"direct": false,
"version": "1.1.4",
"ecosystem": "npm"
},
{
"name": "is-shared-array-buffer",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "is-stream",
"direct": false,
"version": "2.0.1",
"ecosystem": "npm"
},
{
"name": "is-string",
"direct": false,
"version": "1.0.7",
"ecosystem": "npm"
},
{
"name": "is-symbol",
"direct": false,
"version": "1.0.4",
"ecosystem": "npm"
},
{
"name": "is-weakref",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "isexe",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "istanbul-lib-coverage",
"direct": false,
"version": "3.2.0",
"ecosystem": "npm"
},
{
"name": "istanbul-lib-instrument",
"direct": false,
"version": "5.2.1",
"ecosystem": "npm"
},
{
"name": "istanbul-lib-report",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "istanbul-lib-source-maps",
"direct": false,
"version": "4.0.1",
"ecosystem": "npm"
},
{
"name": "istanbul-reports",
"direct": false,
"version": "3.1.5",
"ecosystem": "npm"
},
{
"name": "iter-tools",
"direct": false,
"version": "7.5.0",
"ecosystem": "npm"
},
{
"name": "jest",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-changed-files",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-circus",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-cli",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-config",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-diff",
"direct": false,
"version": "27.5.1",
"ecosystem": "npm"
},
{
"name": "jest-diff",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-docblock",
"direct": false,
"version": "28.1.1",
"ecosystem": "npm"
},
{
"name": "jest-each",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-environment-node",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-get-type",
"direct": false,
"version": "27.5.1",
"ecosystem": "npm"
},
{
"name": "jest-get-type",
"direct": false,
"version": "28.0.2",
"ecosystem": "npm"
},
{
"name": "jest-haste-map",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-leak-detector",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-matcher-utils",
"direct": false,
"version": "27.5.1",
"ecosystem": "npm"
},
{
"name": "jest-matcher-utils",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-message-util",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-mock",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-pnp-resolver",
"direct": false,
"version": "1.2.2",
"ecosystem": "npm"
},
{
"name": "jest-regex-util",
"direct": false,
"version": "28.0.2",
"ecosystem": "npm"
},
{
"name": "jest-resolve",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-resolve-dependencies",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-runner",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-runtime",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-snapshot",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-util",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-validate",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-watcher",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "jest-worker",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "js-tokens",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "js-yaml",
"direct": false,
"version": "3.14.2",
"ecosystem": "npm"
},
{
"name": "jsesc",
"direct": false,
"version": "2.5.2",
"ecosystem": "npm"
},
{
"name": "json-parse-better-errors",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "json-parse-even-better-errors",
"direct": false,
"version": "2.3.1",
"ecosystem": "npm"
},
{
"name": "json5",
"direct": false,
"version": "2.2.3",
"ecosystem": "npm"
},
{
"name": "jsonfile",
"direct": false,
"version": "6.1.0",
"ecosystem": "npm"
},
{
"name": "kleur",
"direct": false,
"version": "3.0.3",
"ecosystem": "npm"
},
{
"name": "leven",
"direct": false,
"version": "3.1.0",
"ecosystem": "npm"
},
{
"name": "lines-and-columns",
"direct": false,
"version": "1.2.4",
"ecosystem": "npm"
},
{
"name": "linkify-it",
"direct": false,
"version": "5.0.1",
"ecosystem": "npm"
},
{
"name": "load-json-file",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "locate-path",
"direct": false,
"version": "5.0.0",
"ecosystem": "npm"
},
{
"name": "lodash.memoize",
"direct": false,
"version": "4.1.2",
"ecosystem": "npm"
},
{
"name": "lru-cache",
"direct": false,
"version": "6.0.0",
"ecosystem": "npm"
},
{
"name": "lunr",
"direct": false,
"version": "2.3.9",
"ecosystem": "npm"
},
{
"name": "make-dir",
"direct": false,
"version": "3.1.0",
"ecosystem": "npm"
},
{
"name": "make-error",
"direct": false,
"version": "1.3.6",
"ecosystem": "npm"
},
{
"name": "makeerror",
"direct": false,
"version": "1.0.12",
"ecosystem": "npm"
},
{
"name": "markdown-it",
"direct": false,
"version": "14.2.0",
"ecosystem": "npm"
},
{
"name": "mdurl",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "memorystream",
"direct": false,
"version": "0.3.1",
"ecosystem": "npm"
},
{
"name": "merge-stream",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "micromatch",
"direct": false,
"version": "4.0.8",
"ecosystem": "npm"
},
{
"name": "mimic-fn",
"direct": false,
"version": "2.1.0",
"ecosystem": "npm"
},
{
"name": "minimatch",
"direct": false,
"version": "3.1.5",
"ecosystem": "npm"
},
{
"name": "minimatch",
"direct": false,
"version": "9.0.9",
"ecosystem": "npm"
},
{
"name": "ms",
"direct": false,
"version": "2.1.2",
"ecosystem": "npm"
},
{
"name": "natural-compare",
"direct": false,
"version": "1.4.0",
"ecosystem": "npm"
},
{
"name": "nice-try",
"direct": false,
"version": "1.0.5",
"ecosystem": "npm"
},
{
"name": "node-int64",
"direct": false,
"version": "0.4.0",
"ecosystem": "npm"
},
{
"name": "node-releases",
"direct": false,
"version": "2.0.6",
"ecosystem": "npm"
},
{
"name": "normalize-package-data",
"direct": false,
"version": "2.5.0",
"ecosystem": "npm"
},
{
"name": "normalize-path",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "npm-run-all",
"direct": false,
"version": "4.1.5",
"ecosystem": "npm"
},
{
"name": "npm-run-path",
"direct": false,
"version": "4.0.1",
"ecosystem": "npm"
},
{
"name": "object-inspect",
"direct": false,
"version": "1.12.1",
"ecosystem": "npm"
},
{
"name": "object-keys",
"direct": false,
"version": "1.1.1",
"ecosystem": "npm"
},
{
"name": "object.assign",
"direct": false,
"version": "4.1.2",
"ecosystem": "npm"
},
{
"name": "once",
"direct": false,
"version": "1.4.0",
"ecosystem": "npm"
},
{
"name": "onetime",
"direct": false,
"version": "5.1.2",
"ecosystem": "npm"
},
{
"name": "p-limit",
"direct": false,
"version": "2.3.0",
"ecosystem": "npm"
},
{
"name": "p-limit",
"direct": false,
"version": "3.1.0",
"ecosystem": "npm"
},
{
"name": "p-locate",
"direct": false,
"version": "4.1.0",
"ecosystem": "npm"
},
{
"name": "p-try",
"direct": false,
"version": "2.2.0",
"ecosystem": "npm"
},
{
"name": "parse-json",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "parse-json",
"direct": false,
"version": "5.2.0",
"ecosystem": "npm"
},
{
"name": "path-exists",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "path-is-absolute",
"direct": false,
"version": "1.0.1",
"ecosystem": "npm"
},
{
"name": "path-key",
"direct": false,
"version": "2.0.1",
"ecosystem": "npm"
},
{
"name": "path-key",
"direct": false,
"version": "3.1.1",
"ecosystem": "npm"
},
{
"name": "path-parse",
"direct": false,
"version": "1.0.7",
"ecosystem": "npm"
},
{
"name": "path-type",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "picocolors",
"direct": false,
"version": "1.1.1",
"ecosystem": "npm"
},
{
"name": "picomatch",
"direct": false,
"version": "2.3.2",
"ecosystem": "npm"
},
{
"name": "pidtree",
"direct": false,
"version": "0.3.1",
"ecosystem": "npm"
},
{
"name": "pify",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "pirates",
"direct": false,
"version": "4.0.5",
"ecosystem": "npm"
},
{
"name": "pkg-dir",
"direct": false,
"version": "4.2.0",
"ecosystem": "npm"
},
{
"name": "prettier",
"direct": false,
"version": "3.4.2",
"ecosystem": "npm"
},
{
"name": "pretty-format",
"direct": false,
"version": "27.5.1",
"ecosystem": "npm"
},
{
"name": "pretty-format",
"direct": false,
"version": "28.1.3",
"ecosystem": "npm"
},
{
"name": "prompts",
"direct": false,
"version": "2.4.2",
"ecosystem": "npm"
},
{
"name": "punycode.js",
"direct": false,
"version": "2.3.1",
"ecosystem": "npm"
},
{
"name": "react-is",
"direct": false,
"version": "17.0.2",
"ecosystem": "npm"
},
{
"name": "react-is",
"direct": false,
"version": "18.2.0",
"ecosystem": "npm"
},
{
"name": "read-pkg",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "reduce-flatten",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "regexp.prototype.flags",
"direct": false,
"version": "1.4.3",
"ecosystem": "npm"
},
{
"name": "require-directory",
"direct": false,
"version": "2.1.1",
"ecosystem": "npm"
},
{
"name": "resolve",
"direct": false,
"version": "1.22.0",
"ecosystem": "npm"
},
{
"name": "resolve-cwd",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "resolve-from",
"direct": false,
"version": "5.0.0",
"ecosystem": "npm"
},
{
"name": "resolve.exports",
"direct": false,
"version": "1.1.0",
"ecosystem": "npm"
},
{
"name": "rimraf",
"direct": false,
"version": "3.0.2",
"ecosystem": "npm"
},
{
"name": "semver",
"direct": false,
"version": "5.7.2",
"ecosystem": "npm"
},
{
"name": "semver",
"direct": false,
"version": "6.3.1",
"ecosystem": "npm"
},
{
"name": "semver",
"direct": false,
"version": "7.5.4",
"ecosystem": "npm"
},
{
"name": "semver",
"direct": false,
"version": "7.6.3",
"ecosystem": "npm"
},
{
"name": "shebang-command",
"direct": false,
"version": "1.2.0",
"ecosystem": "npm"
},
{
"name": "shebang-command",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "shebang-regex",
"direct": false,
"version": "1.0.0",
"ecosystem": "npm"
},
{
"name": "shebang-regex",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "shell-quote",
"direct": false,
"version": "1.8.4",
"ecosystem": "npm"
},
{
"name": "side-channel",
"direct": false,
"version": "1.0.4",
"ecosystem": "npm"
},
{
"name": "signal-exit",
"direct": false,
"version": "3.0.7",
"ecosystem": "npm"
},
{
"name": "sisteransi",
"direct": false,
"version": "1.0.5",
"ecosystem": "npm"
},
{
"name": "slash",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "source-map",
"direct": false,
"version": "0.6.1",
"ecosystem": "npm"
},
{
"name": "source-map-support",
"direct": false,
"version": "0.5.13",
"ecosystem": "npm"
},
{
"name": "spdx-correct",
"direct": false,
"version": "3.1.1",
"ecosystem": "npm"
},
{
"name": "spdx-exceptions",
"direct": false,
"version": "2.3.0",
"ecosystem": "npm"
},
{
"name": "spdx-expression-parse",
"direct": false,
"version": "3.0.1",
"ecosystem": "npm"
},
{
"name": "spdx-license-ids",
"direct": false,
"version": "3.0.11",
"ecosystem": "npm"
},
{
"name": "sprintf-js",
"direct": false,
"version": "1.0.3",
"ecosystem": "npm"
},
{
"name": "sprintf-js",
"direct": false,
"version": "1.1.2",
"ecosystem": "npm"
},
{
"name": "stack-utils",
"direct": false,
"version": "2.0.5",
"ecosystem": "npm"
},
{
"name": "string-length",
"direct": false,
"version": "4.0.2",
"ecosystem": "npm"
},
{
"name": "string-width",
"direct": false,
"version": "4.2.3",
"ecosystem": "npm"
},
{
"name": "string.prototype.padend",
"direct": false,
"version": "3.1.3",
"ecosystem": "npm"
},
{
"name": "string.prototype.trimend",
"direct": false,
"version": "1.0.5",
"ecosystem": "npm"
},
{
"name": "string.prototype.trimstart",
"direct": false,
"version": "1.0.5",
"ecosystem": "npm"
},
{
"name": "strip-ansi",
"direct": false,
"version": "6.0.1",
"ecosystem": "npm"
},
{
"name": "strip-bom",
"direct": false,
"version": "3.0.0",
"ecosystem": "npm"
},
{
"name": "strip-bom",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "strip-final-newline",
"direct": false,
"version": "2.0.0",
"ecosystem": "npm"
},
{
"name": "strip-json-comments",
"direct": false,
"version": "3.1.1",
"ecosystem": "npm"
},
{
"name": "supports-color",
"direct": false,
"version": "5.5.0",
"ecosystem": "npm"
},
{
"name": "supports-color",
"direct": false,
"version": "7.2.0",
"ecosystem": "npm"
},
{
"name": "supports-color",
"direct": false,
"version": "8.1.1",
"ecosystem": "npm"
},
{
"name": "supports-hyperlinks",
"direct": false,
"version": "2.3.0",
"ecosystem": "npm"
},
{
"name": "supports-preserve-symlinks-flag",
"direct": false,
"version": "1.0.0",
"ecosystem": "npm"
},
{
"name": "table-layout",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "terminal-link",
"direct": false,
"version": "2.1.1",
"ecosystem": "npm"
},
{
"name": "test-exclude",
"direct": false,
"version": "6.0.0",
"ecosystem": "npm"
},
{
"name": "tmpl",
"direct": false,
"version": "1.0.5",
"ecosystem": "npm"
},
{
"name": "to-regex-range",
"direct": false,
"version": "5.0.1",
"ecosystem": "npm"
},
{
"name": "ts-expect",
"direct": false,
"version": "1.3.0",
"ecosystem": "npm"
},
{
"name": "ts-jest",
"direct": false,
"version": "28.0.8",
"ecosystem": "npm"
},
{
"name": "ts-node",
"direct": false,
"version": "10.9.1",
"ecosystem": "npm"
},
{
"name": "tslib",
"direct": false,
"version": "2.4.0",
"ecosystem": "npm"
},
{
"name": "type-detect",
"direct": false,
"version": "4.0.8",
"ecosystem": "npm"
},
{
"name": "type-fest",
"direct": false,
"version": "0.21.3",
"ecosystem": "npm"
},
{
"name": "typedoc",
"direct": false,
"version": "0.27.3",
"ecosystem": "npm"
},
{
"name": "typescript",
"direct": false,
"version": "5.7.2",
"ecosystem": "npm"
},
{
"name": "typical",
"direct": false,
"version": "5.2.0",
"ecosystem": "npm"
},
{
"name": "uc.micro",
"direct": false,
"version": "2.1.0",
"ecosystem": "npm"
},
{
"name": "unbox-primitive",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "universalify",
"direct": false,
"version": "2.0.1",
"ecosystem": "npm"
},
{
"name": "update-browserslist-db",
"direct": false,
"version": "1.0.10",
"ecosystem": "npm"
},
{
"name": "v8-compile-cache-lib",
"direct": false,
"version": "3.0.1",
"ecosystem": "npm"
},
{
"name": "v8-to-istanbul",
"direct": false,
"version": "9.0.1",
"ecosystem": "npm"
},
{
"name": "validate-npm-package-license",
"direct": false,
"version": "3.0.4",
"ecosystem": "npm"
},
{
"name": "walker",
"direct": false,
"version": "1.0.8",
"ecosystem": "npm"
},
{
"name": "which",
"direct": false,
"version": "1.3.1",
"ecosystem": "npm"
},
{
"name": "which",
"direct": false,
"version": "2.0.2",
"ecosystem": "npm"
},
{
"name": "which-boxed-primitive",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "wordwrapjs",
"direct": false,
"version": "4.0.1",
"ecosystem": "npm"
},
{
"name": "wrap-ansi",
"direct": false,
"version": "7.0.0",
"ecosystem": "npm"
},
{
"name": "wrappy",
"direct": false,
"version": "1.0.2",
"ecosystem": "npm"
},
{
"name": "write-file-atomic",
"direct": false,
"version": "4.0.2",
"ecosystem": "npm"
},
{
"name": "y18n",
"direct": false,
"version": "5.0.8",
"ecosystem": "npm"
},
{
"name": "yallist",
"direct": false,
"version": "4.0.0",
"ecosystem": "npm"
},
{
"name": "yaml",
"direct": false,
"version": "2.6.1",
"ecosystem": "npm"
},
{
"name": "yargs",
"direct": false,
"version": "17.7.1",
"ecosystem": "npm"
},
{
"name": "yargs-parser",
"direct": false,
"version": "21.1.1",
"ecosystem": "npm"
},
{
"name": "yn",
"direct": false,
"version": "3.1.1",
"ecosystem": "npm"
},
{
"name": "yocto-queue",
"direct": false,
"version": "0.1.0",
"ecosystem": "npm"
},
{
"name": "Microsoft.Z3",
"direct": false,
"version": null,
"ecosystem": "nuget"
},
{
"name": "importlib-resources",
"direct": false,
"version": null,
"ecosystem": "pypi"
},
{
"name": "setuptools",
"direct": false,
"version": null,
"ecosystem": "pypi"
}
],
"collected": true,
"truncated": false,
"total_count": 406,
"direct_count": 0,
"indirect_count": 406
}
},
"maintainership": {
"issues": {
"open_prs": 5,
"merged_prs": 2308,
"open_issues": 80,
"closed_ratio": 0.987,
"closed_issues": 6201,
"closed_unmerged_prs": 510
},
"bus_factor": 1,
"top_contributors": [
{
"type": "User",
"login": "NikolajBjorner",
"commits": 12709,
"avatar_url": "https://avatars.githubusercontent.com/u/3085284?u=503779c5d5352cc6f7a8e3fd280c4e2c994d4fff&v=4"
},
{
"type": "User",
"login": "wintersteiger",
"commits": 2081,
"avatar_url": "https://avatars.githubusercontent.com/u/10155819?v=4"
},
{
"type": "User",
"login": "levnach",
"commits": 1933,
"avatar_url": "https://avatars.githubusercontent.com/u/5377127?u=7adbc1cd5ed39b6207c081cd385d06d8ae3a545d&v=4"
},
{
"login": "Copilot",
"commits": 963
},
{
"type": "User",
"login": "leodemoura",
"commits": 761,
"avatar_url": "https://avatars.githubusercontent.com/u/2778936?u=a1fca2334c8bab02c759103426244fa67baf6d3d&v=4"
},
{
"type": "User",
"login": "nunoplopes",
"commits": 632,
"avatar_url": "https://avatars.githubusercontent.com/u/2998477?v=4"
},
{
"type": "User",
"login": "mtrberzi",
"commits": 630,
"avatar_url": "https://avatars.githubusercontent.com/u/1020536?u=265fd4addfc06c0344be921f4a804459c3d62d51&v=4"
},
{
"type": "User",
"login": "agurfinkel",
"commits": 362,
"avatar_url": "https://avatars.githubusercontent.com/u/6082023?v=4"
},
{
"type": "User",
"login": "kenmcmil",
"commits": 230,
"avatar_url": "https://avatars.githubusercontent.com/u/8010069?v=4"
},
{
"type": "Bot",
"login": "dependabot[bot]",
"commits": 187,
"avatar_url": "https://avatars.githubusercontent.com/in/29110?v=4"
}
],
"contributors_sampled": 100,
"top_contributor_share": 0.591
},
"quality_signals": {
"has_ci": true,
"has_tests": true,
"ci_workflows": [
"Windows.yml",
"a3-python.lock.yml",
"academic-citation-tracker.lock.yml",
"agentics-maintenance.yml",
"android-build.yml",
"api-coherence-checker.lock.yml",
"build-warning-fixer.lock.yml",
"build-z3-cache.yml",
"ci.yml",
"code-conventions-analyzer.lock.yml",
"code-simplifier.lock.yml",
"compare-stats-anomaly-reporter.lock.yml",
"copilot-setup-steps.yml",
"coverage.yml",
"cross-build.yml",
"csa-analysis.lock.yml",
"docs.yml",
"fstar-master-build.yml",
"issue-backlog-processor.lock.yml",
"mark-prs-ready-for-review.yml",
"memory-safety-report.lock.yml",
"memory-safety.yml",
"msvc-static-build-clang-cl.yml",
"msvc-static-build.yml",
"nightly-validation.yml",
"nightly.yml",
"nuget-build.yml",
"ocaml.yaml",
"ostrich-benchmark.lock.yml",
"pyodide-pypi.yml",
"qf-s-benchmark.lock.yml",
"release-notes-updater.lock.yml",
"release.yml",
"smtlib-benchmark-finder.lock.yml",
"specbot-crash-analyzer.lock.yml",
"tactic-to-simplifier.lock.yml",
"tptp-benchmark.lock.yml",
"wasm-release.yml",
"wasm.yml",
"wip.yml",
"workflow-suggestion-agent.lock.yml",
"zipt-code-reviewer.lock.yml"
],
"has_docs_dir": true,
"linter_configs": [],
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [
"package-lock.json"
],
"scorecard": {
"checks": [
{
"name": "Binary-Artifacts",
"score": 10,
"reason": "no binaries found in the repo",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
},
{
"name": "Branch-Protection",
"score": 0,
"reason": "branch protection not enabled on development/release branches",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": 7,
"reason": "11 out of 15 merged PRs checked by a CI test -- score normalized to 7",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
},
{
"name": "CII-Best-Practices",
"score": 0,
"reason": "no effort to earn an OpenSSF best practices badge detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
},
{
"name": "Code-Review",
"score": 0,
"reason": "Found 1/19 approved changesets -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 10,
"reason": "project has 48 contributing companies or organizations",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": 10,
"reason": "no dangerous workflow patterns detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
},
{
"name": "Dependency-Update-Tool",
"score": 10,
"reason": "update tool detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
},
{
"name": "Fuzzing",
"score": 0,
"reason": "project is not fuzzed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
},
{
"name": "License",
"score": 9,
"reason": "license file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
},
{
"name": "Maintained",
"score": 10,
"reason": "30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
},
{
"name": "Packaging",
"score": 10,
"reason": "packaging workflow detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
},
{
"name": "Pinned-Dependencies",
"score": 6,
"reason": "dependency not pinned by hash detected -- score normalized to 6",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 0,
"reason": "SAST tool is not run on all commits -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
},
{
"name": "Security-Policy",
"score": 0,
"reason": "security policy file not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
},
{
"name": "Signed-Releases",
"score": 0,
"reason": "Project has not signed or included provenance with any releases.",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
},
{
"name": "Token-Permissions",
"score": 0,
"reason": "detected GitHub workflow tokens with excessive permissions",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 10,
"reason": "0 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "1f306e1e2966373ca0530aa2936affe6be715ac2",
"ran_at": "2026-07-18T13:28:52Z",
"aggregate_score": 5.2,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": false,
"has_dependabot_config": true
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/Z3Prover/z3",
"host": "github.com",
"name": "z3",
"owner": "Z3Prover"
},
"metrics": {
"overall": {
"key": "overall",
"band": "good",
"name": "Overall health",
"note": null,
"notes": [],
"value": 70,
"inputs": {
"security": 52,
"vitality": 96,
"community": 72,
"governance": 61,
"engineering": 67
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "excellent",
"name": "Vitality",
"value": 96,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "excellent",
"name": "Development activity",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"commits_last_year": 2699,
"human_commit_share": null,
"days_since_last_push": 0,
"active_weeks_last_year": 52
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 0 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "push_recency",
"params": {
"days": 0
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "52/52 weeks with commits",
"points": 36,
"status": "met",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 52
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "2699 commits in the last year",
"points": 18,
"status": "met",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 2699
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "excellent",
"name": "Release discipline",
"note": null,
"notes": [],
"value": 90,
"inputs": {
"releases_count": 57,
"latest_release_tag": "Nightly",
"releases_from_tags": false,
"days_since_latest_release": 1,
"mean_days_between_releases": 42.9
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "57 releases published",
"points": 27,
"status": "met",
"details": [
{
"code": "releases_published",
"params": {
"count": 57
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 1 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "release_recency",
"params": {
"days": 1
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~42.9 days",
"points": 27,
"status": "met",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 42.9
}
}
],
"max_points": 27
},
{
"key": "openssf_scorecard_signed_releases",
"name": "OpenSSF Scorecard: Signed-Releases",
"detail": "Project has not signed or included provenance with any releases.",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "abandonment",
"band": "excellent",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"cap": null,
"state": "unverified",
"guards": [],
"signals": [],
"red_flag": false,
"multiplier_pct": 100,
"declared_reason": null,
"unverified_reason": "no_commit_sample",
"unanswered_open_prs": null,
"unanswered_open_issues": null,
"days_since_last_merged_pr": null,
"days_since_last_human_commit": null,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "maintenance record not established from the collected data",
"points": 100,
"status": "met",
"details": [
{
"code": "abandonment_unverified",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "good",
"name": "Community & Adoption",
"value": 72,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "excellent",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 97,
"inputs": {
"forks": 1677,
"stars": 12458,
"watchers": 174,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "12,458 stars",
"points": 60,
"status": "met",
"details": [
{
"code": "stars",
"params": {
"count": 12458
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "1,677 forks",
"points": 25,
"status": "met",
"details": [
{
"code": "forks",
"params": {
"count": 1677
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "174 watchers",
"points": 12.4,
"status": "partial",
"details": [
{
"code": "watchers",
"params": {
"count": 174
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "at_risk",
"name": "Community health",
"note": null,
"notes": [],
"value": 44,
"inputs": {
"has_readme": true,
"has_license": true,
"has_contributing": false,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 22.5,
"status": "met",
"details": [],
"max_points": 22.5
},
{
"key": "license",
"name": "License",
"detail": "license file present, not a recognized license",
"points": 16.9,
"status": "partial",
"details": [
{
"code": "license_custom",
"params": {}
}
],
"max_points": 22.5
},
{
"key": "contributing_guide",
"name": "CONTRIBUTING guide",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 18
},
{
"key": "code_of_conduct",
"name": "Code of conduct",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 13.5
},
{
"key": "issue_template",
"name": "Issue template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.2
},
{
"key": "pr_template",
"name": "PR template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.3
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "moderate",
"name": "Sustainability & Governance",
"value": 61,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "at_risk",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 42,
"inputs": {
"bus_factor": 1,
"contributors_sampled": 100,
"top_contributor_share": 0.591
},
"components": [
{
"key": "bus_factor",
"name": "Bus factor",
"detail": "1 contributor(s) cover half of all commits",
"points": 9,
"status": "partial",
"details": [
{
"code": "bus_factor",
"params": {
"count": 1
}
}
],
"max_points": 54
},
{
"key": "commit_distribution",
"name": "Commit distribution",
"detail": "top contributor authored 59% of commits",
"points": 9.2,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 59
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "100 contributors",
"points": 13.5,
"status": "met",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 100
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 48 contributing companies or organizations",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "good",
"name": "Issue & PR responsiveness",
"note": null,
"notes": [],
"value": 77,
"inputs": {
"merged_prs": 2308,
"open_issues": 80,
"closed_issues": 6201,
"issue_closed_ratio": 0.987,
"closed_unmerged_prs": 510
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "99% of issues closed",
"points": 46.1,
"status": "partial",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 99
}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "2308/2818 decided PRs merged",
"points": 31.3,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 2308,
"decided": 2818
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 1/19 approved changesets -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "moderate",
"name": "Ownership & stewardship",
"note": null,
"notes": [],
"value": 67,
"inputs": {
"followers": 224,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "Z3Prover",
"public_repos": 11,
"account_age_days": 4131
},
"components": [
{
"key": "ownership_backing",
"name": "Ownership backing",
"detail": "organization-owned",
"points": 30,
"status": "met",
"details": [
{
"code": "owner_organization",
"params": {}
}
],
"max_points": 30
},
{
"key": "verified_domain",
"name": "Verified domain",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "owner_reach",
"name": "Owner reach",
"detail": "224 followers of Z3Prover",
"points": 16.9,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 224,
"login": "Z3Prover"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "11 public repos, account ~11 yr old",
"points": 19.9,
"status": "partial",
"details": [
{
"code": "public_repos",
"params": {
"count": 11
}
},
{
"code": "account_age_years",
"params": {
"years": 11
}
}
],
"max_points": 25
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "moderate",
"name": "Engineering Quality",
"value": 67,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "moderate",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 62,
"inputs": {
"has_ci": true,
"has_tests": true,
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": "42 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 42
}
}
],
"max_points": 24
},
{
"key": "tests_present",
"name": "Tests present",
"detail": null,
"points": 24,
"status": "met",
"details": [],
"max_points": 24
},
{
"key": "linter_config",
"name": "Linter config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 16
},
{
"key": "pre_commit_hooks",
"name": "Pre-commit hooks",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 9.6
},
{
"key": "editorconfig",
"name": ".editorconfig",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.4
},
{
"key": "openssf_scorecard_ci_tests",
"name": "OpenSSF Scorecard: CI-Tests",
"detail": "11 out of 15 merged PRs checked by a CI test -- score normalized to 7",
"points": 14,
"status": "partial",
"details": [],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "good",
"name": "Documentation",
"note": null,
"notes": [],
"value": 75,
"inputs": {
"topics": [],
"has_wiki": true,
"homepage": null,
"has_readme": true,
"has_docs_dir": true,
"has_description": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 30,
"status": "met",
"details": [],
"max_points": 30
},
{
"key": "documentation_directory",
"name": "Documentation directory",
"detail": null,
"points": 25,
"status": "met",
"details": [],
"max_points": 25
},
{
"key": "documentation_homepage_site",
"name": "Documentation / homepage site",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "repository_description",
"name": "Repository description",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "topics",
"name": "Topics",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "moderate",
"name": "Security",
"value": 52,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "moderate",
"name": "Security posture",
"note": null,
"notes": [],
"value": 52,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 18,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 0,
"scorecard_aggregate": 5.2
},
"components": [
{
"key": "binary_artifacts",
"name": "Binary-Artifacts",
"detail": "no binaries found in the repo",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "branch_protection",
"name": "Branch-Protection",
"detail": "branch protection not enabled on development/release branches",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "11 out of 15 merged PRs checked by a CI test -- score normalized to 7",
"points": 1.8,
"status": "partial",
"details": [],
"max_points": 2.5
},
{
"key": "cii_best_practices",
"name": "CII-Best-Practices",
"detail": "no effort to earn an OpenSSF best practices badge detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "code_review",
"name": "Code-Review",
"detail": "Found 1/19 approved changesets -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 48 contributing companies or organizations",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no dangerous workflow patterns detected",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "dependency_update_tool",
"name": "Dependency-Update-Tool",
"detail": "update tool detected",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "fuzzing",
"name": "Fuzzing",
"detail": "project is not fuzzed",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "license",
"name": "License",
"detail": "license file detected",
"points": 2.2,
"status": "partial",
"details": [],
"max_points": 2.5
},
{
"key": "maintained",
"name": "Maintained",
"detail": "30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "packaging",
"name": "Packaging",
"detail": "packaging workflow detected",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "pinned_dependencies",
"name": "Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 6",
"points": 3,
"status": "partial",
"details": [],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "SAST tool is not run on all commits -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file not detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "Project has not signed or included provenance with any releases.",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "detected GitHub workflow tokens with excessive permissions",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "0 existing vulnerabilities detected",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
}
]
},
{
"key": "high_risk_jurisdiction_exposure",
"band": "excellent",
"name": "High-Risk Jurisdiction Exposure",
"note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
"notes": [
{
"code": "jurisdiction_evidence_limits",
"params": {}
}
],
"value": 100,
"inputs": {
"meaning": "self-published location evidence; not nationality or citizenship",
"red_flag": false,
"exposures": [],
"policy_countries": [
"Russia",
"Iran",
"North Korea"
],
"review_only_matches": 0,
"assessed_self_published_locations": 7
},
"components": [
{
"key": "policy_exposure_multiplier",
"name": "Policy exposure multiplier",
"detail": "no confirmed policy-scope location match",
"points": 100,
"status": "met",
"details": [
{
"code": "jurisdiction_no_match",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
},
{
"key": "ai_readiness",
"band": "good",
"name": "AI Readiness",
"value": 78,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "good",
"name": "Agent context & guidance",
"note": "Excluded from scoring (no data or not applicable): Legible commit history. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"legible_commit_history"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 75,
"inputs": {
"has_llms_txt": false,
"legible_history_share": null,
"agent_instruction_files": [
".github/copilot-instructions.md"
],
"agent_instruction_max_bytes": 6712
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": ".github/copilot-instructions.md",
"points": 45,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": ".github/copilot-instructions.md"
}
}
],
"max_points": 45
},
{
"key": "machine_readable_docs_llms_txt",
"name": "Machine-readable docs (llms.txt)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "legible_commit_history",
"name": "Legible commit history",
"detail": "no data",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "good",
"name": "Verify loop (build / test / typecheck)",
"note": "Excluded from scoring (no data or not applicable): Demonstrated agent practice. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"demonstrated_agent_practice"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 80,
"inputs": {
"has_nix": false,
"has_tests": true,
"lockfiles": [
"package-lock.json"
],
"has_dockerfile": false,
"typed_language": true,
"bootstrap_files": [
"contrib/qprofdiff/Makefile"
],
"has_devcontainer": false,
"has_linter_config": false,
"typecheck_configs": [
"src/api/js/tsconfig.json"
],
"agent_commit_share": null,
"toolchain_manifests": [],
"dependency_bot_commit_share": 0
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": "contrib/qprofdiff/Makefile",
"points": 18,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "contrib/qprofdiff/Makefile"
}
}
],
"max_points": 18
},
{
"key": "automated_tests",
"name": "Automated tests",
"detail": null,
"points": 22,
"status": "met",
"details": [],
"max_points": 22
},
{
"key": "lint_format_config",
"name": "Lint / format config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 11
},
{
"key": "static_type_checking",
"name": "Static type checking",
"detail": "src/api/js/tsconfig.json",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "src/api/js/tsconfig.json"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": "lockfile",
"points": 10,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "lockfile"
}
}
],
"max_points": 10
},
{
"key": "demonstrated_agent_practice",
"name": "Demonstrated agent practice",
"detail": "no data",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
},
{
"key": "automated_maintenance",
"name": "Automated maintenance",
"detail": "dependency automation configured, none observed in the sampled commits",
"points": 5,
"status": "partial",
"details": [
{
"code": "dependency_bot_config_only",
"params": {}
}
],
"max_points": 8
},
{
"key": "openssf_scorecard_pinned_dependencies",
"name": "OpenSSF Scorecard: Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 6",
"points": 6,
"status": "partial",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "excellent",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 98,
"inputs": {
"primary_language": "C++",
"largest_source_bytes": 366916,
"source_files_sampled": 2373,
"oversized_source_files": 84
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "C++ (statically typed)",
"points": 45,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "C++"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "84/2373 source files over 60KB",
"points": 53.1,
"status": "partial",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 2373,
"oversized": 84
}
}
],
"max_points": 55
}
]
},
{
"key": "ai_interfaces",
"band": "moderate",
"name": "Machine-readable interfaces",
"note": null,
"notes": [],
"value": 60,
"inputs": {
"example_dirs": [
"examples",
"notebooks"
],
"has_mcp_signal": true,
"api_schema_files": []
},
"components": [
{
"key": "api_schema_openapi_graphql_proto",
"name": "API schema (OpenAPI/GraphQL/proto)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 40
},
{
"key": "mcp_server",
"name": "MCP server",
"detail": null,
"points": 20,
"status": "met",
"details": [],
"max_points": 20
},
{
"key": "runnable_examples",
"name": "Runnable examples",
"detail": "examples, notebooks",
"points": 40,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "examples, notebooks"
}
}
],
"max_points": 40
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
}
],
"metrics_version": "1.13.0"
},
"warnings": [],
"report_type": "repository",
"generated_at": "2026-07-18T13:29:18.036577Z",
"schema_version": "0.12.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/z/Z3Prover/z3.svg",
"full_name": "Z3Prover/z3",
"license_state": "custom",
"license_spdx": null
}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 v1.13.0, schema v0.12.0 — full methodology · metrics wiki.
How one result sits in the wider record: aggregate statistics.