Публічний реєстрВідмінний
Звіт про здоров'я програмного забезпеченнясхема 0.11.0 · метрики 2.10.0 · 2026-07-17 05:52 UTC
ash-project / crux
Library for boolean satisfiability solving and expression manipulation.
ash-project/crux має індекс здоров’я 81 зі 100, що відповідає смузі «Відмінний». Найвищий показник — Sustainability & Governance (81/100), найнижчий — AI Readiness (32/100). Останнє оновлення було 14 днів тому. Більшість нещодавньої роботи виконують 2 учасники.
81
загалом / 100Індекс здоров'я програмного забезпечення
Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє зважене середнє, відкаліброване за розподілом публічного реєстру, тож діапазони мають перцентильний зміст; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 34 («У зоні ризику»).
81
Винятковий93-100Верхній щабель реєстру (≈ топ-5%); відповідає практично всім перевіреним критеріям
Відмінний80-92Сильний за всіма напрямами; незначні прогалини
Добрий65-79Здоровий; прогалини обмежені та керовані
Помірний50-64Прийнятний, але з помітними прогалинами; рекомендовано перевірку
Слабкий35-49Суттєві недоліки в кількох сферах
У зоні ризику20-34Суттєві слабкі місця; впровадження потребує обережності
Критичний1-19Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)
Профіль оцінок
Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.
Зважений загальний бал 69 калібровано до 81 за шкалою опублікованого індексу (калібрування реєстру 2026-08-02).
Власність
Ash FrameworkОрганізація
384 підписники61 публічний репозиторійз груд. 2019 р.
За цим репозиторієм стоїть організація — спільна, підзвітна опіка, здатна пережити будь-якого окремого мейнтейнера.
Пакетні екосистеми
| Реєстр | Пакет | Версія | Завантажень / міс | Версії | Остання публікація |
|---|---|---|---|---|---|
| Hex | crux | 0.1.4 | 71 581 | 5 | 14 днів тому |
Метрики за категоріями
Життєздатність
Чи живий проєкт — чи пишеться код і чи виходять релізи?
74
Активність розробки
62Помірний
Як обчислюється оцінка
| 28.8/36 | Свіжість push — останній push 14 дн. тому |
| 9.7/36 | Ритм комітів — 14/52 тижнів із комітами |
| 14.8/18 | Обсяг комітів — 44 комітів за останній рік |
| 9/10 | OpenSSF Scorecard: Maintained — 11 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 9 |
Використані вхідні дані
| commits_last_year | 44 |
| human_commit_share | — |
| days_since_last_push | 14 |
| active_weeks_last_year | 14 |
Дисципліна релізів
92Відмінний
Як обчислюється оцінка
| 27/27 | Випускає релізи — опубліковано 4 релізів |
| 36/36 | Свіжість релізів — останній реліз 14 дн. тому |
| 19.8/27 | Ритм релізів — реліз кожні ~86,7 дн. |
| 0/10 | OpenSSF Scorecard: Signed-Releases — немає даних |
Використані вхідні дані
| releases_count | 4 |
| latest_release_tag | v0.1.4 |
| releases_from_tags | ні |
| days_since_latest_release | 14 |
| mean_days_between_releases | 86,7 |
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Signed-Releases. Залишкові ваги перенормовано.
Спільнота та впровадження
Чи має проєкт користувачів, завантаження, увагу та влаштовані умови для контриб’юторів?
59
Популярність і впровадження
22У зоні ризику
Як обчислюється оцінка
| 17.5/60 | Зірки — 13 зірок |
| 2.5/25 | Форки — 3 форків |
| 1.7/15 | Спостерігачі — 3 спостерігачів |
Використані вхідні дані
| forks | 3 |
| stars | 13 |
| watchers | 3 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Здоров'я спільноти
86Відмінний
Як обчислюється оцінка
| 22.5/22.5 | README |
| 16.9/22.5 | Ліцензія — файл ліцензії наявний, не є визнаною ліцензією |
| 18/18 | Настанови CONTRIBUTING |
| 13.5/13.5 | Кодекс поведінки |
| 0/7.2 | Шаблон issue |
| 6.3/6.3 | Шаблон PR |
Використані вхідні дані
| has_readme | так |
| has_license | ні |
| readme_badges | — |
| has_contributing | так |
| has_issue_template | ні |
| has_code_of_conduct | так |
| readme_badge_services | — |
| has_pull_request_template | так |
Впровадження в екосистемі (завантаження)
81Відмінний
Як обчислюється оцінка
| 64.7/80 | Щомісячні завантаження — 71 581 завантажень/місяць у hex |
| 0/20 | Залежні пакети в реєстрі — ця екосистема цього не повідомляє |
Використані вхідні дані
| packages | crux |
| dependents | — |
| ecosystems | hex |
| total_downloads | 406 042 |
| monthly_downloads | 71 581 |
| unverified_packages_excluded | — |
Виключено з оцінювання (немає даних або не застосовно): Залежні пакети в реєстрі. Залишкові ваги перенормовано.
Сталість та врядування
Чи переживе проєкт своїх людей — бас-фактор, реактивність, хто за ним стоїть і як супроводжуються пакети?
81
Стійкість мейнтейнерів (бас-фактор)
56Помірний
Як обчислюється оцінка
| 25.2/54 | Бас-фактор — на 2 контриб’ютор(ів) припадає половина всіх комітів |
| 14.3/22.5 | Розподіл комітів — головний контриб’ютор — автор 36% комітів |
| 6.8/13.5 | Широта контриб’юторів — 5 контриб’юторів |
| 10/10 | OpenSSF Scorecard: Contributors — project has 11 contributing companies or organizations |
Використані вхідні дані
| bus_factor | 2 |
| contributors_sampled | 5 |
| top_contributor_share | 0,364 |
Реактивність на issue та PR
86Відмінний
Як обчислюється оцінка
| 42/42 | Вирішення issue — закрито 100% issue |
| 27.9/30 | Прийняття PR — злито 26/28 вирішених PR |
| 0/13 | Newcomer PR acceptance — за 30 дн. не вирішено жодного PR від новачка |
| 4.5/15 | OpenSSF Scorecard: Code-Review — Found 3/9 approved changesets -- score normalized to 3 |
Використані вхідні дані
| merged_prs | 26 |
| open_issues | 0 |
| closed_issues | 4 |
| prs_merged_7d | — |
| prs_decided_7d | — |
| prs_merged_30d | — |
| prs_decided_30d | — |
| issue_closed_ratio | 1 |
| closed_unmerged_prs | 2 |
| first_time_authors_30d | — |
| first_time_prs_merged_30d | — |
| first_time_prs_decided_30d | — |
Виключено з оцінювання (немає даних або не застосовно): Newcomer PR acceptance. Залишкові ваги перенормовано.
Власність та опіка
92Відмінний
Як обчислюється оцінка
| 30/30 | Підтримка власника — у власності організації |
| 0/20 | Верифікований домен — статус підтвердженого домену для цієї організації не зчитано |
| 18.6/25 | Охоплення власника — 384 підписників у ash-project |
| 25/25 | Послужний список — 61 публічних репозиторіїв, вік облікового запису ~6 р. |
Використані вхідні дані
| followers | 384 |
| owner_type | Organization |
| is_verified | — |
| owner_login | ash-project |
| public_repos | 61 |
| account_age_days | 2 416 |
Виключено з оцінювання (немає даних або не застосовно): Верифікований домен. Залишкові ваги перенормовано.
Супровід пакетів
100Винятковий
Як обчислюється оцінка
| 25/25 | Опубліковано й доступно — 1 пакет(ів) у hex |
| 35/35 | Свіжість публікацій — остання публікація 14 дн. тому |
| 20/20 | Історія версій — 5 опублікованих версій |
| 20/20 | Не застарілий — активний, не deprecated і не yanked |
Використані вхідні дані
| packages | crux |
| ecosystems | hex |
| any_deprecated | ні |
| min_days_since_publish | 14 |
Інженерна якість
Чи наявні базові інженерні практики та документація?
63
Інженерні практики
62Помірний
Як обчислюється оцінка
| 24/24 | Процеси CI — 2 процес(ів) CI |
| 24/24 | Наявні тести |
| 0/16 | Конфігурація лінтера |
| 0/9.6 | Pre-commit-хуки |
| 0/6.4 | .editorconfig |
| 14/20 | OpenSSF Scorecard: CI-Tests — 15 out of 19 merged PRs checked by a CI test -- score normalized to 7 |
Використані вхідні дані
| has_ci | так |
| has_tests | так |
| has_editorconfig | ні |
| has_linter_config | ні |
| has_precommit_config | ні |
Документація
65Добрий
Як обчислюється оцінка
| 30/30 | README |
| 0/25 | Каталог документації |
| 15/15 | Сайт документації / домашня сторінка — https://hex.pm/packages/crux |
| 10/10 | Опис репозиторію |
| 10/10 | Теми — 2 тем |
| 0/10 | Wiki |
Використані вхідні дані
| topics | elixir, sat-solver |
| has_wiki | ні |
| homepage | https://hex.pm/packages/crux |
| docs_site | https://hex.pm/packages/crux |
| has_readme | так |
| has_docs_dir | ні |
| has_description | так |
Безпека
Чи міцні видимі практики безпеки й ланцюга постачання, без непослабленої пов’язаності з юрисдикціями високого ризику?
71
Стан безпеки
71Добрий
Як обчислюється оцінка
| 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 — 15 out of 19 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 |
| 2.2/7.5 | Code-Review — Found 3/9 approved changesets -- score normalized to 3 |
| 2.5/2.5 | Contributors — project has 11 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 7.5/7.5 | Dependency-Update-Tool — update tool detected |
| 5/5 | Fuzzing — project is fuzzed |
| 2.5/2.5 | Ліцензія — license file detected |
| 6.8/7.5 | Maintained — 11 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 9 |
| 0/5 | Packaging — немає даних |
| 2.5/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 5 |
| 4.5/5 | SAST — SAST tool is not run on all commits -- score normalized to 9 |
| 5/5 | Security-Policy — security policy file detected |
| 0/7.5 | Signed-Releases — немає даних |
| 7.5/7.5 | Token-Permissions — GitHub workflow tokens follow principle of least privilege |
| 0/7.5 | Vulnerabilities — 11 existing vulnerabilities detected |
Використані вхідні дані
| source | openssf_scorecard |
| checks_evaluated | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 7,1 |
Виключено з оцінювання (немає даних або не застосовно): Packaging, Signed-Releases. Залишкові ваги перенормовано.
Готовність до ШІ
Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Має свідомо малу вагу (4%): агентний інструментарій — реальний сигнал супроводу, але репозиторій без нього все одно може отримати 100/100.
32
Контекст і настанови для агентів
1Критичний
Як обчислюється оцінка
| 0/45 | Інструкції для агентів — немає CLAUDE.md / AGENTS.md / правил редактора |
| 0/15 | Машиночитана документація (llms.txt) |
| 0/40 | Читабельна історія комітів — немає даних |
Використані вхідні дані
| has_llms_txt | ні |
| llms_txt_url | — |
| legible_history_share | — |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Виключено з оцінювання (немає даних або не застосовно): Читабельна історія комітів. Залишкові ваги перенормовано.
Як обчислюється оцінка
| 0/18 | Розгортання однією командою |
| 22/22 | Автоматизовані тести |
| 0/11 | Конфігурація лінтера / форматера |
| 0/11 | Статична перевірка типів |
| 10/10 | Відтворюване середовище — lockfile |
| 0/10 | Підтверджена практика роботи з агентами — немає даних |
| 5/8 | Автоматизоване супроводження — автоматизацію залежностей налаштовано, але у вибірці комітів її не видно |
| 5/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 5 |
Використані вхідні дані
| has_nix | ні |
| has_tests | так |
| lockfiles | mix.lock |
| has_dockerfile | ні |
| typed_language | ні |
| bootstrap_files | — |
| has_devcontainer | ні |
| has_linter_config | ні |
| typecheck_configs | — |
| agent_commit_share | — |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Виключено з оцінювання (немає даних або не застосовно): Підтверджена практика роботи з агентами. Залишкові ваги перенормовано.
Читабельність коду для моделей
55Помірний
Як обчислюється оцінка
| 0/45 | Типізований код — Elixir без конфігурації перевірки типів |
| 55/55 | Керовані розміри файлів — 0/44 файлів вихідного коду понад 60 КБ |
Використані вхідні дані
| primary_language | Elixir |
| largest_source_bytes | 28 514 |
| source_files_sampled | 44 |
| oversized_source_files | 0 |
Ключові факти
13зірок GitHub
5контриб'юторів
44комітів за останні 12 місяців
14днів від останнього пушу
4релізів
2бас-фактор
0відкритих issue
Hexпакетних екосистем
Докладніше
OpenSSF Scorecard 7.1 / 10
7.1сукупно
Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту 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 | 15 out of 19 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 |
| 3 | Code-Review | Found 3/9 approved changesets -- score normalized to 3 |
| 10 | Contributors | project has 11 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 10 | Dependency-Update-Tool | update tool detected |
| 10 | Fuzzing | project is fuzzed |
| 10 | License | license file detected |
| 9 | Maintained | 11 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 9 |
| н/д | Packaging | packaging workflow not detected |
| 5 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 5 |
| 9 | SAST | SAST tool is not run on all commits -- score normalized to 9 |
| 10 | Security-Policy | security policy file detected |
| н/д | Signed-Releases | no releases found |
| 10 | Token-Permissions | GitHub workflow tokens follow principle of least privilege |
| 0 | Vulnerabilities | 11 existing vulnerabilities detected |
Прямі залежності 3
| Реєстр | Пакет | Обмеження версії | Маніфест |
|---|---|---|---|
| Hex | picosat_elixir | ~> 0.2 | mix.exs |
| Hex | simple_sat | ~> 0.1 and >= 0.1.1 | mix.exs |
| Hex | stream_data | ~> 1.0 | mix.exs |
Усі залежності 45
Повний розв'язаний набір залежностей із графа залежностей GitHub: 3 прямих і 42 непрямих (транзитивних) пакетів. Транзитивне замикання є повним, коли в репозиторії закомічено lockfile.
| Реєстр | Пакет | Версія | Зв'язок |
|---|---|---|---|
| Hex | picosat_elixir | 0.2.3 | пряма |
| Hex | simple_sat | 0.1.4 | пряма |
| Hex | stream_data | 1.3.0 | пряма |
| Hex | bunt | 1.0.0 | непряма |
| Hex | credo | 1.7.19 | непряма |
| Hex | decimal | 3.1.1 | непряма |
| Hex | dialyxir | 1.4.7 | непряма |
| Hex | doctest_formatter | 0.4.1 | непряма |
| Hex | doctor | 0.23.0 | непряма |
| Hex | earmark_parser | 1.4.45 | непряма |
| Hex | elixir_make | 0.9.0 | непряма |
| Hex | erlex | 0.2.8 | непряма |
| Hex | ex_ast | 0.11.2 | непряма |
| Hex | ex_check | 0.16.0 | непряма |
| Hex | ex_doc | 0.40.3 | непряма |
| Hex | file_system | 1.1.1 | непряма |
| Hex | finch | 0.22.0 | непряма |
| Hex | git_cli | 0.3.0 | непряма |
| Hex | git_ops | 2.10.0 | непряма |
| Hex | glob_ex | 0.1.11 | непряма |
| Hex | hpax | 1.0.3 | непряма |
| Hex | igniter | 0.8.0 | непряма |
| Hex | jason | 1.4.5 | непряма |
| Hex | makeup | 1.2.2 | непряма |
| Hex | makeup_elixir | 1.0.1 | непряма |
| Hex | makeup_erlang | 1.1.0 | непряма |
| Hex | mime | 2.0.7 | непряма |
| Hex | mint | 1.8.0 | непряма |
| Hex | mix_audit | 2.1.5 | непряма |
| Hex | mix_test_watch | 1.4.0 | непряма |
| Hex | nimble_options | 1.1.1 | непряма |
| Hex | nimble_parsec | 1.4.2 | непряма |
| Hex | nimble_pool | 1.1.0 | непряма |
| Hex | owl | 0.13.0 | непряма |
| Hex | req | 0.5.17 | непряма |
| Hex | rewrite | 1.3.0 | непряма |
| Hex | sobelow | 0.14.1 | непряма |
| Hex | sourceror | 1.12.0 | непряма |
| Hex | spitfire | 0.3.11 | непряма |
| Hex | styler | 1.11.0 | непряма |
| Hex | telemetry | 1.4.2 | непряма |
| Hex | text_diff | 0.1.0 | непряма |
| Hex | usage_rules | 1.2.6 | непряма |
| Hex | yamerl | 0.10.0 | непряма |
| Hex | yaml_elixir | 2.12.1 | непряма |
Звіт у форматі JSON машиночитний
Зворотний зв’язок
Помітили щось хибне у цьому звіті або маєте чим поділитися? Неправильні вимірювання, непомічені інструменти, ідеї, запитання — усе доречно. Кожне повідомлення читається й отримує відповідь.
Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.
Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v2.10.0, схема v0.11.0 — повна методологія · вікі метрик.
Як окремий результат виглядає на тлі всього реєстру: сукупна статистика — Hex.