Звіт про здоров'я програмного забезпеченнясхема 0.31.0 · метрики 2.10.0 · 2026-08-13 04:49 UTC

huggingface / Math-Verify

PythonApache-2.0★ 1 176 зірок⑂ 58 форківз січ. 2025 р.Переглянути на GitHub ↗

huggingface/Math-Verify має індекс здоров’я 44 зі 100, що відповідає смузі «Слабкий». Найвищий показник — Sustainability & Governance (66/100), найнижчий — Engineering Quality (30/100). Останнє оновлення було 215 днів тому. Більшість нещодавньої роботи виконує один учасник.

загалом / 100

Слабкий

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

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

Винятковий93-100Верхній щабель реєстру (≈ топ-5%); відповідає практично всім перевіреним критеріям

Відмінний80-92Сильний за всіма напрямами; незначні прогалини

Добрий65-79Здоровий; прогалини обмежені та керовані

Помірний50-64Прийнятний, але з помітними прогалинами; рекомендовано перевірку

Слабкий35-49Суттєві недоліки в кількох сферах

У зоні ризику20-34Суттєві слабкі місця; впровадження потребує обережності

Критичний1-19Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)

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

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

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

Власність

Hugging FaceОрганізація

67 018 підписників467 публічних репозиторіївз лют. 2017 р.

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

Пакетні екосистеми

Реєстр	Пакет	Версія	Завантажень / міс	Версії	Остання публікація	Теги
PyPI	math-verify	0.9.0	-	17	215 днів тому	verification math evaluation

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

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

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

34У зоні ризику · 21% загального індексу

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

11Критичний

Як обчислюється оцінка

3.6/36	Свіжість push — останній push 215 дн. тому
0.7/36	Ритм комітів — 1/52 тижнів із комітами
6.3/18	Обсяг комітів — 4 комітів за останній рік
0/10	OpenSSF Scorecard: Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0

Використані вхідні дані

commits_last_year	4
human_commit_share	1
days_since_last_push	215
active_weeks_last_year	1

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

68Добрий

Як обчислюється оцінка

27/27	Випускає релізи — опубліковано 10 релізів
7.2/36	Свіжість релізів — останній реліз 406 дн. тому
27/27	Ритм релізів — реліз кожні ~16,5 дн.
0/10	OpenSSF Scorecard: Signed-Releases — немає даних

Використані вхідні дані

releases_count	10
latest_release_tag	0.8.0
releases_from_tags	ні
days_since_latest_release	406
mean_days_between_releases	16,5

Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Signed-Releases. Залишкові ваги перенормовано.

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

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

60Помірний · 17% загального індексу

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

50Помірний

Як обчислюється оцінка

22.5/22.5	README
22.5/22.5	Ліцензія — визнана ліцензія (Apache-2.0)
0/18	Настанови CONTRIBUTING
0/13.5	Кодекс поведінки
0/7.2	Шаблон issue
0/6.3	Шаблон PR

Використані вхідні дані

has_readme	так
has_license	так
readme_badges	0
has_contributing	ні
has_issue_template	ні
has_code_of_conduct	ні
readme_badge_services	—
has_pull_request_template	ні

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

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

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

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

17Критичний

Як обчислюється оцінка

9/54	Бас-фактор — на 1 контриб’ютор(ів) припадає половина всіх комітів
4.3/22.5	Розподіл комітів — головний контриб’ютор — автор 81% комітів
4.1/13.5	Широта контриб’юторів — 3 контриб’юторів
0/10	OpenSSF Scorecard: Contributors — project has 0 contributing companies or organizations -- score normalized to 0

Використані вхідні дані

bus_factor	1
contributors_sampled	3
top_contributor_share	0,811

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

72Добрий

Як обчислюється оцінка

37.5/42	Вирішення issue — закрито 89% issue
24/30	Прийняття PR — злито 4/5 вирішених PR
0/13	Newcomer PR acceptance — за 30 дн. не вирішено жодного PR від новачка
1.5/15	OpenSSF Scorecard: Code-Review — Found 3/25 approved changesets -- score normalized to 1

Використані вхідні дані

merged_prs	4
open_issues	8
closed_issues	66
prs_merged_7d	0
prs_decided_7d	0
prs_merged_30d	0
prs_decided_30d	0
issue_closed_ratio	0,892
closed_unmerged_prs	1
first_time_authors_30d	0
first_time_prs_merged_30d	0
first_time_prs_decided_30d	0

