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

0xMiden / air-script

A domain-specific language for writing AIR constraints for STARKs

RustMIT★ 96 зірок⑂ 39 форківз вер. 2022 р.Переглянути на GitHub ↗
ТипІнструмент командного рядкаБібліотекаяк це визначено

0xMiden/air-script має індекс здоров’я 57 зі 100, що відповідає смузі «Помірний». Найвищий показник — Engineering Quality (81/100), найнижчий — Vitality (39/100). Останнє оновлення було 150 днів тому. Більшість нещодавньої роботи виконують 2 учасники.

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

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

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

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

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

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

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

Власність

MidenОрганізація
466 підписників54 публічні репозиторіїз груд. 2024 р.

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

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

РеєстрПакетВерсіяЗавантажень / місВерсіїОстання публікаціяТеги
crates.ioair-mir0.4.0401449 днів томуairstarkzero-knowledgezkpcryptographycompilers
crates.ioair-pass0.4.0742449 днів томуcompilers
crates.ioair-parser0.4.0724449 днів томуairstarkzero-knowledgezkpcryptographyparser-implementationscompilers
crates.iomiden-vmвказує на інший репозиторій — не оцінюється0.32.1514764 дні томуmidenstarkvirtual-machinezkpemulatorscryptographyno-std
crates.ioair-script0.4.0124449 днів томуairstarkzero-knowledgezkpcryptographycompilers

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

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

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

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

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

31У зоні ризику
Як обчислюється оцінка
9.9/36Свіжість push — останній push 150 дн. тому
7.6/36Ритм комітів — 11/52 тижнів із комітами
13.4/18Обсяг комітів — 30 комітів за останній рік
0/10OpenSSF Scorecard: Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0
Використані вхідні дані
commits_last_year30
human_commit_share1
days_since_last_push150
active_weeks_last_year11

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

52Помірний
Як обчислюється оцінка
27/27Випускає релізи — опубліковано 4 релізів
7.2/36Свіжість релізів — останній реліз 449 дн. тому
12.6/27Ритм релізів — реліз кожні ~318 дн.
0/10OpenSSF Scorecard: Signed-Releases — немає даних
Використані вхідні дані
releases_count4
latest_release_tagv0.4.0
releases_from_tagsні
days_since_latest_release449
mean_days_between_releases318
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Signed-Releases. Залишкові ваги перенормовано.

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

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

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

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

50Помірний
Як обчислюється оцінка
32.1/60Зірки — 96 зірок
13.2/25Форки — 39 форків
5/15Спостерігачі — 9 спостерігачів
Використані вхідні дані
forks39
stars96
watchers9
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

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

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

Впровадження в екосистемі (завантаження)

38Слабкий
Як обчислюється оцінка
30.7/80Щомісячні завантаження — 198 завантажень/місяць у crates
0/20Залежні пакети в реєстрі — ця екосистема цього не повідомляє
Використані вхідні дані
packagesair-mir, air-pass, air-parser, air-script
dependents—
ecosystemscrates
total_downloads19 250
monthly_downloads198
unverified_packages_excluded—
Виключено з оцінювання (немає даних або не застосовно): Залежні пакети в реєстрі. Залишкові ваги перенормовано.

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

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

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

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

65Добрий
Як обчислюється оцінка
25.2/54Бас-фактор — на 2 контриб’ютор(ів) припадає половина всіх комітів
16.4/22.5Розподіл комітів — головний контриб’ютор — автор 27% комітів
13.5/13.5Широта контриб’юторів — 22 контриб’юторів
10/10OpenSSF Scorecard: Contributors — project has 5 contributing companies or organizations
Використані вхідні дані
bus_factor2
contributors_sampled22
top_contributor_share0,27

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

