Публічний реєстр
Звіт про здоров'я програмного забезпеченнясхема 0.34.0 · метрики 2.10.0 · 2026-09-17 01:00 UTC

Paper-Proof / paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.

TypeScript · Lean · CSSMIT★ 549 зірок⑂ 18 форківз бер. 2023 р.Переглянути на GitHub ↗
ТипБібліотекаМережевий сервісВебінтерфейсяк це визначено
#lean4#mathematics

Paper-Proof/paperproof має індекс здоров’я 54 зі 100, що відповідає смузі «Помірний». Найвищий показник — Vitality (76/100), найнижчий — Security (35/100). Останнє оновлення було 10 днів тому. Більшість нещодавньої роботи виконує один учасник.

54
загалом / 100
Помірний

Індекс здоров'я програмного забезпечення

Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє зважене середнє, відкаліброване за розподілом публічного реєстру, тож діапазони мають перцентильний зміст; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 34 («У зоні ризику»).

54
Винятковий93-100Верхній щабель реєстру (≈ топ-5%); відповідає практично всім перевіреним критеріям
Відмінний80-92Сильний за всіма напрямами; незначні прогалини
Добрий65-79Здоровий; прогалини обмежені та керовані
Помірний50-64Прийнятний, але з помітними прогалинами; рекомендовано перевірку
Слабкий35-49Суттєві недоліки в кількох сферах
У зоні ризику20-34Суттєві слабкі місця; впровадження потребує обережності
Критичний1-19Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)
ЖиттєздатністьСпільнота тавпровадженняСталість таврядуванняІнженернаякістьБезпекаГотовність доШІ

Профіль оцінок

Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.

Зважений загальний бал 53 калібровано до 54 за шкалою опублікованого індексу (калібрування реєстру 2026-08-02).

Власність

PaperproofОрганізація
14 підписників2 публічні репозиторіїз лип. 2023 р.

За цим репозиторієм стоїть організація — спільна, підзвітна опіка, здатна пережити будь-якого окремого мейнтейнера.

Метрики за категоріями

Життєздатність

Чи живий проєкт — чи пишеться код і чи виходять релізи?

76Добрий · 21% загального індексу

Активність розробки

66Добрий
Як обчислюється оцінка
28.8/36Свіжість push — останній push 10 дн. тому
9/36Ритм комітів — 13/52 тижнів із комітами
17.9/18Обсяг комітів — 98 комітів за останній рік
10/10OpenSSF Scorecard: Maintained — 30 commit(s) and 5 issue activity found in the last 90 days -- score normalized to 10
Використані вхідні дані
commits_last_year98
human_commit_share1
days_since_last_push10
active_weeks_last_year13

Дисципліна релізів

90Відмінний
Як обчислюється оцінка
27/27Випускає релізи — опубліковано 12 релізів
27/36Свіжість релізів — останній реліз 161 дн. тому
27/27Ритм релізів — реліз кожні ~30,1 дн.
0/10OpenSSF Scorecard: Signed-Releases — немає даних
Використані вхідні дані
releases_count12
latest_release_tagv2.10.0
releases_from_tagsні
days_since_latest_release161
mean_days_between_releases30,1
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Signed-Releases. Залишкові ваги перенормовано.

Спільнота та впровадження

Чи має проєкт користувачів, завантаження, увагу та влаштовані умови для контриб’юторів?

65Добрий · 17% загального індексу

Популярність і впровадження

60Помірний
Як обчислюється оцінка
44.4/60Зірки — 549 зірок
10.3/25Форки — 18 форків
5.8/15Спостерігачі — 12 спостерігачів
Використані вхідні дані
forks18
stars549
watchers12
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

Здоров'я спільноти

70Добрий
Як обчислюється оцінка
22.5/22.5README
22.5/22.5Ліцензія — визнана ліцензія (MIT)
18/18Настанови CONTRIBUTING
0/13.5Кодекс поведінки
0/7.2Шаблон issue
0/6.3Шаблон PR
Використані вхідні дані
has_readmeтак
has_licenseтак
readme_badges1
has_contributingтак
has_issue_templateні
has_code_of_conductні
readme_badge_servicesgithub.com
has_pull_request_templateні

Сталість та врядування

Чи переживе проєкт своїх людей — бас-фактор, реактивність, хто за ним стоїть і як супроводжуються пакети?

45Слабкий · 23% загального індексу

Стійкість мейнтейнерів (бас-фактор)