Виключено з оцінювання (немає даних або не застосовно): Newcomer PR acceptance. Залишкові ваги перенормовано.

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

100Винятковий

Як обчислюється оцінка

30/30	Підтримка власника — у власності організації
0/20	Верифікований домен — статус підтвердженого домену для цієї організації не зчитано
25/25	Охоплення власника — 67 018 підписників у huggingface
25/25	Послужний список — 467 публічних репозиторіїв, вік облікового запису ~9 р.

Використані вхідні дані

followers	67 018
owner_type	Organization
is_verified	—
owner_login	huggingface
public_repos	467
account_age_days	3 468

Виключено з оцінювання (немає даних або не застосовно): Верифікований домен. Залишкові ваги перенормовано.

Супровід пакетів

91Відмінний

Як обчислюється оцінка

25/25	Опубліковано й доступно — 1 пакет(ів) у pypi
26/35	Свіжість публікацій — остання публікація 215 дн. тому
20/20	Історія версій — 17 опублікованих версій
20/20	Не застарілий — активний, не deprecated і не yanked

Використані вхідні дані

packages	math-verify
ecosystems	pypi
any_deprecated	ні
min_days_since_publish	215

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

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

30У зоні ризику · 19% загального індексу

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

24У зоні ризику

Як обчислюється оцінка

0/24	Процеси CI
24/24	Наявні тести
0/16	Конфігурація лінтера
0/9.6	Pre-commit-хуки
0/6.4	.editorconfig
0/20	OpenSSF Scorecard: CI-Tests — 0 out of 3 merged PRs checked by a CI test -- score normalized to 0

Використані вхідні дані

has_ci	ні
has_tests	так
has_editorconfig	ні
has_linter_config	ні
has_precommit_config	ні

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

40Слабкий

Як обчислюється оцінка

30/30	README
0/25	Каталог документації
0/15	Сайт документації / домашня сторінка
0/10	Опис репозиторію
0/10	Теми
10/10	Wiki

Використані вхідні дані

topics	—
has_wiki	так
homepage	—
docs_site	—
has_readme	так
has_docs_dir	ні
has_description	ні

Безпека

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

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

Стан безпеки

26У зоні ризику

Як обчислюється оцінка

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
0/2.5	CI-Tests — 0 out of 3 merged PRs checked by a CI test -- score normalized to 0
0/2.5	CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
0.8/7.5	Code-Review — Found 3/25 approved changesets -- score normalized to 1
0/2.5	Contributors — project has 0 contributing companies or organizations -- score normalized to 0
0/10	Dangerous-Workflow — немає даних
0/7.5	Dependency-Update-Tool — no update tool detected
0/5	Fuzzing — project is not fuzzed
2.5/2.5	Ліцензія — license file detected
0/7.5	Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0
0/5	Packaging — немає даних
0/5	Pinned-Dependencies — немає даних
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 — немає даних
0/7.5	Token-Permissions — немає даних
7.5/7.5	Vulnerabilities — 0 existing vulnerabilities detected

Використані вхідні дані

source	openssf_scorecard
checks_evaluated	13
scorecard_version	v5.5.0
checks_inconclusive	5
scorecard_aggregate	2,6

Виключено з оцінювання (немає даних або не застосовно): Dangerous-Workflow, Packaging, Pinned-Dependencies, Signed-Releases, Token-Permissions. Залишкові ваги перенормовано.

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

100Винятковий

Як обчислюється оцінка

35/35	Прямі залежності без відомих сповіщень — жодна пряма залежність не має відомих сповіщень
25/25	Непрямі залежності без відомих сповіщень — жодна непряма залежність не має відомих сповіщень
0/40	Немає задавнених сповіщень — жодне сповіщення не має дати публікації

Використані вхідні дані

source	osv
advisories	0
affected_packages	0
assessed_packages	4
unassessed_packages	0
affected_by_severity	none
direct_affected_packages	0

Виключено з оцінювання (немає даних або не застосовно): Немає задавнених сповіщень. Залишкові ваги перенормовано. Звірено з runtime-замиканням залежностей pypi:math-verify@0.9.0 — тим, що тягне за собою встановлення опублікованого пакета, — 4 пакетів. Досяжність не аналізується.

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

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

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

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

3Критичний

Як обчислюється оцінка

0/45	Інструкції для агентів — немає CLAUDE.md / AGENTS.md / правил редактора
0/15	Машиночитана документація (llms.txt)
2.7/40	Читабельна історія комітів — намір зазначено у 4 з 80 людських комітів (структурований заголовок або пояснювальний текст)