70Добрий
Як обчислюється оцінка
25.3/42Вирішення issue — закрито 60% issue
22.5/30Прийняття PR — злито 245/327 вирішених PR
0/13Newcomer PR acceptance — за 30 дн. не вирішено жодного PR від новачка
13.5/15OpenSSF Scorecard: Code-Review — Found 27/29 approved changesets -- score normalized to 9
Використані вхідні дані
merged_prs245
open_issues87
closed_issues132
prs_merged_7d0
prs_decided_7d0
prs_merged_30d0
prs_decided_30d0
issue_closed_ratio0,603
closed_unmerged_prs82
first_time_authors_30d0
first_time_prs_merged_30d0
first_time_prs_decided_30d0
Виключено з оцінювання (немає даних або не застосовно): Newcomer PR acceptance. Залишкові ваги перенормовано.

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

65Добрий
Як обчислюється оцінка
30/30Підтримка власника — у власності організації
0/20Верифікований домен
19.2/25Охоплення власника — 466 підписників у 0xMiden
16.2/25Послужний список — 54 публічних репозиторіїв, вік облікового запису ~1 р.
Використані вхідні дані
followers466
owner_typeOrganization
is_verifiedні
owner_login0xMiden
public_repos54
account_age_days647

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

71Добрий
Як обчислюється оцінка
25/25Опубліковано й доступно — 4 пакет(ів) у crates
14/35Свіжість публікацій — остання публікація 449 дн. тому
12/20Історія версій — 4 опублікованих версій
20/20Не застарілий — активний, не deprecated і не yanked
Використані вхідні дані
packagesair-mir, air-pass, air-parser, air-script
ecosystemscrates
any_deprecatedні
min_days_since_publish449

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

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

81Відмінний · 19% загального індексу

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

82Відмінний
Як обчислюється оцінка
24/24Процеси CI — 7 процес(ів) CI
24/24Наявні тести
16/16Конфігурація лінтера — rustfmt.toml
0/9.6Pre-commit-хуки
0/6.4.editorconfig
18/20OpenSSF Scorecard: CI-Tests — 26 out of 27 merged PRs checked by a CI test -- score normalized to 9
Використані вхідні дані
has_ciтак
has_testsтак
has_editorconfigні
has_linter_configтак
has_precommit_configні

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

80Відмінний
Як обчислюється оцінка
30/30README
25/25Каталог документації
15/15Сайт документації / домашня сторінка — https://0xmiden.github.io/air-script/
10/10Опис репозиторію
0/10Теми
0/10Wiki
Використані вхідні дані
topics—
has_wikiні
homepagehttps://0xmiden.github.io/air-script/
docs_sitehttps://0xmiden.github.io/air-script/
has_readmeтак
has_docs_dirтак
has_descriptionтак

Безпека

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

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

Стан безпеки

63Помірний
Як обчислюється оцінка
7.5/7.5Binary-Artifacts — no binaries found in the repo
0/7.5Branch-Protection — немає даних
2.2/2.5CI-Tests — 26 out of 27 merged PRs checked by a CI test -- score normalized to 9
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
6.8/7.5Code-Review — Found 27/29 approved changesets -- score normalized to 9
2.5/2.5Contributors — project has 5 contributing companies or organizations
10/10Dangerous-Workflow — no dangerous workflow patterns detected
0/7.5Dependency-Update-Tool — no update tool detected
0/5Fuzzing — project is not fuzzed
2.5/2.5Ліцензія — license file detected
0/7.5Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0
0/5Packaging — немає даних
0/5Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
2.5/5SAST — SAST tool is not run on all commits -- score normalized to 5
4.5/5Security-Policy — security policy file detected
0/7.5Signed-Releases — немає даних
7.5/7.5Token-Permissions — GitHub workflow tokens follow principle of least privilege
7.5/7.5Vulnerabilities — 0 existing vulnerabilities detected
Використані вхідні дані
sourceopenssf_scorecard
checks_evaluated15
scorecard_versionv5.5.0
checks_inconclusive3
scorecard_aggregate6,3
Виключено з оцінювання (немає даних або не застосовно): Branch-Protection, Packaging, Signed-Releases. Залишкові ваги перенормовано.

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

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

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

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

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

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