25У зоні ризику
Як обчислюється оцінка
9/54Бас-фактор — на 1 контриб’ютор(ів) припадає половина всіх комітів
5.2/22.5Розподіл комітів — головний контриб’ютор — автор 77% комітів
8.1/13.5Широта контриб’юторів — 6 контриб’юторів
3/10OpenSSF Scorecard: Contributors — project has 1 contributing companies or organizations -- score normalized to 3
Використані вхідні дані
bus_factor1
contributors_sampled6
top_contributor_share0,77

Реактивність на issue та PR

67Добрий
Як обчислюється оцінка
32.1/42Вирішення issue — закрито 76% issue
25.9/30Прийняття PR — злито 19/22 вирішених PR
0/13Newcomer PR acceptance — за 30 дн. не вирішено жодного PR від новачка
0/15OpenSSF Scorecard: Code-Review — Found 0/30 approved changesets -- score normalized to 0
Використані вхідні дані
merged_prs19
open_issues12
closed_issues39
prs_merged_7d0
prs_decided_7d0
prs_merged_30d0
prs_decided_30d0
issue_closed_ratio0,765
closed_unmerged_prs3
first_time_authors_30d0
first_time_prs_merged_30d0
first_time_prs_decided_30d0
Виключено з оцінювання (немає даних або не застосовно): Newcomer PR acceptance. Залишкові ваги перенормовано.

Власність та опіка

48Слабкий
Як обчислюється оцінка
30/30Підтримка власника — у власності організації
0/20Верифікований домен
8.5/25Охоплення власника — 14 підписників у Paper-Proof
9.9/25Послужний список — 2 публічних репозиторіїв, вік облікового запису ~3 р.
Використані вхідні дані
followers14
owner_typeOrganization
is_verifiedні
owner_loginPaper-Proof
public_repos2
account_age_days1 171

Інженерна якість

Чи наявні базові інженерні практики та документація?

42Слабкий · 19% загального індексу

Інженерні практики

20У зоні ризику
Як обчислюється оцінка
0/24Процеси CI
0/24Наявні тести
16/16Конфігурація лінтера — .eslintrc.json
0/9.6Pre-commit-хуки
0/6.4.editorconfig
0/20OpenSSF Scorecard: CI-Tests — немає даних
Використані вхідні дані
has_ciні
has_testsні
has_editorconfigні
has_linter_configтак
has_precommit_configні
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: CI-Tests. Залишкові ваги перенормовано.

Документація

75Добрий
Як обчислюється оцінка
30/30README
0/25Каталог документації
15/15Сайт документації / домашня сторінка — https://paperproof.xyz
10/10Опис репозиторію
10/10Теми — 2 тем
10/10Wiki
Використані вхідні дані
topicslean4, mathematics
has_wikiтак
homepagehttps://paperproof.xyz
docs_sitehttps://paperproof.xyz
has_readmeтак
has_docs_dirні
has_descriptionтак

Безпека

Чи міцні видимі практики безпеки й ланцюга постачання, без непослабленої пов’язаності з юрисдикціями високого ризику?

35Слабкий · 16% загального індексу

Стан безпеки

25У зоні ризику
Як обчислюється оцінка
7.5/7.5Binary-Artifacts — no binaries found in the repo
0/7.5Branch-Protection — branch protection not enabled on development/release branches
0/2.5CI-Tests — немає даних
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
0/7.5Code-Review — Found 0/30 approved changesets -- score normalized to 0
0.8/2.5Contributors — project has 1 contributing companies or organizations -- score normalized to 3
0/10Dangerous-Workflow — немає даних
0/7.5Dependency-Update-Tool — no update tool detected
0/5Fuzzing — project is not fuzzed
2.5/2.5Ліцензія — license file detected
7.5/7.5Maintained — 30 commit(s) and 5 issue activity found in the last 90 days -- score normalized to 10
0/5Packaging — немає даних
0/5Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
0/5SAST — no SAST tool detected
0/5Security-Policy — security policy file not detected
0/7.5Signed-Releases — немає даних
0/7.5Token-Permissions — немає даних
0/7.5Vulnerabilities — 49 existing vulnerabilities detected
Використані вхідні дані
sourceopenssf_scorecard
checks_evaluated13
scorecard_versionv5.5.0
checks_inconclusive5
scorecard_aggregate2,5
Виключено з оцінювання (немає даних або не застосовно): CI-Tests, Dangerous-Workflow, Packaging, Signed-Releases, Token-Permissions. Залишкові ваги перенормовано.

Сповіщення про залежності

