Публічний реєстрДобрий
Звіт про здоров'я програмного забезпеченнясхема 0.12.0 · метрики 1.13.0 · 2026-07-18 13:29 UTC
Z3Prover / z3
The Z3 Theorem Prover
Z3Prover/z3 має індекс здоров’я 70 зі 100, що відповідає смузі «Добрий». Найвищий показник — Vitality (96/100), найнижчий — Security (52/100). Останнє оновлення — сьогодні. Більшість нещодавньої роботи виконує один учасник.
70
загалом / 100Індекс здоров'я програмного забезпечення
Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє середнє; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 49 («Під ризиком»). Готовність до ШІ не входить до індексу.
70
Відмінний85-100Зразковий; відповідає практично всім перевіреним критеріям
Добрий70-84Здоровий; незначні прогалини
Помірний50-69Прийнятний, але з помітними прогалинами; рекомендовано перевірку
У зоні ризику30-49Суттєві слабкі місця; впровадження потребує обережності
Критичний1-29Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)
Профіль оцінок
Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.
Власність
Z3 Theorem ProverОрганізація
224 підписники11 публічних репозиторіївз бер. 2015 р.
За цим репозиторієм стоїть організація — спільна, підзвітна опіка, здатна пережити будь-якого окремого мейнтейнера.
Метрики за категоріями
Життєздатність
Чи живий проєкт — чи пишеться код і чи виходять релізи?
96
Активність розробки
100Відмінний
Як обчислюється оцінка
| 36/36 | Свіжість push — останній push 0 дн. тому |
| 36/36 | Ритм комітів — 52/52 тижнів із комітами |
| 18/18 | Обсяг комітів — 2 699 комітів за останній рік |
| 10/10 | OpenSSF Scorecard: Maintained — 30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10 |
Використані вхідні дані
| commits_last_year | 2 699 |
| human_commit_share | — |
| days_since_last_push | 0 |
| active_weeks_last_year | 52 |
Дисципліна релізів
90Відмінний
Як обчислюється оцінка
| 27/27 | Випускає релізи — опубліковано 57 релізів |
| 36/36 | Свіжість релізів — останній реліз 1 дн. тому |
| 27/27 | Ритм релізів — реліз кожні ~42,9 дн. |
| 0/10 | OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases. |
Використані вхідні дані
| releases_count | 57 |
| latest_release_tag | Nightly |
| releases_from_tags | ні |
| days_since_latest_release | 1 |
| mean_days_between_releases | 42,9 |
Спільнота та впровадження
Чи має проєкт користувачів, завантаження, увагу та влаштовані умови для контриб’юторів?
72
Популярність і впровадження
97Відмінний
Як обчислюється оцінка
| 60/60 | Зірки — 12 458 зірок |
| 25/25 | Форки — 1 677 форків |
| 12.4/15 | Спостерігачі — 174 спостерігачів |
Використані вхідні дані
| forks | 1 677 |
| stars | 12 458 |
| watchers | 174 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Здоров'я спільноти
44У зоні ризику
Як обчислюється оцінка
| 22.5/22.5 | README |
| 16.9/22.5 | Ліцензія — файл ліцензії наявний, не є визнаною ліцензією |
| 0/18 | Настанови CONTRIBUTING |
| 0/13.5 | Кодекс поведінки |
| 0/7.2 | Шаблон issue |
| 0/6.3 | Шаблон PR |
Використані вхідні дані
| has_readme | так |
| has_license | так |
| has_contributing | ні |
| has_issue_template | ні |
| has_code_of_conduct | ні |
| has_pull_request_template | ні |
Сталість та врядування
Чи переживе проєкт своїх людей — бас-фактор, реактивність, хто за ним стоїть і як супроводжуються пакети?
61
Стійкість мейнтейнерів (бас-фактор)
42У зоні ризику
Як обчислюється оцінка
| 9/54 | Бас-фактор — на 1 контриб’ютор(ів) припадає половина всіх комітів |
| 9.2/22.5 | Розподіл комітів — головний контриб’ютор — автор 59% комітів |
| 13.5/13.5 | Широта контриб’юторів — 100 контриб’юторів |
| 10/10 | OpenSSF Scorecard: Contributors — project has 48 contributing companies or organizations |
Використані вхідні дані
| bus_factor | 1 |
| contributors_sampled | 100 |
| top_contributor_share | 0,591 |
Реактивність на issue та PR
77Добрий
Як обчислюється оцінка
| 46.1/46.8 | Вирішення issue — закрито 99% issue |
| 31.3/38.3 | Прийняття PR — злито 2 308/2 818 вирішених PR |
| 0/15 | OpenSSF Scorecard: Code-Review — Found 1/19 approved changesets -- score normalized to 0 |
Використані вхідні дані
| merged_prs | 2 308 |
| open_issues | 80 |
| closed_issues | 6 201 |
| issue_closed_ratio | 0,987 |
| closed_unmerged_prs | 510 |
Власність та опіка
67Помірний
Як обчислюється оцінка
| 30/30 | Підтримка власника — у власності організації |
| 0/20 | Верифікований домен |
| 16.9/25 | Охоплення власника — 224 підписників у Z3Prover |
| 19.9/25 | Послужний список — 11 публічних репозиторіїв, вік облікового запису ~11 р. |
Використані вхідні дані
| followers | 224 |
| owner_type | Organization |
| is_verified | — |
| owner_login | Z3Prover |
| public_repos | 11 |
| account_age_days | 4 131 |
Інженерна якість
Чи наявні базові інженерні практики та документація?
67
Інженерні практики
62Помірний
Як обчислюється оцінка
| 24/24 | Процеси CI — 42 процес(ів) CI |
| 24/24 | Наявні тести |
| 0/16 | Конфігурація лінтера |
| 0/9.6 | Pre-commit-хуки |
| 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 |
Використані вхідні дані
| has_ci | так |
| has_tests | так |
| has_editorconfig | ні |
| has_linter_config | ні |
| has_precommit_config | ні |
Документація
75Добрий
Як обчислюється оцінка
| 30/30 | README |
| 25/25 | Каталог документації |
| 0/15 | Сайт документації / домашня сторінка |
| 10/10 | Опис репозиторію |
| 0/10 | Теми |
| 10/10 | Wiki |
Використані вхідні дані
| topics | — |
| has_wiki | так |
| homepage | — |
| has_readme | так |
| has_docs_dir | так |
| has_description | так |
Безпека
Чи міцні видимі практики безпеки й ланцюга постачання, без непослабленої пов’язаності з юрисдикціями високого ризику?
52
Стан безпеки
52Помірний
Як обчислюється оцінка
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — branch protection not enabled on development/release branches |
| 1.8/2.5 | CI-Tests — 11 out of 15 merged PRs checked by a CI test -- score normalized to 7 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 0/7.5 | Code-Review — Found 1/19 approved changesets -- score normalized to 0 |
| 2.5/2.5 | Contributors — project has 48 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 7.5/7.5 | Dependency-Update-Tool — update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.2/2.5 | Ліцензія — license 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 |
Використані вхідні дані
| source | openssf_scorecard |
| checks_evaluated | 18 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 0 |
| scorecard_aggregate | 5,2 |
Готовність до ШІ
Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Незалежний, експериментальний бейдж — вага 0.0, тож він подається окремо і не впливає на загальний індекс здоров'я.
78
Контекст і настанови для агентів
75Добрий
Як обчислюється оцінка
| 45/45 | Інструкції для агентів — .github/copilot-instructions.md |
| 0/15 | Машиночитана документація (llms.txt) |
| 0/40 | Читабельна історія комітів — немає даних |
Використані вхідні дані
| has_llms_txt | ні |
| legible_history_share | — |
| agent_instruction_files | .github/copilot-instructions.md |
| agent_instruction_max_bytes | 6 712 |
Виключено з оцінювання (немає даних або не застосовно): Читабельна історія комітів. Залишкові ваги перенормовано.
Як обчислюється оцінка
| 18/18 | Розгортання однією командою — contrib/qprofdiff/Makefile |
| 22/22 | Автоматизовані тести |
| 0/11 | Конфігурація лінтера / форматера |
| 11/11 | Статична перевірка типів — src/api/js/tsconfig.json |
| 10/10 | Відтворюване середовище — lockfile |
| 0/10 | Підтверджена практика роботи з агентами — немає даних |
| 5/8 | Автоматизоване супроводження — автоматизацію залежностей налаштовано, але у вибірці комітів її не видно |
| 6/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 6 |
Використані вхідні дані
| has_nix | ні |
| has_tests | так |
| lockfiles | package-lock.json |
| has_dockerfile | ні |
| typed_language | так |
| bootstrap_files | contrib/qprofdiff/Makefile |
| has_devcontainer | ні |
| has_linter_config | ні |
| typecheck_configs | src/api/js/tsconfig.json |
| agent_commit_share | — |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Виключено з оцінювання (немає даних або не застосовно): Підтверджена практика роботи з агентами. Залишкові ваги перенормовано.
Читабельність коду для моделей
98Відмінний
Як обчислюється оцінка
| 45/45 | Типізований код — C++ (статично типізована) |
| 53.1/55 | Керовані розміри файлів — 84/2 373 файлів вихідного коду понад 60 КБ |
Використані вхідні дані
| primary_language | C++ |
| largest_source_bytes | 366 916 |
| source_files_sampled | 2 373 |
| oversized_source_files | 84 |
Машиночитні інтерфейси
60Помірний
Як обчислюється оцінка
| 0/40 | Схема API (OpenAPI/GraphQL/proto) |
| 20/20 | Сервер MCP |
| 40/40 | Придатні до запуску приклади — examples, notebooks |
Використані вхідні дані
| example_dirs | examples, notebooks |
| has_mcp_signal | так |
| api_schema_files | — |
Ключові факти
12 458зірок GitHub
100контриб'юторів
2 699комітів за останні 12 місяців
0днів від останнього пушу
57релізів
1бас-фактор
80відкритих issue
—пакетних екосистем
Докладніше
OpenSSF Scorecard 5.2 / 10
5.2сукупно
Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).
| 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 |
Усі залежності 406
Повний розв'язаний набір залежностей із графа залежностей GitHub: 0 прямих і 406 непрямих (транзитивних) пакетів. Транзитивне замикання є повним, коли в репозиторії закомічено lockfile.
| Реєстр | Пакет | Версія | Зв'язок |
|---|---|---|---|
| Go | ../../src/api/go | 0.0.0 | непряма |
| npm | @ampproject/remapping | 2.2.0 | непряма |
| npm | @babel/code-frame | 7.27.1 | непряма |
| npm | @babel/compat-data | 7.19.4 | непряма |
| npm | @babel/core | 7.19.3 | непряма |
| npm | @babel/generator | 7.19.5 | непряма |
| npm | @babel/generator | 7.23.0 | непряма |
| npm | @babel/helper-compilation-targets | 7.19.3 | непряма |
| npm | @babel/helper-environment-visitor | 7.18.9 | непряма |
| npm | @babel/helper-environment-visitor | 7.22.20 | непряма |
| npm | @babel/helper-function-name | 7.23.0 | непряма |
| npm | @babel/helper-hoist-variables | 7.22.5 | непряма |
| npm | @babel/helper-module-imports | 7.18.6 | непряма |
| npm | @babel/helper-module-transforms | 7.19.0 | непряма |
| npm | @babel/helper-plugin-utils | 7.19.0 | непряма |
| npm | @babel/helper-simple-access | 7.19.4 | непряма |
| npm | @babel/helper-split-export-declaration | 7.18.6 | непряма |
| npm | @babel/helper-split-export-declaration | 7.22.6 | непряма |
| npm | @babel/helper-string-parser | 7.27.1 | непряма |
| npm | @babel/helper-validator-identifier | 7.28.5 | непряма |
| npm | @babel/helper-validator-option | 7.18.6 | непряма |
| npm | @babel/helpers | 7.28.4 | непряма |
| npm | @babel/parser | 7.28.5 | непряма |
| npm | @babel/plugin-syntax-async-generators | 7.8.4 | непряма |
| npm | @babel/plugin-syntax-bigint | 7.8.3 | непряма |
| npm | @babel/plugin-syntax-class-properties | 7.12.13 | непряма |
| npm | @babel/plugin-syntax-import-meta | 7.10.4 | непряма |
| npm | @babel/plugin-syntax-json-strings | 7.8.3 | непряма |
| npm | @babel/plugin-syntax-logical-assignment-operators | 7.10.4 | непряма |
| npm | @babel/plugin-syntax-nullish-coalescing-operator | 7.8.3 | непряма |
| npm | @babel/plugin-syntax-numeric-separator | 7.10.4 | непряма |
| npm | @babel/plugin-syntax-object-rest-spread | 7.8.3 | непряма |
| npm | @babel/plugin-syntax-optional-catch-binding | 7.8.3 | непряма |
| npm | @babel/plugin-syntax-optional-chaining | 7.8.3 | непряма |
| npm | @babel/plugin-syntax-top-level-await | 7.14.5 | непряма |
| npm | @babel/plugin-syntax-typescript | 7.18.6 | непряма |
| npm | @babel/runtime | 7.28.4 | непряма |
| npm | @babel/template | 7.27.2 | непряма |
| npm | @babel/traverse | 7.23.2 | непряма |
| npm | @babel/types | 7.28.5 | непряма |
| npm | @bcoe/v8-coverage | 0.2.3 | непряма |
| npm | @cspotcode/source-map-support | 0.8.1 | непряма |
| npm | @gerrit0/mini-shiki | 1.24.1 | непряма |
| npm | @istanbuljs/load-nyc-config | 1.1.0 | непряма |
| npm | @istanbuljs/schema | 0.1.3 | непряма |
| npm | @jest/console | 28.1.3 | непряма |
| npm | @jest/core | 28.1.3 | непряма |
| npm | @jest/environment | 28.1.3 | непряма |
| npm | @jest/expect | 28.1.3 | непряма |
| npm | @jest/expect-utils | 28.1.3 | непряма |
| npm | @jest/fake-timers | 28.1.3 | непряма |
| npm | @jest/globals | 28.1.3 | непряма |
| npm | @jest/reporters | 28.1.3 | непряма |
| npm | @jest/schemas | 28.1.3 | непряма |
| npm | @jest/source-map | 28.1.2 | непряма |
| npm | @jest/test-result | 28.1.3 | непряма |
| npm | @jest/test-sequencer | 28.1.3 | непряма |
| npm | @jest/transform | 28.1.3 | непряма |
| npm | @jest/types | 28.1.3 | непряма |
| npm | @jridgewell/gen-mapping | 0.1.1 | непряма |
| npm | @jridgewell/gen-mapping | 0.3.2 | непряма |
| npm | @jridgewell/gen-mapping | 0.3.3 | непряма |
| npm | @jridgewell/resolve-uri | 3.1.0 | непряма |
| npm | @jridgewell/set-array | 1.1.2 | непряма |
| npm | @jridgewell/sourcemap-codec | 1.4.14 | непряма |
| npm | @jridgewell/trace-mapping | 0.3.17 | непряма |
| npm | @jridgewell/trace-mapping | 0.3.9 | непряма |
| npm | @shikijs/engine-oniguruma | 1.24.0 | непряма |
| npm | @shikijs/types | 1.24.0 | непряма |
| npm | @shikijs/vscode-textmate | 9.3.0 | непряма |
| npm | @sinclair/typebox | 0.24.46 | непряма |
| npm | @sinonjs/commons | 1.8.3 | непряма |
| npm | @sinonjs/fake-timers | 9.1.2 | непряма |
| npm | @tsconfig/node10 | 1.0.9 | непряма |
| npm | @tsconfig/node12 | 1.0.11 | непряма |
| npm | @tsconfig/node14 | 1.0.3 | непряма |
| npm | @tsconfig/node16 | 1.0.3 | непряма |
| npm | @types/babel__core | 7.1.19 | непряма |
| npm | @types/babel__generator | 7.6.4 | непряма |
| npm | @types/babel__template | 7.4.1 | непряма |
| npm | @types/babel__traverse | 7.18.2 | непряма |
| npm | @types/graceful-fs | 4.1.5 | непряма |
| npm | @types/hast | 3.0.4 | непряма |
| npm | @types/istanbul-lib-coverage | 2.0.4 | непряма |
| npm | @types/istanbul-lib-report | 3.0.0 | непряма |
| npm | @types/istanbul-reports | 3.0.1 | непряма |
| npm | @types/jest | 27.5.2 | непряма |
| npm | @types/node | 17.0.45 | непряма |
| npm | @types/prettier | 2.7.1 | непряма |
| npm | @types/sprintf-js | 1.1.2 | непряма |
| npm | @types/stack-utils | 2.0.1 | непряма |
| npm | @types/unist | 3.0.3 | непряма |
| npm | @types/yargs | 17.0.13 | непряма |
| npm | @types/yargs-parser | 21.0.0 | непряма |
| npm | acorn | 8.8.0 | непряма |
| npm | acorn-walk | 8.2.0 | непряма |
| npm | ansi-escapes | 4.3.2 | непряма |
| npm | ansi-regex | 5.0.1 | непряма |
| npm | ansi-styles | 3.2.1 | непряма |
| npm | ansi-styles | 4.3.0 | непряма |
| npm | ansi-styles | 5.2.0 | непряма |
| npm | anymatch | 3.1.2 | непряма |
| npm | arg | 4.1.3 | непряма |
| npm | argparse | 1.0.10 | непряма |
| npm | argparse | 2.0.1 | непряма |
| npm | array-back | 4.0.2 | непряма |
| npm | async-mutex | 0.3.2 | непряма |
| npm | babel-jest | 28.1.3 | непряма |
| npm | babel-plugin-istanbul | 6.1.1 | непряма |
| npm | babel-plugin-jest-hoist | 28.1.3 | непряма |
| npm | babel-preset-current-node-syntax | 1.0.1 | непряма |
| npm | babel-preset-jest | 28.1.3 | непряма |
| npm | balanced-match | 1.0.2 | непряма |
| npm | bluebird | 3.7.2 | непряма |
| npm | brace-expansion | 1.1.12 | непряма |
| npm | brace-expansion | 2.0.2 | непряма |
| npm | braces | 3.0.3 | непряма |
| npm | browserslist | 4.21.4 | непряма |
| npm | bs-logger | 0.2.6 | непряма |
| npm | bser | 2.1.1 | непряма |
| npm | buffer-from | 1.1.2 | непряма |
| npm | call-bind | 1.0.2 | непряма |
| npm | callsites | 3.1.0 | непряма |
| npm | camelcase | 5.3.1 | непряма |
| npm | camelcase | 6.3.0 | непряма |
| npm | caniuse-lite | 1.0.30001419 | непряма |
| npm | chalk | 2.4.2 | непряма |
| npm | chalk | 4.1.2 | непряма |
| npm | char-regex | 1.0.2 | непряма |
| npm | check-engine | 1.14.0 | непряма |
| npm | ci-info | 3.5.0 | непряма |
| npm | cjs-module-lexer | 1.2.2 | непряма |
| npm | cliui | 8.0.1 | непряма |
| npm | co | 4.6.0 | непряма |
| npm | collect-v8-coverage | 1.0.1 | непряма |
| npm | color-convert | 1.9.3 | непряма |
| npm | color-convert | 2.0.1 | непряма |
| npm | color-name | 1.1.3 | непряма |
| npm | color-name | 1.1.4 | непряма |
| npm | colors | 1.4.0 | непряма |
| npm | command-line-usage | 6.1.3 | непряма |
| npm | concat-map | 0.0.1 | непряма |
| npm | convert-source-map | 1.9.0 | непряма |
| npm | create-require | 1.1.1 | непряма |
| npm | cross-spawn | 6.0.6 | непряма |
| npm | cross-spawn | 7.0.6 | непряма |
| npm | debug | 4.3.4 | непряма |
| npm | dedent | 0.7.0 | непряма |
| npm | deep-extend | 0.6.0 | непряма |
| npm | deepmerge | 4.2.2 | непряма |
| npm | define-properties | 1.1.4 | непряма |
| npm | detect-newline | 3.1.0 | непряма |
| npm | diff | 4.0.2 | непряма |
| npm | diff-sequences | 27.5.1 | непряма |
| npm | diff-sequences | 28.1.1 | непряма |
| npm | electron-to-chromium | 1.4.282 | непряма |
| npm | emittery | 0.10.2 | непряма |
| npm | emoji-regex | 8.0.0 | непряма |
| npm | entities | 4.5.0 | непряма |
| npm | error-ex | 1.3.2 | непряма |
| npm | es-abstract | 1.20.1 | непряма |
| npm | es-to-primitive | 1.2.1 | непряма |
| npm | escalade | 3.1.1 | непряма |
| npm | escape-string-regexp | 1.0.5 | непряма |
| npm | escape-string-regexp | 2.0.0 | непряма |
| npm | esprima | 4.0.1 | непряма |
| npm | execa | 5.1.1 | непряма |
| npm | exit | 0.1.2 | непряма |
| npm | expect | 28.1.3 | непряма |
| npm | fast-json-stable-stringify | 2.1.0 | непряма |
| npm | fb-watchman | 2.0.2 | непряма |
| npm | fill-range | 7.1.1 | непряма |
| npm | find-up | 4.1.0 | непряма |
| npm | fs.realpath | 1.0.0 | непряма |
| npm | fsevents | 2.3.2 | непряма |
| npm | function-bind | 1.1.1 | непряма |
| npm | function.prototype.name | 1.1.5 | непряма |
| npm | functions-have-names | 1.2.3 | непряма |
| npm | gensync | 1.0.0-beta.2 | непряма |
| npm | get-caller-file | 2.0.5 | непряма |
| npm | get-intrinsic | 1.1.1 | непряма |
| npm | get-package-type | 0.1.0 | непряма |
| npm | get-stream | 6.0.1 | непряма |
| npm | get-symbol-description | 1.0.0 | непряма |
| npm | glob | 7.2.3 | непряма |
| npm | globals | 11.12.0 | непряма |
| npm | graceful-fs | 4.2.10 | непряма |
| npm | has | 1.0.3 | непряма |
| npm | has-bigints | 1.0.2 | непряма |
| npm | has-flag | 3.0.0 | непряма |
| npm | has-flag | 4.0.0 | непряма |
| npm | has-property-descriptors | 1.0.0 | непряма |
| npm | has-symbols | 1.0.3 | непряма |
| npm | has-tostringtag | 1.0.0 | непряма |
| npm | hosted-git-info | 2.8.9 | непряма |
| npm | html-escaper | 2.0.2 | непряма |
| npm | human-signals | 2.1.0 | непряма |
| npm | import-local | 3.1.0 | непряма |
| npm | imurmurhash | 0.1.4 | непряма |
| npm | inflight | 1.0.6 | непряма |
| npm | inherits | 2.0.4 | непряма |
| npm | internal-slot | 1.0.3 | непряма |
| npm | is-arrayish | 0.2.1 | непряма |
| npm | is-bigint | 1.0.4 | непряма |
| npm | is-boolean-object | 1.1.2 | непряма |
| npm | is-callable | 1.2.4 | непряма |
| npm | is-core-module | 2.9.0 | непряма |
| npm | is-date-object | 1.0.5 | непряма |
| npm | is-fullwidth-code-point | 3.0.0 | непряма |
| npm | is-generator-fn | 2.1.0 | непряма |
| npm | is-negative-zero | 2.0.2 | непряма |
| npm | is-number | 7.0.0 | непряма |
| npm | is-number-object | 1.0.7 | непряма |
| npm | is-regex | 1.1.4 | непряма |
| npm | is-shared-array-buffer | 1.0.2 | непряма |
| npm | is-stream | 2.0.1 | непряма |
| npm | is-string | 1.0.7 | непряма |
| npm | is-symbol | 1.0.4 | непряма |
| npm | is-weakref | 1.0.2 | непряма |
| npm | isexe | 2.0.0 | непряма |
| npm | istanbul-lib-coverage | 3.2.0 | непряма |
| npm | istanbul-lib-instrument | 5.2.1 | непряма |
| npm | istanbul-lib-report | 3.0.0 | непряма |
| npm | istanbul-lib-source-maps | 4.0.1 | непряма |
| npm | istanbul-reports | 3.1.5 | непряма |
| npm | iter-tools | 7.5.0 | непряма |
| npm | jest | 28.1.3 | непряма |
| npm | jest-changed-files | 28.1.3 | непряма |
| npm | jest-circus | 28.1.3 | непряма |
| npm | jest-cli | 28.1.3 | непряма |
| npm | jest-config | 28.1.3 | непряма |
| npm | jest-diff | 27.5.1 | непряма |
| npm | jest-diff | 28.1.3 | непряма |
| npm | jest-docblock | 28.1.1 | непряма |
| npm | jest-each | 28.1.3 | непряма |
| npm | jest-environment-node | 28.1.3 | непряма |
| npm | jest-get-type | 27.5.1 | непряма |
| npm | jest-get-type | 28.0.2 | непряма |
| npm | jest-haste-map | 28.1.3 | непряма |
| npm | jest-leak-detector | 28.1.3 | непряма |
| npm | jest-matcher-utils | 27.5.1 | непряма |
| npm | jest-matcher-utils | 28.1.3 | непряма |
| npm | jest-message-util | 28.1.3 | непряма |
| npm | jest-mock | 28.1.3 | непряма |
| npm | jest-pnp-resolver | 1.2.2 | непряма |
| npm | jest-regex-util | 28.0.2 | непряма |
| npm | jest-resolve | 28.1.3 | непряма |
| npm | jest-resolve-dependencies | 28.1.3 | непряма |
| npm | jest-runner | 28.1.3 | непряма |
| npm | jest-runtime | 28.1.3 | непряма |
| npm | jest-snapshot | 28.1.3 | непряма |
| npm | jest-util | 28.1.3 | непряма |
| npm | jest-validate | 28.1.3 | непряма |
| npm | jest-watcher | 28.1.3 | непряма |
| npm | jest-worker | 28.1.3 | непряма |
| npm | js-tokens | 4.0.0 | непряма |
| npm | js-yaml | 3.14.2 | непряма |
| npm | jsesc | 2.5.2 | непряма |
| npm | json-parse-better-errors | 1.0.2 | непряма |
| npm | json-parse-even-better-errors | 2.3.1 | непряма |
| npm | json5 | 2.2.3 | непряма |
| npm | jsonfile | 6.1.0 | непряма |
| npm | kleur | 3.0.3 | непряма |
| npm | leven | 3.1.0 | непряма |
| npm | lines-and-columns | 1.2.4 | непряма |
| npm | linkify-it | 5.0.1 | непряма |
| npm | load-json-file | 4.0.0 | непряма |
| npm | locate-path | 5.0.0 | непряма |
| npm | lodash.memoize | 4.1.2 | непряма |
| npm | lru-cache | 6.0.0 | непряма |
| npm | lunr | 2.3.9 | непряма |
| npm | make-dir | 3.1.0 | непряма |
| npm | make-error | 1.3.6 | непряма |
| npm | makeerror | 1.0.12 | непряма |
| npm | markdown-it | 14.2.0 | непряма |
| npm | mdurl | 2.0.0 | непряма |
| npm | memorystream | 0.3.1 | непряма |
| npm | merge-stream | 2.0.0 | непряма |
| npm | micromatch | 4.0.8 | непряма |
| npm | mimic-fn | 2.1.0 | непряма |
| npm | minimatch | 3.1.5 | непряма |
| npm | minimatch | 9.0.9 | непряма |
| npm | ms | 2.1.2 | непряма |
| npm | natural-compare | 1.4.0 | непряма |
| npm | nice-try | 1.0.5 | непряма |
| npm | node-int64 | 0.4.0 | непряма |
| npm | node-releases | 2.0.6 | непряма |
| npm | normalize-package-data | 2.5.0 | непряма |
| npm | normalize-path | 3.0.0 | непряма |
| npm | npm-run-all | 4.1.5 | непряма |
| npm | npm-run-path | 4.0.1 | непряма |
| npm | object-inspect | 1.12.1 | непряма |
| npm | object-keys | 1.1.1 | непряма |
| npm | object.assign | 4.1.2 | непряма |
| npm | once | 1.4.0 | непряма |
| npm | onetime | 5.1.2 | непряма |
| npm | p-limit | 2.3.0 | непряма |
| npm | p-limit | 3.1.0 | непряма |
| npm | p-locate | 4.1.0 | непряма |
| npm | p-try | 2.2.0 | непряма |
| npm | parse-json | 4.0.0 | непряма |
| npm | parse-json | 5.2.0 | непряма |
| npm | path-exists | 4.0.0 | непряма |
| npm | path-is-absolute | 1.0.1 | непряма |
| npm | path-key | 2.0.1 | непряма |
| npm | path-key | 3.1.1 | непряма |
| npm | path-parse | 1.0.7 | непряма |
| npm | path-type | 3.0.0 | непряма |
| npm | picocolors | 1.1.1 | непряма |
| npm | picomatch | 2.3.2 | непряма |
| npm | pidtree | 0.3.1 | непряма |
| npm | pify | 3.0.0 | непряма |
| npm | pirates | 4.0.5 | непряма |
| npm | pkg-dir | 4.2.0 | непряма |
| npm | prettier | 3.4.2 | непряма |
| npm | pretty-format | 27.5.1 | непряма |
| npm | pretty-format | 28.1.3 | непряма |
| npm | prompts | 2.4.2 | непряма |
| npm | punycode.js | 2.3.1 | непряма |
| npm | react-is | 17.0.2 | непряма |
| npm | react-is | 18.2.0 | непряма |
| npm | read-pkg | 3.0.0 | непряма |
| npm | reduce-flatten | 2.0.0 | непряма |
| npm | regexp.prototype.flags | 1.4.3 | непряма |
| npm | require-directory | 2.1.1 | непряма |
| npm | resolve | 1.22.0 | непряма |
| npm | resolve-cwd | 3.0.0 | непряма |
| npm | resolve-from | 5.0.0 | непряма |
| npm | resolve.exports | 1.1.0 | непряма |
| npm | rimraf | 3.0.2 | непряма |
| npm | semver | 5.7.2 | непряма |
| npm | semver | 6.3.1 | непряма |
| npm | semver | 7.5.4 | непряма |
| npm | semver | 7.6.3 | непряма |
| npm | shebang-command | 1.2.0 | непряма |
| npm | shebang-command | 2.0.0 | непряма |
| npm | shebang-regex | 1.0.0 | непряма |
| npm | shebang-regex | 3.0.0 | непряма |
| npm | shell-quote | 1.8.4 | непряма |
| npm | side-channel | 1.0.4 | непряма |
| npm | signal-exit | 3.0.7 | непряма |
| npm | sisteransi | 1.0.5 | непряма |
| npm | slash | 3.0.0 | непряма |
| npm | source-map | 0.6.1 | непряма |
| npm | source-map-support | 0.5.13 | непряма |
| npm | spdx-correct | 3.1.1 | непряма |
| npm | spdx-exceptions | 2.3.0 | непряма |
| npm | spdx-expression-parse | 3.0.1 | непряма |
| npm | spdx-license-ids | 3.0.11 | непряма |
| npm | sprintf-js | 1.0.3 | непряма |
| npm | sprintf-js | 1.1.2 | непряма |
| npm | stack-utils | 2.0.5 | непряма |
| npm | string-length | 4.0.2 | непряма |
| npm | string-width | 4.2.3 | непряма |
| npm | string.prototype.padend | 3.1.3 | непряма |
| npm | string.prototype.trimend | 1.0.5 | непряма |
| npm | string.prototype.trimstart | 1.0.5 | непряма |
| npm | strip-ansi | 6.0.1 | непряма |
| npm | strip-bom | 3.0.0 | непряма |
| npm | strip-bom | 4.0.0 | непряма |
| npm | strip-final-newline | 2.0.0 | непряма |
| npm | strip-json-comments | 3.1.1 | непряма |
| npm | supports-color | 5.5.0 | непряма |
| npm | supports-color | 7.2.0 | непряма |
| npm | supports-color | 8.1.1 | непряма |
| npm | supports-hyperlinks | 2.3.0 | непряма |
| npm | supports-preserve-symlinks-flag | 1.0.0 | непряма |
| npm | table-layout | 1.0.2 | непряма |
| npm | terminal-link | 2.1.1 | непряма |
| npm | test-exclude | 6.0.0 | непряма |
| npm | tmpl | 1.0.5 | непряма |
| npm | to-regex-range | 5.0.1 | непряма |
| npm | ts-expect | 1.3.0 | непряма |
| npm | ts-jest | 28.0.8 | непряма |
| npm | ts-node | 10.9.1 | непряма |
| npm | tslib | 2.4.0 | непряма |
| npm | type-detect | 4.0.8 | непряма |
| npm | type-fest | 0.21.3 | непряма |
| npm | typedoc | 0.27.3 | непряма |
| npm | typescript | 5.7.2 | непряма |
| npm | typical | 5.2.0 | непряма |
| npm | uc.micro | 2.1.0 | непряма |
| npm | unbox-primitive | 1.0.2 | непряма |
| npm | universalify | 2.0.1 | непряма |
| npm | update-browserslist-db | 1.0.10 | непряма |
| npm | v8-compile-cache-lib | 3.0.1 | непряма |
| npm | v8-to-istanbul | 9.0.1 | непряма |
| npm | validate-npm-package-license | 3.0.4 | непряма |
| npm | walker | 1.0.8 | непряма |
| npm | which | 1.3.1 | непряма |
| npm | which | 2.0.2 | непряма |
| npm | which-boxed-primitive | 1.0.2 | непряма |
| npm | wordwrapjs | 4.0.1 | непряма |
| npm | wrap-ansi | 7.0.0 | непряма |
| npm | wrappy | 1.0.2 | непряма |
| npm | write-file-atomic | 4.0.2 | непряма |
| npm | y18n | 5.0.8 | непряма |
| npm | yallist | 4.0.0 | непряма |
| npm | yaml | 2.6.1 | непряма |
| npm | yargs | 17.7.1 | непряма |
| npm | yargs-parser | 21.1.1 | непряма |
| npm | yn | 3.1.1 | непряма |
| npm | yocto-queue | 0.1.0 | непряма |
| NuGet | Microsoft.Z3 | — | непряма |
| PyPI | importlib-resources | — | непряма |
| PyPI | setuptools | — | непряма |
Звіт у форматі JSON машиночитний
{
"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
}Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.
Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v1.13.0, схема v0.12.0 — повна методологія · вікі метрик.
Як окремий результат виглядає на тлі всього реєстру: сукупна статистика.