62Помірний
Як обчислюється оцінка
18/18Розгортання однією командою — Makefile
22/22Автоматизовані тести
11/11Конфігурація лінтера / форматера — rustfmt.toml
11/11Статична перевірка типів — Rust (статично типізована)
0/10Відтворюване середовище
0/10Підтверджена практика роботи з агентами — серед останніх 100 комітів немає створених агентом
0/8Автоматизоване супроводження — автоматичних оновлень залежностей не виявлено
0/10OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
Використані вхідні дані
has_nixні
has_testsтак
lockfiles—
has_dockerfileні
typed_languageтак
bootstrap_filesMakefile
has_devcontainerні
has_linter_configтак
typecheck_configs—
agent_commit_share0
toolchain_manifestsCargo.toml, air-script/Cargo.toml, air/Cargo.toml, codegen/ace/Cargo.toml, codegen/winterfell/Cargo.toml, miden-vm/Cargo.toml, mir/Cargo.toml, mir/derive-ir/Cargo.toml, parser/Cargo.toml, pass/Cargo.toml
dependency_bot_commit_share0

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

99Винятковий
Як обчислюється оцінка
45/45Типізований код — Rust (статично типізована)
54.2/55Керовані розміри файлів — 4/285 файлів вихідного коду понад 60 КБ
Використані вхідні дані
primary_languageRust
largest_source_bytes102 663
source_files_sampled285
oversized_source_files4

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

100Винятковий
Як обчислюється оцінка
0/40Схема API (OpenAPI/GraphQL/proto) — не застосовно до цього типу програмного забезпечення
0/20Сервер MCP — не застосовно до цього типу програмного забезпечення
40/40Придатні до запуску приклади — examples
Використані вхідні дані
example_dirsexamples
has_mcp_signalні
api_schema_files—
interfaces_expected_of—
Виключено з оцінювання (немає даних або не застосовно): Схема API (OpenAPI/GraphQL/proto), Сервер MCP. Залишкові ваги перенормовано.

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