74Добрий
Як обчислюється оцінка
20.2/35Прямі залежності без відомих сповіщень — уражено 1: esbuild 0.19.12 (moderate 5.3)
0/25Непрямі залежності без відомих сповіщень — транзитивний набір не відокремлюється від залежностей розробки й тестування в цьому обсязі
35.3/40Немає задавнених сповіщень — 1 пакет(ів) зі сповіщеннями без реакції понад 90 дн.; найдавніше опубліковано 583 дн. тому
Використані вхідні дані
sourceosv
advisories71
affected_packages16
assessed_packages409
unassessed_packages0
affected_by_severitycritical 1, high 7, moderate 7, low 1
direct_affected_packages1
Виключено з оцінювання (немає даних або не застосовно): Непрямі залежності без відомих сповіщень. Залишкові ваги перенормовано. Звірено 409 резолвлених залежностей із OSV. Цей репозиторій не публікує пакета, який резолвить індекс, тож натомість оцінено граф залежностей репозиторію. Цей граф змішує закріплені версії для розробки й тестування зі справді постачаними залежностями, тож оцінюються лише задекларовані runtime-залежності; транзитивні знахідки подаються як контекст і в оцінку не входять. Досяжність не аналізується.

Готовність до ШІ

Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Має свідомо малу вагу (4%): агентний інструментарій — реальний сигнал супроводу, але репозиторій без нього все одно може отримати 100/100.

42Слабкий · 4% загального індексу

Контекст і настанови для агентів

2Критичний
Як обчислюється оцінка
0/45Інструкції для агентів — немає CLAUDE.md / AGENTS.md / правил редактора
0/15Машиночитана документація (llms.txt)
2.1/40Читабельна історія комітів — намір зазначено у 4 з 100 людських комітів (структурований заголовок або пояснювальний текст)
Використані вхідні дані
has_llms_txtні
llms_txt_url—
legible_history_share0,04
agent_instruction_files—
agent_instruction_max_bytes—

Цикл верифікації (збірка / тести / перевірка типів)

50Помірний
Як обчислюється оцінка
18/18Розгортання однією командою — Makefile
0/22Автоматизовані тести
11/11Конфігурація лінтера / форматера — .eslintrc.json
11/11Статична перевірка типів — app/tsconfig.json, extension/tsconfig.json, paperproof.xyz/tsconfig.json
10/10Відтворюване середовище — devcontainer, Dockerfile, lockfile
0/10Підтверджена практика роботи з агентами — серед останніх 100 комітів немає створених агентом
0/8Автоматизоване супроводження — автоматичних оновлень залежностей не виявлено
0/10OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
Використані вхідні дані
has_nixні
has_testsні
lockfilespackage-lock.json, yarn.lock
has_dockerfileтак
typed_languageтак
bootstrap_filesMakefile
has_devcontainerтак
has_linter_configтак
typecheck_configsapp/tsconfig.json, extension/tsconfig.json, paperproof.xyz/tsconfig.json
agent_commit_share0
toolchain_manifests—
dependency_bot_commit_share0

Читабельність коду для моделей

100Винятковий
Як обчислюється оцінка
45/45Типізований код — TypeScript (статично типізована)
55/55Керовані розміри файлів — 0/88 файлів вихідного коду понад 60 КБ
Використані вхідні дані
primary_languageTypeScript
largest_source_bytes22 039
source_files_sampled88
oversized_source_files0

Машиночитні інтерфейси

40Слабкий
Як обчислюється оцінка
0/40Схема API (OpenAPI/GraphQL/proto)
0/20Сервер MCP
40/40Придатні до запуску приклади — demos
Використані вхідні дані
example_dirsdemos
has_mcp_signalні
api_schema_files—
interfaces_expected_ofnetwork-service

Ключові факти

549зірок GitHub
6контриб'юторів
98комітів за останні 12 місяців
10днів від останнього пушу
12релізів
1бас-фактор
12відкритих issue
npmпакетних екосистем

Попередження щодо збору даних

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
  • Could not fetch npm package 'paperproof' from its registry
  • Could not fetch npm package 'paperproof-server' from its registry

Докладніше

Історія зірок і форків 0 ★ / 18 ⇿
0Зірки
18Форки
12Релізи

Коли додано кожну зірку й форк — зібрано з GitHub і згруповано за днями. Кумулятивне зростання розміщено просто над денними додаваннями, з яких воно складається, тож їх видно одне проти одного: рівномірне органічне накопичення виглядає зовсім інакше, ніж різкий короткочасний сплеск. Там, де цю різницю можна виміряти, її подано як автентичність росту.

0481216201822023-042024-122026-08
Мажорні 2Мінорні 6Патчі 3

Кожна точка охоплює 4 днів.

OpenSSF Scorecard 2.5 / 10
2.5сукупно

Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).Scorecard v5.5.0 · 2026-09-17 01:00 UTC

