Öffentliches RegisterGut
Software-GesundheitsberichtSchema 0.12.0 · Metriken 1.13.0 · 2026-07-18 13:29 UTC
Z3Prover / z3
The Z3 Theorem Prover
Z3Prover/z3 erreicht einen Gesundheitsindex von 70 von 100 und liegt damit im Bereich Gut. Am stärksten schneidet es bei Vitality (96/100) ab, am schwächsten bei Security (52/100). Zuletzt heute aktualisiert. Ein einzelner Mitwirkender trägt den Großteil der jüngsten Arbeit.
70
gesamt / 100Software-Gesundheitsindex
Metriken werden auf einer Skala von 1–100 in gewichtete Kategorien gruppiert. Der Gesamtwert beginnt als ihr Mittel; sobald öffentliche Evidenz die Richtlinie für Hochrisikojurisdiktionen auslöst, wird die Bewertung angepasst und erhält die Obergrenze 49 (Gefährdet). AI Readiness liegt außerhalb.
70
Exzellent85-100Vorbildlich; erfüllt im Wesentlichen alle geprüften Kriterien
Gut70-84Gesund; geringfügige Lücken
Mittel50-69Akzeptabel mit deutlichen Lücken; Überprüfung empfohlen
Gefährdet30-49Erhebliche Schwächen; eine Übernahme erfordert Vorsicht
Kritisch1-29Schwerwiegende Probleme (aufgegeben, nur ein Maintainer, keine Hygiene)
Bewertungsprofil
Jede Achse ist eine Kategorie. Die Form zählt mehr als der Durchschnitt — ein gesundes Projekt füllt die gesamte Fläche, während ein Profil aus Spitzen und Kratern bedeutet, dass Stärke in einer Dimension Risiken in einer anderen verdeckt.
Eigentümerschaft
Z3 Theorem ProverOrganisation
224 Follower11 öffentliche Reposseit März 2015
Dieses Repository wird von einer Organisation getragen — geteilte, rechenschaftspflichtige Trägerschaft, die jeden einzelnen Maintainer überdauern kann.
Metriken nach Kategorie
Vitalität
Lebt das Projekt — wird Code geschrieben und werden Releases ausgeliefert?
96
Entwicklungsaktivität
100Exzellent
Wie die Bewertung erfolgt
| 36/36 | Push-Aktualität — letzter Push vor 0 Tagen |
| 36/36 | Commit-Rhythmus — 52/52 Wochen mit Commits |
| 18/18 | Commit-Volumen — 2.699 Commits im letzten Jahr |
| 10/10 | OpenSSF Scorecard: Maintained — 30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10 |
Verwendete Eingangsdaten
| commits_last_year | 2.699 |
| human_commit_share | — |
| days_since_last_push | 0 |
| active_weeks_last_year | 52 |
Release-Disziplin
90Exzellent
Wie die Bewertung erfolgt
| 27/27 | Liefert Releases aus — 57 Releases veröffentlicht |
| 36/36 | Release-Aktualität — letztes Release vor 1 Tagen |
| 27/27 | Release-Rhythmus — ein Release etwa alle 42,9 Tage |
| 0/10 | OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases. |
Verwendete Eingangsdaten
| releases_count | 57 |
| latest_release_tag | Nightly |
| releases_from_tags | nein |
| days_since_latest_release | 1 |
| mean_days_between_releases | 42,9 |
Community & Verbreitung
Hat das Projekt Nutzer, Downloads, Aufmerksamkeit und ein einladendes Umfeld für Beitragende?
72
Popularität & Verbreitung
97Exzellent
Wie die Bewertung erfolgt
| 60/60 | Stars — 12.458 Stars |
| 25/25 | Forks — 1.677 Forks |
| 12.4/15 | Watcher — 174 Watcher |
Verwendete Eingangsdaten
| forks | 1.677 |
| stars | 12.458 |
| watchers | 174 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Community-Gesundheit
44Gefährdet
Wie die Bewertung erfolgt
| 22.5/22.5 | README |
| 16.9/22.5 | Lizenz — Lizenzdatei vorhanden, keine anerkannte Lizenz |
| 0/18 | CONTRIBUTING-Leitfaden |
| 0/13.5 | Verhaltenskodex |
| 0/7.2 | Issue-Vorlage |
| 0/6.3 | PR-Vorlage |
Verwendete Eingangsdaten
| has_readme | ja |
| has_license | ja |
| has_contributing | nein |
| has_issue_template | nein |
| has_code_of_conduct | nein |
| has_pull_request_template | nein |
Nachhaltigkeit & Governance
Überdauert das Projekt die Menschen, die es tragen — Bus-Faktor, Reaktionsfähigkeit, Trägerschaft und Paketpflege?
61
Maintainer-Resilienz (Bus-Faktor)
42Gefährdet
Wie die Bewertung erfolgt
| 9/54 | Bus-Faktor — 1 Beitragende decken die Hälfte aller Commits ab |
| 9.2/22.5 | Commit-Verteilung — wichtigste beitragende Person verfasste 59 % der Commits |
| 13.5/13.5 | Breite der Beitragenden — 100 Beitragende |
| 10/10 | OpenSSF Scorecard: Contributors — project has 48 contributing companies or organizations |
Verwendete Eingangsdaten
| bus_factor | 1 |
| contributors_sampled | 100 |
| top_contributor_share | 0,591 |
Wie die Bewertung erfolgt
| 46.1/46.8 | Issue-Lösungsquote — 99 % der Issues geschlossen |
| 31.3/38.3 | PR-Annahme — 2.308/2.818 entschiedene PRs gemergt |
| 0/15 | OpenSSF Scorecard: Code-Review — Found 1/19 approved changesets -- score normalized to 0 |
Verwendete Eingangsdaten
| merged_prs | 2.308 |
| open_issues | 80 |
| closed_issues | 6.201 |
| issue_closed_ratio | 0,987 |
| closed_unmerged_prs | 510 |
Eigentümerschaft & Trägerschaft
67Mittel
Wie die Bewertung erfolgt
| 30/30 | Organisatorische Trägerschaft — im Besitz einer Organisation |
| 0/20 | Verifizierte Domain |
| 16.9/25 | Reichweite des Inhabers — 224 Follower von Z3Prover |
| 19.9/25 | Kontohistorie — 11 öffentliche Repos, Kontoalter ca. 11 Jahre |
Verwendete Eingangsdaten
| followers | 224 |
| owner_type | Organization |
| is_verified | — |
| owner_login | Z3Prover |
| public_repos | 11 |
| account_age_days | 4.131 |
Engineering-Qualität
Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?
67
Engineering-Praktiken
62Mittel
Wie die Bewertung erfolgt
| 24/24 | CI-Workflows — 42 Workflow(s) |
| 24/24 | Tests vorhanden |
| 0/16 | Linter-Konfiguration |
| 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 |
Verwendete Eingangsdaten
| has_ci | ja |
| has_tests | ja |
| has_editorconfig | nein |
| has_linter_config | nein |
| has_precommit_config | nein |
Dokumentation
75Gut
Wie die Bewertung erfolgt
| 30/30 | README |
| 25/25 | Dokumentationsverzeichnis |
| 0/15 | Dokumentations-/Homepage-Site |
| 10/10 | Repository-Beschreibung |
| 0/10 | Topics |
| 10/10 | Wiki |
Verwendete Eingangsdaten
| topics | — |
| has_wiki | ja |
| homepage | — |
| has_readme | ja |
| has_docs_dir | ja |
| has_description | ja |
Sicherheit
Sind die sichtbaren Sicherheits- und Lieferkettenpraktiken belastbar, ohne ungeklärte Exposition gegenüber Hochrisikojurisdiktionen?
52
Sicherheitslage
52Mittel
Wie die Bewertung erfolgt
| 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 | Lizenz — 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 |
Verwendete Eingangsdaten
| source | openssf_scorecard |
| checks_evaluated | 18 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 0 |
| scorecard_aggregate | 5,2 |
AI Readiness
Wie gut ist das Repository dafür ausgestattet, mit KI-Coding-Agenten entwickelt und gepflegt zu werden? Ein unabhängiges, experimentelles Badge — Gewicht 0,0, es wird eigenständig ausgewiesen und verändert den Gesamt-Gesundheitswert nicht.
78
Wie die Bewertung erfolgt
| 45/45 | Agentenanweisungen — .github/copilot-instructions.md |
| 0/15 | Maschinenlesbare Doku (llms.txt) |
| 0/40 | Lesbare Commit-Historie — keine Daten |
Verwendete Eingangsdaten
| has_llms_txt | nein |
| legible_history_share | — |
| agent_instruction_files | .github/copilot-instructions.md |
| agent_instruction_max_bytes | 6.712 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Lesbare Commit-Historie. Die verbleibenden Gewichte wurden renormalisiert.
Wie die Bewertung erfolgt
| 18/18 | Bootstrap mit einem Befehl — contrib/qprofdiff/Makefile |
| 22/22 | Automatisierte Tests |
| 0/11 | Lint-/Format-Konfiguration |
| 11/11 | Statische Typprüfung — src/api/js/tsconfig.json |
| 10/10 | Reproduzierbare Umgebung — lockfile |
| 0/10 | Belegte Agentenpraxis — keine Daten |
| 5/8 | Automatisierte Wartung — Abhängigkeits-Automatisierung konfiguriert, in den erfassten Commits nicht beobachtet |
| 6/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 6 |
Verwendete Eingangsdaten
| has_nix | nein |
| has_tests | ja |
| lockfiles | package-lock.json |
| has_dockerfile | nein |
| typed_language | ja |
| bootstrap_files | contrib/qprofdiff/Makefile |
| has_devcontainer | nein |
| has_linter_config | nein |
| typecheck_configs | src/api/js/tsconfig.json |
| agent_commit_share | — |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Belegte Agentenpraxis. Die verbleibenden Gewichte wurden renormalisiert.
AI-Code-Lesbarkeit für Modelle
98Exzellent
Wie die Bewertung erfolgt
| 45/45 | Typprüfbarer Code — C++ (statisch typisiert) |
| 53.1/55 | Handhabbare Dateigrößen — 84/2.373 Quelldateien über 60 KB |
Verwendete Eingangsdaten
| primary_language | C++ |
| largest_source_bytes | 366.916 |
| source_files_sampled | 2.373 |
| oversized_source_files | 84 |
Wie die Bewertung erfolgt
| 0/40 | API-Schema (OpenAPI/GraphQL/proto) |
| 20/20 | MCP-Server |
| 40/40 | Lauffähige Beispiele — examples, notebooks |
Verwendete Eingangsdaten
| example_dirs | examples, notebooks |
| has_mcp_signal | ja |
| api_schema_files | — |
Eckdaten
12.458GitHub-Sterne
100Mitwirkende
2.699Commits, letzte 12 Monate
0Tage seit letztem Push
57Releases
1Bus-Faktor
80offene Issues
—Paket-Ökosysteme
Weitere Details
OpenSSF Scorecard 5.2 / 10
5.2Gesamtwert
Unabhängige, werkzeugneutrale Sicherheitsbewertung durch das quelloffene OpenSSF Scorecard. Jede Prüfung honoriert eine Sicherheits-Praxis, nicht das Werkzeug eines bestimmten Anbieters. Prüfungen, die Scorecard nicht ermitteln konnte, sind mit k. A. markiert und vom Sicherheitswert ausgeschlossen (nie als null gezählt).
| 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 |
Alle Abhängigkeiten 406
Vollständig aufgelöster Abhängigkeitssatz aus dem GitHub-Abhängigkeitsgraphen: 0 direkte und 406 indirekte (transitive) Pakete. Die transitive Hülle ist vollständig, wenn das Repository eine Lockfile eincheckt.
| Registry | Paket | Version | Beziehung |
|---|---|---|---|
| Go | ../../src/api/go | 0.0.0 | indirekt |
| npm | @ampproject/remapping | 2.2.0 | indirekt |
| npm | @babel/code-frame | 7.27.1 | indirekt |
| npm | @babel/compat-data | 7.19.4 | indirekt |
| npm | @babel/core | 7.19.3 | indirekt |
| npm | @babel/generator | 7.19.5 | indirekt |
| npm | @babel/generator | 7.23.0 | indirekt |
| npm | @babel/helper-compilation-targets | 7.19.3 | indirekt |
| npm | @babel/helper-environment-visitor | 7.18.9 | indirekt |
| npm | @babel/helper-environment-visitor | 7.22.20 | indirekt |
| npm | @babel/helper-function-name | 7.23.0 | indirekt |
| npm | @babel/helper-hoist-variables | 7.22.5 | indirekt |
| npm | @babel/helper-module-imports | 7.18.6 | indirekt |
| npm | @babel/helper-module-transforms | 7.19.0 | indirekt |
| npm | @babel/helper-plugin-utils | 7.19.0 | indirekt |
| npm | @babel/helper-simple-access | 7.19.4 | indirekt |
| npm | @babel/helper-split-export-declaration | 7.18.6 | indirekt |
| npm | @babel/helper-split-export-declaration | 7.22.6 | indirekt |
| npm | @babel/helper-string-parser | 7.27.1 | indirekt |
| npm | @babel/helper-validator-identifier | 7.28.5 | indirekt |
| npm | @babel/helper-validator-option | 7.18.6 | indirekt |
| npm | @babel/helpers | 7.28.4 | indirekt |
| npm | @babel/parser | 7.28.5 | indirekt |
| npm | @babel/plugin-syntax-async-generators | 7.8.4 | indirekt |
| npm | @babel/plugin-syntax-bigint | 7.8.3 | indirekt |
| npm | @babel/plugin-syntax-class-properties | 7.12.13 | indirekt |
| npm | @babel/plugin-syntax-import-meta | 7.10.4 | indirekt |
| npm | @babel/plugin-syntax-json-strings | 7.8.3 | indirekt |
| npm | @babel/plugin-syntax-logical-assignment-operators | 7.10.4 | indirekt |
| npm | @babel/plugin-syntax-nullish-coalescing-operator | 7.8.3 | indirekt |
| npm | @babel/plugin-syntax-numeric-separator | 7.10.4 | indirekt |
| npm | @babel/plugin-syntax-object-rest-spread | 7.8.3 | indirekt |
| npm | @babel/plugin-syntax-optional-catch-binding | 7.8.3 | indirekt |
| npm | @babel/plugin-syntax-optional-chaining | 7.8.3 | indirekt |
| npm | @babel/plugin-syntax-top-level-await | 7.14.5 | indirekt |
| npm | @babel/plugin-syntax-typescript | 7.18.6 | indirekt |
| npm | @babel/runtime | 7.28.4 | indirekt |
| npm | @babel/template | 7.27.2 | indirekt |
| npm | @babel/traverse | 7.23.2 | indirekt |
| npm | @babel/types | 7.28.5 | indirekt |
| npm | @bcoe/v8-coverage | 0.2.3 | indirekt |
| npm | @cspotcode/source-map-support | 0.8.1 | indirekt |
| npm | @gerrit0/mini-shiki | 1.24.1 | indirekt |
| npm | @istanbuljs/load-nyc-config | 1.1.0 | indirekt |
| npm | @istanbuljs/schema | 0.1.3 | indirekt |
| npm | @jest/console | 28.1.3 | indirekt |
| npm | @jest/core | 28.1.3 | indirekt |
| npm | @jest/environment | 28.1.3 | indirekt |
| npm | @jest/expect | 28.1.3 | indirekt |
| npm | @jest/expect-utils | 28.1.3 | indirekt |
| npm | @jest/fake-timers | 28.1.3 | indirekt |
| npm | @jest/globals | 28.1.3 | indirekt |
| npm | @jest/reporters | 28.1.3 | indirekt |
| npm | @jest/schemas | 28.1.3 | indirekt |
| npm | @jest/source-map | 28.1.2 | indirekt |
| npm | @jest/test-result | 28.1.3 | indirekt |
| npm | @jest/test-sequencer | 28.1.3 | indirekt |
| npm | @jest/transform | 28.1.3 | indirekt |
| npm | @jest/types | 28.1.3 | indirekt |
| npm | @jridgewell/gen-mapping | 0.1.1 | indirekt |
| npm | @jridgewell/gen-mapping | 0.3.2 | indirekt |
| npm | @jridgewell/gen-mapping | 0.3.3 | indirekt |
| npm | @jridgewell/resolve-uri | 3.1.0 | indirekt |
| npm | @jridgewell/set-array | 1.1.2 | indirekt |
| npm | @jridgewell/sourcemap-codec | 1.4.14 | indirekt |
| npm | @jridgewell/trace-mapping | 0.3.17 | indirekt |
| npm | @jridgewell/trace-mapping | 0.3.9 | indirekt |
| npm | @shikijs/engine-oniguruma | 1.24.0 | indirekt |
| npm | @shikijs/types | 1.24.0 | indirekt |
| npm | @shikijs/vscode-textmate | 9.3.0 | indirekt |
| npm | @sinclair/typebox | 0.24.46 | indirekt |
| npm | @sinonjs/commons | 1.8.3 | indirekt |
| npm | @sinonjs/fake-timers | 9.1.2 | indirekt |
| npm | @tsconfig/node10 | 1.0.9 | indirekt |
| npm | @tsconfig/node12 | 1.0.11 | indirekt |
| npm | @tsconfig/node14 | 1.0.3 | indirekt |
| npm | @tsconfig/node16 | 1.0.3 | indirekt |
| npm | @types/babel__core | 7.1.19 | indirekt |
| npm | @types/babel__generator | 7.6.4 | indirekt |
| npm | @types/babel__template | 7.4.1 | indirekt |
| npm | @types/babel__traverse | 7.18.2 | indirekt |
| npm | @types/graceful-fs | 4.1.5 | indirekt |
| npm | @types/hast | 3.0.4 | indirekt |
| npm | @types/istanbul-lib-coverage | 2.0.4 | indirekt |
| npm | @types/istanbul-lib-report | 3.0.0 | indirekt |
| npm | @types/istanbul-reports | 3.0.1 | indirekt |
| npm | @types/jest | 27.5.2 | indirekt |
| npm | @types/node | 17.0.45 | indirekt |
| npm | @types/prettier | 2.7.1 | indirekt |
| npm | @types/sprintf-js | 1.1.2 | indirekt |
| npm | @types/stack-utils | 2.0.1 | indirekt |
| npm | @types/unist | 3.0.3 | indirekt |
| npm | @types/yargs | 17.0.13 | indirekt |
| npm | @types/yargs-parser | 21.0.0 | indirekt |
| npm | acorn | 8.8.0 | indirekt |
| npm | acorn-walk | 8.2.0 | indirekt |
| npm | ansi-escapes | 4.3.2 | indirekt |
| npm | ansi-regex | 5.0.1 | indirekt |
| npm | ansi-styles | 3.2.1 | indirekt |
| npm | ansi-styles | 4.3.0 | indirekt |
| npm | ansi-styles | 5.2.0 | indirekt |
| npm | anymatch | 3.1.2 | indirekt |
| npm | arg | 4.1.3 | indirekt |
| npm | argparse | 1.0.10 | indirekt |
| npm | argparse | 2.0.1 | indirekt |
| npm | array-back | 4.0.2 | indirekt |
| npm | async-mutex | 0.3.2 | indirekt |
| npm | babel-jest | 28.1.3 | indirekt |
| npm | babel-plugin-istanbul | 6.1.1 | indirekt |
| npm | babel-plugin-jest-hoist | 28.1.3 | indirekt |
| npm | babel-preset-current-node-syntax | 1.0.1 | indirekt |
| npm | babel-preset-jest | 28.1.3 | indirekt |
| npm | balanced-match | 1.0.2 | indirekt |
| npm | bluebird | 3.7.2 | indirekt |
| npm | brace-expansion | 1.1.12 | indirekt |
| npm | brace-expansion | 2.0.2 | indirekt |
| npm | braces | 3.0.3 | indirekt |
| npm | browserslist | 4.21.4 | indirekt |
| npm | bs-logger | 0.2.6 | indirekt |
| npm | bser | 2.1.1 | indirekt |
| npm | buffer-from | 1.1.2 | indirekt |
| npm | call-bind | 1.0.2 | indirekt |
| npm | callsites | 3.1.0 | indirekt |
| npm | camelcase | 5.3.1 | indirekt |
| npm | camelcase | 6.3.0 | indirekt |
| npm | caniuse-lite | 1.0.30001419 | indirekt |
| npm | chalk | 2.4.2 | indirekt |
| npm | chalk | 4.1.2 | indirekt |
| npm | char-regex | 1.0.2 | indirekt |
| npm | check-engine | 1.14.0 | indirekt |
| npm | ci-info | 3.5.0 | indirekt |
| npm | cjs-module-lexer | 1.2.2 | indirekt |
| npm | cliui | 8.0.1 | indirekt |
| npm | co | 4.6.0 | indirekt |
| npm | collect-v8-coverage | 1.0.1 | indirekt |
| npm | color-convert | 1.9.3 | indirekt |
| npm | color-convert | 2.0.1 | indirekt |
| npm | color-name | 1.1.3 | indirekt |
| npm | color-name | 1.1.4 | indirekt |
| npm | colors | 1.4.0 | indirekt |
| npm | command-line-usage | 6.1.3 | indirekt |
| npm | concat-map | 0.0.1 | indirekt |
| npm | convert-source-map | 1.9.0 | indirekt |
| npm | create-require | 1.1.1 | indirekt |
| npm | cross-spawn | 6.0.6 | indirekt |
| npm | cross-spawn | 7.0.6 | indirekt |
| npm | debug | 4.3.4 | indirekt |
| npm | dedent | 0.7.0 | indirekt |
| npm | deep-extend | 0.6.0 | indirekt |
| npm | deepmerge | 4.2.2 | indirekt |
| npm | define-properties | 1.1.4 | indirekt |
| npm | detect-newline | 3.1.0 | indirekt |
| npm | diff | 4.0.2 | indirekt |
| npm | diff-sequences | 27.5.1 | indirekt |
| npm | diff-sequences | 28.1.1 | indirekt |
| npm | electron-to-chromium | 1.4.282 | indirekt |
| npm | emittery | 0.10.2 | indirekt |
| npm | emoji-regex | 8.0.0 | indirekt |
| npm | entities | 4.5.0 | indirekt |
| npm | error-ex | 1.3.2 | indirekt |
| npm | es-abstract | 1.20.1 | indirekt |
| npm | es-to-primitive | 1.2.1 | indirekt |
| npm | escalade | 3.1.1 | indirekt |
| npm | escape-string-regexp | 1.0.5 | indirekt |
| npm | escape-string-regexp | 2.0.0 | indirekt |
| npm | esprima | 4.0.1 | indirekt |
| npm | execa | 5.1.1 | indirekt |
| npm | exit | 0.1.2 | indirekt |
| npm | expect | 28.1.3 | indirekt |
| npm | fast-json-stable-stringify | 2.1.0 | indirekt |
| npm | fb-watchman | 2.0.2 | indirekt |
| npm | fill-range | 7.1.1 | indirekt |
| npm | find-up | 4.1.0 | indirekt |
| npm | fs.realpath | 1.0.0 | indirekt |
| npm | fsevents | 2.3.2 | indirekt |
| npm | function-bind | 1.1.1 | indirekt |
| npm | function.prototype.name | 1.1.5 | indirekt |
| npm | functions-have-names | 1.2.3 | indirekt |
| npm | gensync | 1.0.0-beta.2 | indirekt |
| npm | get-caller-file | 2.0.5 | indirekt |
| npm | get-intrinsic | 1.1.1 | indirekt |
| npm | get-package-type | 0.1.0 | indirekt |
| npm | get-stream | 6.0.1 | indirekt |
| npm | get-symbol-description | 1.0.0 | indirekt |
| npm | glob | 7.2.3 | indirekt |
| npm | globals | 11.12.0 | indirekt |
| npm | graceful-fs | 4.2.10 | indirekt |
| npm | has | 1.0.3 | indirekt |
| npm | has-bigints | 1.0.2 | indirekt |
| npm | has-flag | 3.0.0 | indirekt |
| npm | has-flag | 4.0.0 | indirekt |
| npm | has-property-descriptors | 1.0.0 | indirekt |
| npm | has-symbols | 1.0.3 | indirekt |
| npm | has-tostringtag | 1.0.0 | indirekt |
| npm | hosted-git-info | 2.8.9 | indirekt |
| npm | html-escaper | 2.0.2 | indirekt |
| npm | human-signals | 2.1.0 | indirekt |
| npm | import-local | 3.1.0 | indirekt |
| npm | imurmurhash | 0.1.4 | indirekt |
| npm | inflight | 1.0.6 | indirekt |
| npm | inherits | 2.0.4 | indirekt |
| npm | internal-slot | 1.0.3 | indirekt |
| npm | is-arrayish | 0.2.1 | indirekt |
| npm | is-bigint | 1.0.4 | indirekt |
| npm | is-boolean-object | 1.1.2 | indirekt |
| npm | is-callable | 1.2.4 | indirekt |
| npm | is-core-module | 2.9.0 | indirekt |
| npm | is-date-object | 1.0.5 | indirekt |
| npm | is-fullwidth-code-point | 3.0.0 | indirekt |
| npm | is-generator-fn | 2.1.0 | indirekt |
| npm | is-negative-zero | 2.0.2 | indirekt |
| npm | is-number | 7.0.0 | indirekt |
| npm | is-number-object | 1.0.7 | indirekt |
| npm | is-regex | 1.1.4 | indirekt |
| npm | is-shared-array-buffer | 1.0.2 | indirekt |
| npm | is-stream | 2.0.1 | indirekt |
| npm | is-string | 1.0.7 | indirekt |
| npm | is-symbol | 1.0.4 | indirekt |
| npm | is-weakref | 1.0.2 | indirekt |
| npm | isexe | 2.0.0 | indirekt |
| npm | istanbul-lib-coverage | 3.2.0 | indirekt |
| npm | istanbul-lib-instrument | 5.2.1 | indirekt |
| npm | istanbul-lib-report | 3.0.0 | indirekt |
| npm | istanbul-lib-source-maps | 4.0.1 | indirekt |
| npm | istanbul-reports | 3.1.5 | indirekt |
| npm | iter-tools | 7.5.0 | indirekt |
| npm | jest | 28.1.3 | indirekt |
| npm | jest-changed-files | 28.1.3 | indirekt |
| npm | jest-circus | 28.1.3 | indirekt |
| npm | jest-cli | 28.1.3 | indirekt |
| npm | jest-config | 28.1.3 | indirekt |
| npm | jest-diff | 27.5.1 | indirekt |
| npm | jest-diff | 28.1.3 | indirekt |
| npm | jest-docblock | 28.1.1 | indirekt |
| npm | jest-each | 28.1.3 | indirekt |
| npm | jest-environment-node | 28.1.3 | indirekt |
| npm | jest-get-type | 27.5.1 | indirekt |
| npm | jest-get-type | 28.0.2 | indirekt |
| npm | jest-haste-map | 28.1.3 | indirekt |
| npm | jest-leak-detector | 28.1.3 | indirekt |
| npm | jest-matcher-utils | 27.5.1 | indirekt |
| npm | jest-matcher-utils | 28.1.3 | indirekt |
| npm | jest-message-util | 28.1.3 | indirekt |
| npm | jest-mock | 28.1.3 | indirekt |
| npm | jest-pnp-resolver | 1.2.2 | indirekt |
| npm | jest-regex-util | 28.0.2 | indirekt |
| npm | jest-resolve | 28.1.3 | indirekt |
| npm | jest-resolve-dependencies | 28.1.3 | indirekt |
| npm | jest-runner | 28.1.3 | indirekt |
| npm | jest-runtime | 28.1.3 | indirekt |
| npm | jest-snapshot | 28.1.3 | indirekt |
| npm | jest-util | 28.1.3 | indirekt |
| npm | jest-validate | 28.1.3 | indirekt |
| npm | jest-watcher | 28.1.3 | indirekt |
| npm | jest-worker | 28.1.3 | indirekt |
| npm | js-tokens | 4.0.0 | indirekt |
| npm | js-yaml | 3.14.2 | indirekt |
| npm | jsesc | 2.5.2 | indirekt |
| npm | json-parse-better-errors | 1.0.2 | indirekt |
| npm | json-parse-even-better-errors | 2.3.1 | indirekt |
| npm | json5 | 2.2.3 | indirekt |
| npm | jsonfile | 6.1.0 | indirekt |
| npm | kleur | 3.0.3 | indirekt |
| npm | leven | 3.1.0 | indirekt |
| npm | lines-and-columns | 1.2.4 | indirekt |
| npm | linkify-it | 5.0.1 | indirekt |
| npm | load-json-file | 4.0.0 | indirekt |
| npm | locate-path | 5.0.0 | indirekt |
| npm | lodash.memoize | 4.1.2 | indirekt |
| npm | lru-cache | 6.0.0 | indirekt |
| npm | lunr | 2.3.9 | indirekt |
| npm | make-dir | 3.1.0 | indirekt |
| npm | make-error | 1.3.6 | indirekt |
| npm | makeerror | 1.0.12 | indirekt |
| npm | markdown-it | 14.2.0 | indirekt |
| npm | mdurl | 2.0.0 | indirekt |
| npm | memorystream | 0.3.1 | indirekt |
| npm | merge-stream | 2.0.0 | indirekt |
| npm | micromatch | 4.0.8 | indirekt |
| npm | mimic-fn | 2.1.0 | indirekt |
| npm | minimatch | 3.1.5 | indirekt |
| npm | minimatch | 9.0.9 | indirekt |
| npm | ms | 2.1.2 | indirekt |
| npm | natural-compare | 1.4.0 | indirekt |
| npm | nice-try | 1.0.5 | indirekt |
| npm | node-int64 | 0.4.0 | indirekt |
| npm | node-releases | 2.0.6 | indirekt |
| npm | normalize-package-data | 2.5.0 | indirekt |
| npm | normalize-path | 3.0.0 | indirekt |
| npm | npm-run-all | 4.1.5 | indirekt |
| npm | npm-run-path | 4.0.1 | indirekt |
| npm | object-inspect | 1.12.1 | indirekt |
| npm | object-keys | 1.1.1 | indirekt |
| npm | object.assign | 4.1.2 | indirekt |
| npm | once | 1.4.0 | indirekt |
| npm | onetime | 5.1.2 | indirekt |
| npm | p-limit | 2.3.0 | indirekt |
| npm | p-limit | 3.1.0 | indirekt |
| npm | p-locate | 4.1.0 | indirekt |
| npm | p-try | 2.2.0 | indirekt |
| npm | parse-json | 4.0.0 | indirekt |
| npm | parse-json | 5.2.0 | indirekt |
| npm | path-exists | 4.0.0 | indirekt |
| npm | path-is-absolute | 1.0.1 | indirekt |
| npm | path-key | 2.0.1 | indirekt |
| npm | path-key | 3.1.1 | indirekt |
| npm | path-parse | 1.0.7 | indirekt |
| npm | path-type | 3.0.0 | indirekt |
| npm | picocolors | 1.1.1 | indirekt |
| npm | picomatch | 2.3.2 | indirekt |
| npm | pidtree | 0.3.1 | indirekt |
| npm | pify | 3.0.0 | indirekt |
| npm | pirates | 4.0.5 | indirekt |
| npm | pkg-dir | 4.2.0 | indirekt |
| npm | prettier | 3.4.2 | indirekt |
| npm | pretty-format | 27.5.1 | indirekt |
| npm | pretty-format | 28.1.3 | indirekt |
| npm | prompts | 2.4.2 | indirekt |
| npm | punycode.js | 2.3.1 | indirekt |
| npm | react-is | 17.0.2 | indirekt |
| npm | react-is | 18.2.0 | indirekt |
| npm | read-pkg | 3.0.0 | indirekt |
| npm | reduce-flatten | 2.0.0 | indirekt |
| npm | regexp.prototype.flags | 1.4.3 | indirekt |
| npm | require-directory | 2.1.1 | indirekt |
| npm | resolve | 1.22.0 | indirekt |
| npm | resolve-cwd | 3.0.0 | indirekt |
| npm | resolve-from | 5.0.0 | indirekt |
| npm | resolve.exports | 1.1.0 | indirekt |
| npm | rimraf | 3.0.2 | indirekt |
| npm | semver | 5.7.2 | indirekt |
| npm | semver | 6.3.1 | indirekt |
| npm | semver | 7.5.4 | indirekt |
| npm | semver | 7.6.3 | indirekt |
| npm | shebang-command | 1.2.0 | indirekt |
| npm | shebang-command | 2.0.0 | indirekt |
| npm | shebang-regex | 1.0.0 | indirekt |
| npm | shebang-regex | 3.0.0 | indirekt |
| npm | shell-quote | 1.8.4 | indirekt |
| npm | side-channel | 1.0.4 | indirekt |
| npm | signal-exit | 3.0.7 | indirekt |
| npm | sisteransi | 1.0.5 | indirekt |
| npm | slash | 3.0.0 | indirekt |
| npm | source-map | 0.6.1 | indirekt |
| npm | source-map-support | 0.5.13 | indirekt |
| npm | spdx-correct | 3.1.1 | indirekt |
| npm | spdx-exceptions | 2.3.0 | indirekt |
| npm | spdx-expression-parse | 3.0.1 | indirekt |
| npm | spdx-license-ids | 3.0.11 | indirekt |
| npm | sprintf-js | 1.0.3 | indirekt |
| npm | sprintf-js | 1.1.2 | indirekt |
| npm | stack-utils | 2.0.5 | indirekt |
| npm | string-length | 4.0.2 | indirekt |
| npm | string-width | 4.2.3 | indirekt |
| npm | string.prototype.padend | 3.1.3 | indirekt |
| npm | string.prototype.trimend | 1.0.5 | indirekt |
| npm | string.prototype.trimstart | 1.0.5 | indirekt |
| npm | strip-ansi | 6.0.1 | indirekt |
| npm | strip-bom | 3.0.0 | indirekt |
| npm | strip-bom | 4.0.0 | indirekt |
| npm | strip-final-newline | 2.0.0 | indirekt |
| npm | strip-json-comments | 3.1.1 | indirekt |
| npm | supports-color | 5.5.0 | indirekt |
| npm | supports-color | 7.2.0 | indirekt |
| npm | supports-color | 8.1.1 | indirekt |
| npm | supports-hyperlinks | 2.3.0 | indirekt |
| npm | supports-preserve-symlinks-flag | 1.0.0 | indirekt |
| npm | table-layout | 1.0.2 | indirekt |
| npm | terminal-link | 2.1.1 | indirekt |
| npm | test-exclude | 6.0.0 | indirekt |
| npm | tmpl | 1.0.5 | indirekt |
| npm | to-regex-range | 5.0.1 | indirekt |
| npm | ts-expect | 1.3.0 | indirekt |
| npm | ts-jest | 28.0.8 | indirekt |
| npm | ts-node | 10.9.1 | indirekt |
| npm | tslib | 2.4.0 | indirekt |
| npm | type-detect | 4.0.8 | indirekt |
| npm | type-fest | 0.21.3 | indirekt |
| npm | typedoc | 0.27.3 | indirekt |
| npm | typescript | 5.7.2 | indirekt |
| npm | typical | 5.2.0 | indirekt |
| npm | uc.micro | 2.1.0 | indirekt |
| npm | unbox-primitive | 1.0.2 | indirekt |
| npm | universalify | 2.0.1 | indirekt |
| npm | update-browserslist-db | 1.0.10 | indirekt |
| npm | v8-compile-cache-lib | 3.0.1 | indirekt |
| npm | v8-to-istanbul | 9.0.1 | indirekt |
| npm | validate-npm-package-license | 3.0.4 | indirekt |
| npm | walker | 1.0.8 | indirekt |
| npm | which | 1.3.1 | indirekt |
| npm | which | 2.0.2 | indirekt |
| npm | which-boxed-primitive | 1.0.2 | indirekt |
| npm | wordwrapjs | 4.0.1 | indirekt |
| npm | wrap-ansi | 7.0.0 | indirekt |
| npm | wrappy | 1.0.2 | indirekt |
| npm | write-file-atomic | 4.0.2 | indirekt |
| npm | y18n | 5.0.8 | indirekt |
| npm | yallist | 4.0.0 | indirekt |
| npm | yaml | 2.6.1 | indirekt |
| npm | yargs | 17.7.1 | indirekt |
| npm | yargs-parser | 21.1.1 | indirekt |
| npm | yn | 3.1.1 | indirekt |
| npm | yocto-queue | 0.1.0 | indirekt |
| NuGet | Microsoft.Z3 | — | indirekt |
| PyPI | importlib-resources | — | indirekt |
| PyPI | setuptools | — | indirekt |
JSON-Rohbericht maschinenlesbar
{
"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
}Bewertungen sind Signale, keine Garantien. Sie spiegeln öffentlich sichtbare Praxis auf GitHub wider — kein Code-Audit und keine Sicherheitsgarantie.
Fehlende Daten werden ausgeschlossen und die Gewichte neu normiert, nie als null bewertet. Die Methodik ist versioniert und offen: Metriken v1.13.0, Schema v0.12.0 — vollständige Methodik · Metriken-Wiki.
Wie ein einzelnes Ergebnis im Gesamtregister steht: aggregierte Statistiken.