96зірок GitHub
22контриб'юторів
30комітів за останні 12 місяців
150днів від останнього пушу
4релізів
2бас-фактор
87відкритих issue
crates.ioпакетних екосистем

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

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
  • Could not fetch crates package 'air-ir' from its registry
  • crates package 'miden-vm' points at a different repository (https://github.com/0xMiden/miden-vm); excluded from ecosystem scoring
  • No resolved dependencies carried a version and a supported ecosystem

Докладніше

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

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

01325383642022-092024-092026-09
Мажорні 0Мінорні 4Патчі 0

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

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

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

10Binary-Artifactsno binaries found in the repo
н/дBranch-Protectioninternal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md
9CI-Tests26 out of 27 merged PRs checked by a CI test -- score normalized to 9
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
9Code-ReviewFound 27/29 approved changesets -- score normalized to 9
10Contributorsproject has 5 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
0Dependency-Update-Toolno update tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
0Maintained0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0
н/дPackagingpackaging workflow not detected
0Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
5SASTSAST tool is not run on all commits -- score normalized to 5
9Security-Policysecurity policy file detected
н/дSigned-Releasesno releases found
10Token-PermissionsGitHub workflow tokens follow principle of least privilege
10Vulnerabilities0 existing vulnerabilities detected
Прямі залежності 50
РеєстрПакетОбмеження версіїМаніфест
crates.ioair-codegen-winter0.5air-script/Cargo.toml
crates.ioair-ir0.5air-script/Cargo.toml
crates.ioair-parser0.5air-script/Cargo.toml
crates.ioair-pass0.5air-script/Cargo.toml
crates.ioclap4.5air-script/Cargo.toml
crates.ioenv_logger0.11air-script/Cargo.toml
crates.iolog0.4air-script/Cargo.toml
crates.iomiden-diagnostics—air-script/Cargo.toml
crates.iomir0.5air-script/Cargo.toml
crates.ioair-parser0.5air/Cargo.toml
crates.ioair-pass0.5air/Cargo.toml
crates.ioanyhow—air/Cargo.toml
crates.iomiden-diagnostics—air/Cargo.toml
crates.iomir0.5air/Cargo.toml
crates.iothiserror—air/Cargo.toml
crates.iorand0.9air/Cargo.toml
crates.iowinter-math0.12air/Cargo.toml
crates.ioair-ir0.5miden-vm/Cargo.toml
crates.ioair-parser0.5miden-vm/Cargo.toml
crates.ioair-pass0.5miden-vm/Cargo.toml
crates.ioair-mir0.5miden-vm/Cargo.toml
crates.ioair-codegen-ace0.5miden-vm/Cargo.toml
crates.iomiden-diagnostics0.1miden-vm/Cargo.toml
crates.iomiden-core0.13miden-vm/Cargo.toml
crates.iowinter-air0.12miden-vm/Cargo.toml
crates.iowinter-math0.12miden-vm/Cargo.toml
crates.iowinter-utils0.12miden-vm/Cargo.toml
crates.iowinter-prover0.12miden-vm/Cargo.toml
crates.iowinter-verifier0.12miden-vm/Cargo.toml
crates.iowinterfell0.12miden-vm/Cargo.toml
crates.ioair-parser0.5mir/Cargo.toml
crates.ioair-pass0.5mir/Cargo.toml
crates.ioanyhow—mir/Cargo.toml
crates.ioderive-ir0.5mir/Cargo.toml
crates.iomiden-core0.13mir/Cargo.toml
crates.iomiden-diagnostics—mir/Cargo.toml
crates.iontest0.9.5mir/Cargo.toml
crates.iopretty_assertions1.4mir/Cargo.toml
crates.iorand0.9mir/Cargo.toml
crates.iothiserror—mir/Cargo.toml
crates.iowinter-math0.12mir/Cargo.toml
crates.ioair-pass0.5parser/Cargo.toml
crates.ioeither1.12parser/Cargo.toml
crates.iolalrpop-util0.20parser/Cargo.toml
crates.iolazy_static1.4parser/Cargo.toml
crates.iomiden-diagnostics—parser/Cargo.toml
crates.iomiden-parsing0.1parser/Cargo.toml
crates.iopetgraph0.8parser/Cargo.toml
crates.ioregex1parser/Cargo.toml
crates.iothiserror—parser/Cargo.toml
Усі залежності 39

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

РеєстрПакетВерсіяЗв'язок
crates.ioair-codegen-ace—пряма
crates.ioair-codegen-winter—пряма
crates.ioair-ir—пряма
crates.ioair-mir—пряма
crates.ioair-parser—пряма
crates.ioair-pass—пряма
crates.ioanyhow—пряма
crates.ioclap—пряма
crates.ioeither—пряма
crates.ioenv_logger—пряма
crates.iolalrpop-util—пряма
crates.iolazy_static—пряма
crates.iolog—пряма
crates.iomiden-core—пряма
crates.iomiden-diagnostics—пряма
crates.iomiden-parsing—пряма
crates.iontest—пряма
crates.iopetgraph—пряма
crates.iopretty_assertions—пряма
crates.iorand—пряма
crates.ioregex—пряма
crates.iothiserror—пряма
crates.iowinter-air—пряма
crates.iowinter-math—пряма
crates.iowinter-prover—пряма
crates.iowinter-utils—пряма
crates.iowinter-verifier—пряма
crates.iowinterfell—пряма
crates.ioair-derive-ir—непряма
crates.iocodegen—непряма
crates.ioexpect-test—непряма
crates.iolalrpop—непряма
crates.iomiden-assembly—непряма
crates.iomiden-processor—непряма
crates.ioprettyplease—непряма
crates.ioproc-macro2—непряма
crates.ioquote—непряма
crates.iorand_chacha—непряма
crates.iosyn—непряма
Сповіщення про залежності не оцінено

Звірка сповіщень не відбулася для цього звіту: No resolved dependencies carried a version and a supported ecosystem

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

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

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

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

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

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

960xMiden/miden-vmSTARK-based virtual machineВинятковий93ProvableHQ/snarkVMA zkVM for Decentralized Private Computations (DPC)Винятковий90risc0/risc0RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.Відмінний87starkware-libs/cairo-vmcairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.Відмінний91firoorg/firoThe privacy-focused cryptocurrencyВідмінний98noir-lang/noirNoir is a domain specific language for zero knowledge proofsВинятковий

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

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

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