10Binary-Artifactsno binaries found in the repo
0Branch-Protectionbranch protection not enabled on development/release branches
н/дCI-Testsno pull request found
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
0Code-ReviewFound 0/30 approved changesets -- score normalized to 0
3Contributorsproject has 1 contributing companies or organizations -- score normalized to 3
н/дDangerous-Workflowno workflows found
0Dependency-Update-Toolno update tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
10Maintained30 commit(s) and 5 issue activity found in the last 90 days -- score normalized to 10
н/дPackagingpackaging workflow not detected
0Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
0SASTno SAST tool detected
0Security-Policysecurity policy file not detected
н/дSigned-Releasesno releases found
н/дToken-PermissionsNo tokens found
0Vulnerabilities49 existing vulnerabilities detected
Прямі залежності 22
РеєстрПакетОбмеження версіїМаніфест
npm@emotion/react^11.11.1app/package.json
npm@emotion/styled^11.11.0app/package.json
npm@gradio/client^1.5.0app/package.json
npm@monaco-editor/react^4.7.0app/package.json
npm@mui/material^5.15.1app/package.json
npm@types/katex^0.16.8app/package.json
npmkatex^0.16.44app/package.json
npmmonaco-editor^0.54.0app/package.json
npmmonaco-themes^0.4.7app/package.json
npmperfect-arrows^0.3.7app/package.json
npmreact^18.2.0app/package.json
npmreact-dom^18.2.0app/package.json
npmesbuild^0.19.11extension/package.json
npmnode-fetch^3.3.1extension/package.json
npmvscode-languageserver-protocol^3.17.3extension/package.json
npm@monaco-editor/react^4.7.0paperproof.xyz/package.json
npmcors^2.8.5paperproof.xyz/package.json
npmexpress^4.18.2paperproof.xyz/package.json
npmmonaco-editor^0.55.1paperproof.xyz/package.json
npmmonaco-themes^0.4.8paperproof.xyz/package.json
npmzod^4.4.3paperproof.xyz/package.json
npmzod-to-json-schema^3.25.2paperproof.xyz/package.json
Усі залежності 409

Повний розв'язаний набір залежностей із графа залежностей GitHub: 23 прямих і 386 непрямих (транзитивних) пакетів. Транзитивне замикання є повним, коли в репозиторії закомічено lockfile.