Використані вхідні дані

has_llms_txt	ні
llms_txt_url	—
legible_history_share	0,05
agent_instruction_files	—
agent_instruction_max_bytes	—

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

44Слабкий

Як обчислюється оцінка

18/18	Розгортання однією командою — Makefile
22/22	Автоматизовані тести
0/11	Конфігурація лінтера / форматера
0/11	Статична перевірка типів
0/10	Відтворюване середовище
0/10	Підтверджена практика роботи з агентами — серед останніх 80 комітів немає створених агентом
0/8	Автоматизоване супроводження — автоматичних оновлень залежностей не виявлено
0/10	OpenSSF Scorecard: Pinned-Dependencies — немає даних

Використані вхідні дані

has_nix	ні
has_tests	так
lockfiles	—
has_dockerfile	ні
typed_language	ні
bootstrap_files	Makefile
has_devcontainer	ні
has_linter_config	ні
typecheck_configs	—
agent_commit_share	0
toolchain_manifests	—
dependency_bot_commit_share	0

Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Pinned-Dependencies. Залишкові ваги перенормовано.

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

53Помірний

Як обчислюється оцінка

0/45	Типізований код — Python без конфігурації перевірки типів
52.6/55	Керовані розміри файлів — 1/23 файлів вихідного коду понад 60 КБ

Використані вхідні дані

primary_language	Python
largest_source_bytes	89 512
source_files_sampled	23
oversized_source_files	1

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

100Винятковий

Як обчислюється оцінка

0/40	Схема API (OpenAPI/GraphQL/proto) — не застосовно до цього типу програмного забезпечення
0/20	Сервер MCP — не застосовно до цього типу програмного забезпечення
40/40	Придатні до запуску приклади — examples

Використані вхідні дані

example_dirs	examples
has_mcp_signal	ні
api_schema_files	—
interfaces_expected_of	—

Виключено з оцінювання (немає даних або не застосовно): Схема API (OpenAPI/GraphQL/proto), Сервер MCP. Залишкові ваги перенормовано.

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

1 176зірок GitHub

3контриб'юторів

4комітів за останні 12 місяців

215днів від останнього пушу

10релізів

1бас-фактор

8відкритих issue

PyPIпакетних екосистем

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

Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository

Докладніше

Історія зірок і форків 0 ★ / 58 ⇿

0Зірки

58Форки

10Релізи

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

Мажорні 1Мінорні 4Патчі 5

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

OpenSSF Scorecard 2.6 / 10

2.6сукупно

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

10	Binary-Artifacts	no binaries found in the repo
0	Branch-Protection	branch protection not enabled on development/release branches
0	CI-Tests	0 out of 3 merged PRs checked by a CI test -- score normalized to 0
0	CII-Best-Practices	no effort to earn an OpenSSF best practices badge detected
1	Code-Review	Found 3/25 approved changesets -- score normalized to 1
0	Contributors	project has 0 contributing companies or organizations -- score normalized to 0
н/д	Dangerous-Workflow	no workflows found
0	Dependency-Update-Tool	no update tool detected
0	Fuzzing	project is not fuzzed
10	License	license file detected
0	Maintained	0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0
н/д	Packaging	packaging workflow not detected
н/д	Pinned-Dependencies	no dependencies found
0	SAST	SAST tool is not run on all commits -- score normalized to 0
0	Security-Policy	security policy file not detected
н/д	Signed-Releases	no releases found
н/д	Token-Permissions	No tokens found
10	Vulnerabilities	0 existing vulnerabilities detected

Прямі залежності 1

Реєстр	Пакет	Обмеження версії	Маніфест
PyPI	latex2sympy2_extended	`==1.11.0`	pyproject.toml

Усі залежності не зібрано

Не вдалося зібрати розв'язаний набір залежностей для цього звіту: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository

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

Встановлення pypi:math-verify@0.9.0 тягне 4 пакетів, прямих і транзитивних: 0 мають відомі сповіщення, з них 0 — прямі залежності.

Жодне відоме сповіщення не стосується оцінених залежностей.

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

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

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

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

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

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

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

49.8/60	Зірки — 1 176 зірок
14.6/25	Форки — 58 форків
3.9/15	Спостерігачі — 6 спостерігачів

forks	58
stars	1 176
watchers	6
growth_state	unverified
growth_factor_pct	100
growth_unverified_reason	no_history

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

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

Власність

Пакетні екосистеми

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

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

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

Докладніше

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

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