РеєстрПакетВерсіяЗв'язок
npm@emotion/react11.14.0пряма
npm@emotion/styled11.14.0пряма
npm@gradio/client1.10.0пряма
npm@monaco-editor/react4.7.0пряма
npm@mui/material5.16.14пряма
npm@types/katex0.16.8пряма
npmcors2.8.5пряма
npmesbuild0.19.12пряма
npmexpress4.21.2пряма
npmkatex0.16.44пряма
npmmonaco-editor0.54.0пряма
npmmonaco-editor0.55.1пряма
npmmonaco-themes0.4.7пряма
npmmonaco-themes0.4.8пряма
npmnode-fetch3.3.2пряма
npmperfect-arrows0.3.7пряма
npmreact18.3.1пряма
npmreact19.2.7пряма
npmreact-dom18.3.1пряма
npmreact-dom19.2.7пряма
npmvscode-languageserver-protocol3.17.5пряма
npmzod4.4.3пряма
npmzod-to-json-schema3.25.2пряма
npm@babel/code-frame7.26.2непряма
npm@babel/generator7.26.5непряма
npm@babel/helper-module-imports7.25.9непряма
npm@babel/helper-string-parser7.25.9непряма
npm@babel/helper-validator-identifier7.25.9непряма
npm@babel/parser7.26.5непряма
npm@babel/runtime7.26.0непряма
npm@babel/template7.25.9непряма
npm@babel/traverse7.26.5непряма
npm@babel/types7.26.5непряма
npm@bundled-es-modules/cookie2.0.1непряма
npm@bundled-es-modules/statuses1.0.1непряма
npm@bundled-es-modules/tough-cookie0.1.6непряма
npm@emotion/babel-plugin11.13.5непряма
npm@emotion/cache11.14.0непряма
npm@emotion/hash0.9.2непряма
npm@emotion/is-prop-valid1.3.1непряма
npm@emotion/memoize0.9.0непряма
npm@emotion/serialize1.3.3непряма
npm@emotion/sheet1.4.0непряма
npm@emotion/unitless0.10.0непряма
npm@emotion/use-insertion-effect-with-fallbacks1.2.0непряма
npm@emotion/utils1.4.2непряма
npm@emotion/weak-memoize0.4.0непряма
npm@esbuild/aix-ppc640.19.12непряма
npm@esbuild/android-arm0.19.12непряма
npm@esbuild/android-arm640.19.12непряма
npm@esbuild/android-x640.19.12непряма
npm@esbuild/darwin-arm640.19.12непряма
npm@esbuild/darwin-x640.19.12непряма
npm@esbuild/freebsd-arm640.19.12непряма
npm@esbuild/freebsd-x640.19.12непряма
npm@esbuild/linux-arm0.19.12непряма
npm@esbuild/linux-arm640.19.12непряма
npm@esbuild/linux-ia320.19.12непряма
npm@esbuild/linux-loong640.19.12непряма
npm@esbuild/linux-mips64el0.19.12непряма
npm@esbuild/linux-ppc640.19.12непряма
npm@esbuild/linux-riscv640.19.12непряма
npm@esbuild/linux-s390x0.19.12непряма
npm@esbuild/linux-x640.19.12непряма
npm@esbuild/netbsd-x640.19.12непряма
npm@esbuild/openbsd-x640.19.12непряма
npm@esbuild/sunos-x640.19.12непряма
npm@esbuild/win32-arm640.19.12непряма
npm@esbuild/win32-ia320.19.12непряма
npm@esbuild/win32-x640.19.12непряма
npm@eslint-community/eslint-utils4.4.1непряма
npm@eslint-community/regexpp4.12.1непряма
npm@eslint/eslintrc2.1.4непряма
npm@eslint/js8.57.1непряма
npm@humanwhocodes/config-array0.13.0непряма
npm@humanwhocodes/module-importer1.0.1непряма
npm@humanwhocodes/object-schema2.0.3непряма
npm@inquirer/confirm5.1.3непряма
npm@inquirer/core10.1.4непряма
npm@inquirer/figures1.0.9непряма
npm@inquirer/type3.0.2непряма
npm@jridgewell/gen-mapping0.3.8непряма
npm@jridgewell/resolve-uri3.1.2непряма
npm@jridgewell/set-array1.2.1непряма
npm@jridgewell/sourcemap-codec1.5.0непряма
npm@jridgewell/trace-mapping0.3.25непряма
npm@monaco-editor/loader1.6.1непряма
npm@monaco-editor/loader1.7.0непряма
npm@mswjs/interceptors0.37.5непряма
npm@mui/core-downloads-tracker5.16.14непряма
npm@mui/private-theming5.16.14непряма
npm@mui/styled-engine5.16.14непряма
npm@mui/system5.16.14непряма
npm@mui/types7.2.21непряма
npm@mui/utils5.16.14непряма
npm@nodelib/fs.scandir2.1.5непряма
npm@nodelib/fs.stat2.0.5непряма
npm@nodelib/fs.walk1.2.8непряма
npm@open-draft/deferred-promise2.2.0непряма
npm@open-draft/logger0.3.0непряма
npm@open-draft/until2.1.0непряма
npm@popperjs/core2.11.8непряма
npm@types/cookie0.6.0непряма
npm@types/eventsource1.1.15непряма
npm@types/json-schema7.0.15непряма
npm@types/node16.18.123непряма
npm@types/parse-json4.0.2непряма
npm@types/prop-types15.7.14непряма
npm@types/react19.0.6непряма
npm@types/react-dom18.3.5непряма
npm@types/react-transition-group4.4.12непряма
npm@types/semver7.5.8непряма
npm@types/statuses2.0.5непряма
npm@types/tough-cookie4.0.5непряма
npm@types/trusted-types2.0.7непряма
npm@types/vscode1.96.0непряма
npm@typescript-eslint/eslint-plugin5.62.0непряма
npm@typescript-eslint/parser5.62.0непряма
npm@typescript-eslint/scope-manager5.62.0непряма
npm@typescript-eslint/type-utils5.62.0непряма
npm@typescript-eslint/types5.62.0непряма
npm@typescript-eslint/typescript-estree5.62.0непряма
npm@typescript-eslint/utils5.62.0непряма
npm@typescript-eslint/visitor-keys5.62.0непряма
npm@ungap/structured-clone1.2.1непряма
npmaccepts1.3.8непряма
npmacorn8.14.0непряма
npmacorn-jsx5.3.2непряма
npmajv6.12.6непряма
npmansi-escapes4.3.2непряма
npmansi-regex5.0.1непряма
npmansi-styles4.3.0непряма
npmanymatch3.1.3непряма
npmargparse2.0.1непряма
npmarray-flatten1.1.1непряма
npmarray-union2.1.0непряма
npmbabel-plugin-macros3.1.0непряма
npmbalanced-match1.0.2непряма
npmbinary-extensions2.3.0непряма
npmbody-parser1.20.3непряма
npmbrace-expansion1.1.11непряма
npmbrace-expansion1.1.12непряма
npmbraces3.0.3непряма
npmbufferutil4.0.9непряма
npmbytes3.1.2непряма
npmcall-bind-apply-helpers1.0.1непряма
npmcall-bind-apply-helpers1.0.2непряма
npmcall-bound1.0.3непряма
npmcall-bound1.0.4непряма
npmcallsites3.1.0непряма
npmchalk4.1.2непряма
npmchokidar3.6.0непряма
npmcli-width4.1.0непряма
npmcliui8.0.1непряма
npmclsx2.1.1непряма
npmcolor-convert2.0.1непряма
npmcolor-name1.1.4непряма
npmcommander8.3.0непряма
npmconcat-map0.0.1непряма
npmcontent-disposition0.5.4непряма
npmcontent-type1.0.5непряма
npmconvert-source-map1.9.0непряма
npmcookie0.7.1непряма
npmcookie0.7.2непряма
npmcookie-signature1.0.6непряма
npmcosmiconfig7.1.0непряма
npmcross-spawn7.0.6непряма
npmcsstype3.1.3непряма
npmdata-uri-to-buffer4.0.1непряма
npmdebug2.6.9непряма
npmdebug4.4.0непряма
npmdebug4.4.1непряма
npmdeep-is0.1.4непряма
npmdepd2.0.0непряма
npmdestroy1.2.0непряма
npmdir-glob3.0.1непряма
npmdoctrine3.0.0непряма
npmdom-helpers5.2.1непряма
npmdompurify3.1.7непряма
npmdompurify3.2.7непряма
npmdunder-proto1.0.1непряма
npmee-first1.1.1непряма
npmemoji-regex8.0.0непряма
npmencodeurl1.0.2непряма
npmencodeurl2.0.0непряма
npmerror-ex1.3.2непряма
npmes-define-property1.0.1непряма
npmes-errors1.3.0непряма
npmes-object-atoms1.0.0непряма
npmes-object-atoms1.1.1непряма
npmescalade3.2.0непряма
npmescape-html1.0.3непряма
npmescape-string-regexp4.0.0непряма
npmeslint8.57.1непряма
npmeslint-scope5.1.1непряма
npmeslint-scope7.2.2непряма
npmeslint-visitor-keys3.4.3непряма
npmespree9.6.1непряма
npmesquery1.6.0непряма
npmesrecurse4.3.0непряма
npmestraverse4.3.0непряма
npmestraverse5.3.0непряма
npmesutils2.0.3непряма
npmetag1.8.1непряма
npmeventsource2.0.2непряма
npmfast-deep-equal3.1.3непряма
npmfast-glob3.3.3непряма
npmfast-json-stable-stringify2.1.0непряма
npmfast-levenshtein2.0.6непряма
npmfast-plist0.1.3непряма
npmfastq1.18.0непряма
npmfetch-blob3.2.0непряма
npmfetch-event-stream0.1.5непряма
npmfile-entry-cache6.0.1непряма
npmfill-range7.1.1непряма
npmfinalhandler1.3.1непряма
npmfind-root1.1.0непряма
npmfind-up5.0.0непряма
npmflat-cache3.2.0непряма
npmflatted3.3.2непряма
npmformdata-polyfill4.0.10непряма
npmforwarded0.2.0непряма
npmfresh0.5.2непряма
npmfs.realpath1.0.0непряма
npmfsevents2.3.3непряма
npmfunction-bind1.1.2непряма
npmget-caller-file2.0.5непряма
npmget-intrinsic1.2.7непряма
npmget-intrinsic1.3.0непряма
npmget-proto1.0.1непряма
npmglob7.2.3непряма
npmglob-parent5.1.2непряма
npmglob-parent6.0.2непряма
npmglobals11.12.0непряма
npmglobals13.24.0непряма
npmglobby11.1.0непряма
npmgopd1.2.0непряма
npmgraphemer1.4.0непряма
npmgraphql16.10.0непряма
npmhas-flag3.0.0непряма
npmhas-flag4.0.0непряма
npmhas-symbols1.1.0непряма
npmhasown2.0.2непряма
npmheaders-polyfill4.0.3непряма
npmhoist-non-react-statics3.3.2непряма
npmhttp-errors2.0.0непряма
npmiconv-lite0.4.24непряма
npmignore5.3.2непряма
npmignore-by-default1.0.1непряма
npmimport-fresh3.3.0непряма
npmimurmurhash0.1.4непряма
npminflight1.0.6непряма
npminherits2.0.4непряма
npmipaddr.js1.9.1непряма
npmis-arrayish0.2.1непряма
npmis-binary-path2.1.0непряма
npmis-core-module2.16.1непряма
npmis-extglob2.1.1непряма
npmis-fullwidth-code-point3.0.0непряма
npmis-glob4.0.3непряма
npmis-node-process1.2.0непряма
npmis-number7.0.0непряма
npmis-path-inside3.0.3непряма
npmisexe2.0.0непряма
npmjs-tokens4.0.0непряма
npmjs-yaml4.1.0непряма
npmjsesc3.1.0непряма
npmjson-buffer3.0.1непряма
npmjson-parse-even-better-errors2.3.1непряма
npmjson-schema-traverse0.4.1непряма
npmjson-stable-stringify-without-jsonify1.0.1непряма
npmkeyv4.5.4непряма
npmlevn0.4.1непряма
npmlines-and-columns1.2.4непряма
npmlocate-path6.0.0непряма
npmlodash.merge4.6.2непряма
npmloose-envify1.4.0непряма
npmmarked14.0.0непряма
npmmath-intrinsics1.1.0непряма
npmmedia-typer0.3.0непряма
npmmerge-descriptors1.0.3непряма
npmmerge21.4.1непряма
npmmethods1.1.2непряма
npmmicromatch4.0.8непряма
npmmime1.6.0непряма
npmmime-db1.52.0непряма
npmmime-types2.1.35непряма
npmminimatch3.1.2непряма
npmms2.0.0непряма
npmms2.1.3непряма
npmmsw2.7.0непряма
npmmute-stream2.0.0непряма
npmnatural-compare1.4.0непряма
npmnatural-compare-lite1.4.0непряма
npmnegotiator0.6.3непряма
npmnode-domexception1.0.0непряма
npmnode-gyp-build4.8.4непряма
npmnodemon3.1.10непряма
npmnormalize-path3.0.0непряма
npmobject-assign4.1.1непряма
npmobject-inspect1.13.3непряма
npmobject-inspect1.13.4непряма
npmon-finished2.4.1непряма
npmonce1.4.0непряма
npmoptionator0.9.4непряма
npmoutvariant1.4.3непряма
npmp-limit3.1.0непряма
npmp-locate5.0.0непряма
npmparent-module1.0.1непряма
npmparse-json5.2.0непряма
npmparseurl1.3.3непряма
npmpath-exists4.0.0непряма
npmpath-is-absolute1.0.1непряма
npmpath-key3.1.1непряма
npmpath-parse1.0.7непряма
npmpath-to-regexp0.1.12непряма
npmpath-to-regexp6.3.0непряма
npmpath-type4.0.0непряма
npmpicocolors1.1.1непряма
npmpicomatch2.3.1непряма
npmprelude-ls1.2.1непряма
npmprop-types15.8.1непряма
npmproxy-addr2.0.7непряма
npmpsl1.15.0непряма
npmpstree.remy1.1.8непряма
npmpunycode2.3.1непряма
npmqs6.13.0непряма
npmquerystringify2.2.0непряма
npmqueue-microtask1.2.3непряма
npmrange-parser1.2.1непряма
npmraw-body2.5.2непряма
npmreact-is16.13.1непряма
npmreact-is19.0.0непряма
npmreact-transition-group4.4.5непряма
npmreaddirp3.6.0непряма
npmregenerator-runtime0.14.1непряма
npmrequire-directory2.1.1непряма
npmrequires-port1.0.0непряма
npmresolve1.22.10непряма
npmresolve-from4.0.0непряма
npmreusify1.0.4непряма
npmrimraf3.0.2непряма
npmrun-parallel1.2.0непряма
npmsafe-buffer5.2.1непряма
npmsafer-buffer2.1.2непряма
npmscheduler0.23.2непряма
npmscheduler0.27.0непряма
npmsemiver1.1.0непряма
npmsemver7.6.3непряма
npmsemver7.7.2непряма
npmsend0.19.0непряма
npmserve-static1.16.2непряма
npmsetprototypeof1.2.0непряма
npmshebang-command2.0.0непряма
npmshebang-regex3.0.0непряма
npmside-channel1.1.0непряма
npmside-channel-list1.0.0непряма
npmside-channel-map1.0.1непряма
npmside-channel-weakmap1.0.2непряма
npmsignal-exit4.1.0непряма
npmsimple-update-notifier2.0.0непряма
npmslash3.0.0непряма
npmsource-map0.5.7непряма
npmstate-local1.0.7непряма
npmstatuses2.0.1непряма
npmstrict-event-emitter0.5.1непряма
npmstring-width4.2.3непряма
npmstrip-ansi6.0.1непряма
npmstrip-json-comments3.1.1непряма
npmstylis4.2.0непряма
npmsupports-color5.5.0непряма
npmsupports-color7.2.0непряма
npmsupports-preserve-symlinks-flag1.0.0непряма
npmtext-table0.2.0непряма
npmtextlinestream1.1.1непряма
npmto-regex-range5.0.1непряма
npmtoidentifier1.0.1непряма
npmtouch3.1.1непряма
npmtough-cookie4.1.4непряма
npmtslib1.14.1непряма
npmtsutils3.21.0непряма
npmtype-check0.4.0непряма
npmtype-fest0.20.2непряма
npmtype-fest0.21.3непряма
npmtype-fest4.32.0непряма
npmtype-is1.6.18непряма
npmtypescript5.7.3непряма
npmundefsafe2.0.5непряма
npmuniversalify0.2.0непряма
npmunpipe1.0.0непряма
npmuri-js4.4.1непряма
npmurl-parse1.5.10непряма
npmutils-merge1.0.1непряма
npmvary1.1.2непряма
npmvscode-jsonrpc8.2.0непряма
npmvscode-languageserver-types3.17.5непряма
npmweb-streams-polyfill3.3.3непряма
npmwhich2.0.2непряма
npmword-wrap1.2.5непряма
npmwrap-ansi6.2.0непряма
npmwrap-ansi7.0.0непряма
npmwrappy1.0.2непряма
npmws8.18.0непряма
npmy18n5.0.8непряма
npmyaml1.10.2непряма
npmyargs17.7.2непряма
npmyargs-parser21.1.1непряма
npmyocto-queue0.1.0непряма
npmyoctocolors-cjs2.1.2непряма
Сповіщення про залежності 16

Цей репозиторій не публікує пакета, який розпізнає індекс, тож оцінено його власний граф залежностей — 409 пакетів, серед яких є й піниї розробки та тестування, що ніколи не постачаються: 16 мають відомі сповіщення, з них 1 прямі.

ПакетВерсіяЗв'язокКритичністьСповіщеньВиправлено в
flatted3.3.2непрямакритична23.4.2
brace-expansion1.1.11непрямависока55.0.9
brace-expansion1.1.12непрямависока45.0.9
js-yaml4.1.0непрямависока54.3.2
minimatch3.1.2непрямависока310.2.3
path-to-regexp0.1.12непрямависока10.1.13
picomatch2.3.1непрямависока24.0.4
ws8.18.0непрямависока28.21.0
esbuild0.19.12прямапомірна10.25.0
@babel/runtime7.26.0непрямапомірна18.0.0-alpha.17
ajv6.12.6непрямапомірна18.18.0
dompurify3.1.7непрямапомірна203.4.13
dompurify3.2.7непрямапомірна183.4.13
qs6.13.0непрямапомірна46.16.0
yaml1.10.2непрямапомірна12.8.3
body-parser1.20.3непряманизька12.3.0

Сповіщення означає, що версія, записана в графі залежностей, потрапляє в уражений діапазон. Досяжність не аналізується, а граф містить піниї розробки й тестування — знахідка може стосуватися інструментів, а не поставленого коду.

Звіт у форматі JSON машиночитний

Зворотний зв’язок

Помітили щось хибне у цьому звіті або маєте чим поділитися? Неправильні вимірювання, непомічені інструменти, ідеї, запитання — усе доречно. Кожне повідомлення читається й отримує відповідь.

Повідомлення збережеться під час входу.

Пов’язані записи

Перевірені репозиторії, що мають спільні каталожні теги або екосистеми з Paper-Proof/paperproof. Читати поруч →

94pykeio/ortFast ML inference & training for ONNX models in RustВинятковий91google-deepmind/formal-conjecturesA collection of formalized statements of conjectures in Lean.Відмінний91jsxgraph/jsxgraphJSXGraph is a cross-browser library for interactive geometry, function plotting, charting, and data visualization in a web browser.Відмінний90wickra-lib/wickraStreaming-first technical indicators with a Rust core: native Python, Node.js and WebAssembly bindings plus a C ABI hub for C, C++, C#, Go, Java and R. 514 indicators, O(1) per-tick updates, no system dependencies. Drop-in TA-Lib replacement.Відмінний90penrose/penroseCreate beautiful diagrams just by typing notation in plain text.Відмінний89josdejong/mathjsAn extensive math library for JavaScript and Node.jsВідмінний

Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.

Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v2.10.0, схема v0.34.0 — повна методологія · вікі метрик.

Як окремий результат виглядає на тлі всього реєстру: сукупна статистика.