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

verus-lang / verus

Verified Rust for low-level systems code

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

verus-lang/verus має індекс здоров’я 91 зі 100, що відповідає смузі «Відмінний». Найвищий показник — Vitality (96/100), найнижчий — Security (55/100). Останнє оновлення — сьогодні. Більшість нещодавньої роботи виконують 2 учасники.

91
загалом / 100
Відмінний

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

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

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

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

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

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

Власність

verus-langОрганізація
75 підписників16 публічних репозиторіївз черв. 2022 р.

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

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

РеєстрПакетВерсіяЗавантажень / місВерсіїОстання публікаціяТеги
crates.ioairвказує на інший репозиторій — не оцінюється1.0.219511143 дні тому—
crates.iovir0.0.0211633 дні тому—
crates.iovstd0.0.0-2026-08-09-004441 2473913 днів томуverificationverified-rustverusdevelopment-tools
crates.ioverus0.0.0501891 день томуverified-rustverusdevelopment-tools
crates.ioverus_builtin0.0.0-2026-08-09-004439 8132113 днів томуverificationverified-rustverusdevelopment-tools

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

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

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

96Винятковий · 21% загального індексу

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

100Винятковий
Як обчислюється оцінка
36/36Свіжість push — останній push 0 дн. тому
36/36Ритм комітів — 52/52 тижнів із комітами
18/18Обсяг комітів — 936 комітів за останній рік
10/10OpenSSF Scorecard: Maintained — 30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10
Використані вхідні дані
commits_last_year936
human_commit_share1
days_since_last_push0
active_weeks_last_year52

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

90Відмінний
Як обчислюється оцінка
27/27Випускає релізи — опубліковано 81 релізів
36/36Свіжість релізів — останній реліз 1 дн. тому
27/27Ритм релізів — реліз кожні ~6,7 дн.
0/10OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases.
Використані вхідні дані
releases_count81
latest_release_tagrelease/rolling/0.2026.08.21.11eda20
releases_from_tagsні
days_since_latest_release1
mean_days_between_releases6,7

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

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

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

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

84Відмінний
Як обчислюється оцінка
56.1/60Зірки — 2 883 зірок
19.3/25Форки — 208 форків
8.3/15Спостерігачі — 32 спостерігачів
Використані вхідні дані
forks208
stars2 883
watchers32
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_badges4
has_contributingтак
has_issue_templateні
has_code_of_conductні
readme_badge_servicesshields.io
has_pull_request_templateтак

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

82Відмінний
Як обчислюється оцінка
65.5/80Щомісячні завантаження — 81 110 завантажень/місяць у crates
0/20Залежні пакети в реєстрі — ця екосистема цього не повідомляє
Використані вхідні дані
packagesvstd, verus, verus_builtin
dependents—
ecosystemscrates
total_downloads373 397
monthly_downloads81 110
unverified_packages_excludedvir
Виключено з оцінювання (немає даних або не застосовно): Залежні пакети в реєстрі. Залишкові ваги перенормовано.

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

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

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

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

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

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

82Відмінний
Як обчислюється оцінка
32.7/42Вирішення issue — закрито 78% issue
27.4/30Прийняття PR — злито 1 527/1 674 вирішених PR
11.1/13Newcomer PR acceptance — злито 6/7 PR від новачків за 30 дн.
10.5/15OpenSSF Scorecard: Code-Review — Found 21/30 approved changesets -- score normalized to 7
Використані вхідні дані
merged_prs1 527
open_issues198
closed_issues692
prs_merged_7d17
prs_decided_7d18
prs_merged_30d57
prs_decided_30d60
issue_closed_ratio0,778
closed_unmerged_prs147
first_time_authors_30d5
first_time_prs_merged_30d6
first_time_prs_decided_30d7

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

61Помірний
Як обчислюється оцінка
30/30Підтримка власника — у власності організації
0/20Верифікований домен
13.5/25Охоплення власника — 75 підписників у verus-lang
17.4/25Послужний список — 16 публічних репозиторіїв, вік облікового запису ~4 р.
Використані вхідні дані
followers75
owner_typeOrganization
is_verifiedні
owner_loginverus-lang
public_repos16
account_age_days1 536

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

100Винятковий
Як обчислюється оцінка
25/25Опубліковано й доступно — 4 пакет(ів) у crates
35/35Свіжість публікацій — остання публікація 13 дн. тому
20/20Історія версій — 39 опублікованих версій
20/20Не застарілий — активний, не deprecated і не yanked
Використані вхідні дані
packagesvir, vstd, verus, verus_builtin
ecosystemscrates
any_deprecatedні
min_days_since_publish13

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

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

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

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

84Відмінний
Як обчислюється оцінка
24/24Процеси CI — 8 процес(ів) CI
24/24Наявні тести
16/16Конфігурація лінтера — dependencies/prettyplease/Cargo.toml ([lints]), dependencies/syn/Cargo.toml ([lints]), rustfmt.toml, source/Cargo.toml ([workspace.lints]), source/air/Cargo.toml ([lints]), source/builtin/Cargo.toml ([lints]), source/builtin_macros/Cargo.toml ([lints]), source/cargo-verus-toolchains/Cargo.toml ([lints]), source/cargo-verus/Cargo.toml ([lints]), source/rust_verify/Cargo.toml ([lints]), source/rust_verify_test/Cargo.toml ([lints]), source/rust_verify_test_macros/Cargo.toml ([lints]), source/rustc_mir_build/Cargo.toml ([lints]), source/state_machines_macros/Cargo.toml ([lints]), source/verus/Cargo.toml ([lints]), source/verusdoc/Cargo.toml ([lints]), source/vir/Cargo.toml ([lints]), source/vir_macros/Cargo.toml ([lints]), source/vstd/Cargo.toml ([lints]), source/vstd_build/Cargo.toml ([lints])
0/9.6Pre-commit-хуки
0/6.4.editorconfig
20/20OpenSSF Scorecard: CI-Tests — 30 out of 30 merged PRs checked by a CI test -- score normalized to 10
Використані вхідні дані
has_ciтак
has_testsтак
has_editorconfigні
has_linter_configтак
has_precommit_configні

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

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

Безпека

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

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

Стан безпеки

48Слабкий
Як обчислюється оцінка
6.8/7.5Binary-Artifacts — binaries present in source code
0/7.5Branch-Protection — немає даних
2.5/2.5CI-Tests — 30 out of 30 merged PRs checked by a CI test -- score normalized to 10
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
5.2/7.5Code-Review — Found 21/30 approved changesets -- score normalized to 7
2.5/2.5Contributors — project has 34 contributing companies or organizations
10/10Dangerous-Workflow — no dangerous workflow patterns detected
0/7.5Dependency-Update-Tool — no update tool detected
5/5Fuzzing — project is fuzzed
2.5/2.5Ліцензія — license file detected
7.5/7.5Maintained — 30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10
5/5Packaging — packaging workflow detected
0/5Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
0/5SAST — SAST tool is not run on all commits -- score normalized to 0
0/5Security-Policy — security policy file not detected
0/7.5Signed-Releases — Project has not signed or included provenance with any releases.
0/7.5Token-Permissions — detected GitHub workflow tokens with excessive permissions
0/7.5Vulnerabilities — 25 existing vulnerabilities detected
Використані вхідні дані
sourceopenssf_scorecard
checks_evaluated17
scorecard_versionv5.5.0
checks_inconclusive1
scorecard_aggregate4,8
Виключено з оцінювання (немає даних або не застосовно): Branch-Protection. Залишкові ваги перенормовано.

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

81Відмінний
Як обчислюється оцінка
24.2/35Прямі залежності без відомих сповіщень — уражено 3: rand 0.7.3 (low), anyhow 1.0.100 (unknown), im 15.1.0 (unknown)
0/25Непрямі залежності без відомих сповіщень — транзитивний набір не відокремлюється від залежностей розробки й тестування в цьому обсязі
36.4/40Немає задавнених сповіщень — 2 пакет(ів) зі сповіщеннями без реакції понад 90 дн.; найдавніше опубліковано 1 295 дн. тому
Використані вхідні дані
sourceosv
advisories26
affected_packages15
assessed_packages452
unassessed_packages19
affected_by_severityhigh 5, low 1, unknown 9
direct_affected_packages3
Виключено з оцінювання (немає даних або не застосовно): Непрямі залежності без відомих сповіщень. Залишкові ваги перенормовано. Звірено 452 резолвлених залежностей із OSV. 19 не вдалося оцінити — немає резолвленої версії, непідтримувана екосистема або поза межами звітованого переліку пакетів. Цей репозиторій не публікує пакета, який резолвить індекс, тож натомість оцінено граф залежностей репозиторію. Цей граф змішує закріплені версії для розробки й тестування зі справді постачаними залежностями, тож оцінюються лише задекларовані runtime-залежності; транзитивні знахідки подаються як контекст і в оцінку не входять. Досяжність не аналізується.

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

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

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

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

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

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

76Добрий
Як обчислюється оцінка
18/18Розгортання однією командою — source/docs/publications-and-projects/Makefile
22/22Автоматизовані тести
11/11Конфігурація лінтера / форматера — dependencies/prettyplease/Cargo.toml ([lints]), dependencies/syn/Cargo.toml ([lints]), rustfmt.toml, source/Cargo.toml ([workspace.lints]), source/air/Cargo.toml ([lints]), source/builtin/Cargo.toml ([lints]), source/builtin_macros/Cargo.toml ([lints]), source/cargo-verus-toolchains/Cargo.toml ([lints]), source/cargo-verus/Cargo.toml ([lints]), source/rust_verify/Cargo.toml ([lints]), source/rust_verify_test/Cargo.toml ([lints]), source/rust_verify_test_macros/Cargo.toml ([lints]), source/rustc_mir_build/Cargo.toml ([lints]), source/state_machines_macros/Cargo.toml ([lints]), source/verus/Cargo.toml ([lints]), source/verusdoc/Cargo.toml ([lints]), source/vir/Cargo.toml ([lints]), source/vir_macros/Cargo.toml ([lints]), source/vstd/Cargo.toml ([lints]), source/vstd_build/Cargo.toml ([lints])
11/11Статична перевірка типів — Rust (статично типізована)
10/10Відтворюване середовище — Nix, lockfile
4/10Підтверджена практика роботи з агентами — 2 з останніх 100 комітів створено агентом або з його зазначенням
0/8Автоматизоване супроводження — автоматичних оновлень залежностей не виявлено
0/10OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
Використані вхідні дані
has_nixтак
has_testsтак
lockfilesCargo.lock, Gemfile.lock
has_dockerfileні
typed_languageтак
bootstrap_filessource/docs/publications-and-projects/Makefile
has_devcontainerні
has_linter_configтак
typecheck_configs—
agent_commit_share0,02
toolchain_manifestsdependencies/prettyplease/Cargo.toml, dependencies/prettyplease/cargo-expand/update/Cargo.toml, dependencies/prettyplease/examples/update/Cargo.toml, dependencies/prettyplease/fuzz/Cargo.toml, dependencies/syn/Cargo.toml, dependencies/syn/codegen/Cargo.toml, dependencies/syn/dev/Cargo.toml, dependencies/syn/examples/dump-syntax/Cargo.toml, dependencies/syn/examples/heapsize/example/Cargo.toml, dependencies/syn/examples/heapsize/heapsize/Cargo.toml, dependencies/syn/examples/heapsize/heapsize_derive/Cargo.toml, dependencies/syn/examples/lazy-static/example/Cargo.toml, dependencies/syn/examples/lazy-static/lazy-static/Cargo.toml, dependencies/syn/examples/trace-var/example/Cargo.toml, dependencies/syn/examples/trace-var/trace-var/Cargo.toml, dependencies/syn/fuzz/Cargo.toml, dependencies/syn/json/Cargo.toml, dependencies/syn/tests/features/Cargo.toml, source/Cargo.toml, source/air/Cargo.toml, source/builtin/Cargo.toml, source/builtin_macros/Cargo.toml, source/cargo-verus-toolchains/Cargo.toml, source/cargo-verus/Cargo.toml, source/rust_verify/Cargo.toml, source/rust_verify_test/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/consume_basic_verified_lib/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/consume_machines/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/consume_vstd/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/spec_use/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/structural/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/basic_verified_lib/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/basic_verified_lib_consumer_verified/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/big_rlimit/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/lib_with_bin/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/spec_def/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/spec_def2/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/spec_use/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/state_machine_macro_usage/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/transitive1/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/transitive2/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/transitive3/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/vstd_macro_usage/Cargo.toml, source/rust_verify_test_macros/Cargo.toml, source/rustc_mir_build/Cargo.toml, source/state_machines_macros/Cargo.toml, source/tools/bump_crate_versions/Cargo.toml, source/tools/internals_interface/Cargo.toml, source/tools/line_count/Cargo.toml, source/verus/Cargo.toml, source/verusdoc/Cargo.toml, source/vir/Cargo.toml, source/vir_macros/Cargo.toml, source/vstd/Cargo.toml, source/vstd_build/Cargo.toml, tools/vargo/Cargo.toml, tools/verita/Cargo.toml
dependency_bot_commit_share0

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

97Винятковий
Як обчислюється оцінка
45/45Типізований код — Rust (статично типізована)
51.6/55Керовані розміри файлів — 56/915 файлів вихідного коду понад 60 КБ
Використані вхідні дані
primary_languageRust
largest_source_bytes1 671 171
source_files_sampled915
oversized_source_files56

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

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

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

2 883зірок GitHub
99контриб'юторів
936комітів за останні 12 місяців
0днів від останнього пушу
81релізів
2бас-фактор
198відкритих issue
crates.ioпакетних екосистем

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

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
  • First-time contributor figures cover 12 of 17 authors (cap 12)
  • crates package 'air' points at a different repository (https://github.com/ramp-stack/air.git); excluded from ecosystem scoring
  • Could not fetch crates package 'vargo' from its registry
  • Could not fetch crates package 'verita' from its registry
  • Could not fetch crates package 'verusdoc' from its registry

Докладніше

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

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

0408012016020024020552021-112024-042026-08
Мажорні 0Мінорні 0Патчі 0

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

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

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

9Binary-Artifactsbinaries present in source code
н/д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
10CI-Tests30 out of 30 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
7Code-ReviewFound 21/30 approved changesets -- score normalized to 7
10Contributorsproject has 34 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
0Dependency-Update-Toolno update tool detected
10Fuzzingproject is fuzzed
10Licenselicense file detected
10Maintained30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10
10Packagingpackaging workflow detected
0Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
0SASTSAST tool is not run on all commits -- score normalized to 0
0Security-Policysecurity policy file not detected
0Signed-ReleasesProject has not signed or included provenance with any releases.
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
0Vulnerabilities25 existing vulnerabilities detected
Прямі залежності 121
РеєстрПакетОбмеження версіїМаніфест
crates.ioproc-macro21.0.80dependencies/prettyplease/Cargo.toml
crates.ioverus_syn=0.0.0-2026-08-02-0125dependencies/prettyplease/Cargo.toml
crates.ioproc-macro21.0.101dependencies/syn/Cargo.toml
crates.ioquote1.0.35dependencies/syn/Cargo.toml
crates.iounicode-ident1dependencies/syn/Cargo.toml
crates.iosise—source/air/Cargo.toml
crates.iogetopts—source/air/Cargo.toml
crates.iosmt-scope—source/air/Cargo.toml
crates.iopetgraph—source/air/Cargo.toml
crates.ioserde—source/air/Cargo.toml
crates.ioindexmap—source/air/Cargo.toml
crates.ioyansi—source/air/Cargo.toml
crates.ioconvert_case—source/builtin_macros/Cargo.toml
crates.ioproc-macro2—source/builtin_macros/Cargo.toml
crates.ioquote—source/builtin_macros/Cargo.toml
crates.iosynstructure—source/builtin_macros/Cargo.toml
crates.iosyn—source/builtin_macros/Cargo.toml
crates.ioverus_syn—source/builtin_macros/Cargo.toml
crates.ioverus_prettyplease—source/builtin_macros/Cargo.toml
crates.ioanyhow—source/cargo-verus-toolchains/Cargo.toml
crates.ioclap—source/cargo-verus-toolchains/Cargo.toml
crates.ioitertools—source/cargo-verus-toolchains/Cargo.toml
crates.ioregex—source/cargo-verus-toolchains/Cargo.toml
crates.ioserde—source/cargo-verus-toolchains/Cargo.toml
crates.iotoml—source/cargo-verus-toolchains/Cargo.toml
crates.iotoml_edit—source/cargo-verus-toolchains/Cargo.toml
crates.ioanyhow—source/cargo-verus/Cargo.toml
crates.iocargo_metadata—source/cargo-verus/Cargo.toml
crates.iocargo-verus-toolchains—source/cargo-verus/Cargo.toml
crates.ioclap-cargo—source/cargo-verus/Cargo.toml
crates.ioclap—source/cargo-verus/Cargo.toml
crates.iocolored—source/cargo-verus/Cargo.toml
crates.iohex—source/cargo-verus/Cargo.toml
crates.iorustc_tools_util—source/cargo-verus/Cargo.toml
crates.ioserde_json—source/cargo-verus/Cargo.toml
crates.ioserde—source/cargo-verus/Cargo.toml
crates.iosha2—source/cargo-verus/Cargo.toml
crates.iotempfile—source/cargo-verus/Cargo.toml
crates.ioair—source/rust_verify/Cargo.toml
crates.iobincode-next—source/rust_verify/Cargo.toml
crates.iocargo-verus-toolchains—source/rust_verify/Cargo.toml
crates.ioconsole—source/rust_verify/Cargo.toml
crates.iogetopts—source/rust_verify/Cargo.toml
crates.iohex—source/rust_verify/Cargo.toml
crates.ioindexmap—source/rust_verify/Cargo.toml
crates.ioindicatif—source/rust_verify/Cargo.toml
crates.iointernals_interface—source/rust_verify/Cargo.toml
crates.ionum-bigint—source/rust_verify/Cargo.toml
crates.ionum-format—source/rust_verify/Cargo.toml
crates.ioregex—source/rust_verify/Cargo.toml
crates.iorustc_mir_build_verus—source/rust_verify/Cargo.toml
crates.ioserde_json—source/rust_verify/Cargo.toml
crates.ioserde—source/rust_verify/Cargo.toml
crates.iosha2—source/rust_verify/Cargo.toml
crates.iosise—source/rust_verify/Cargo.toml
crates.iovir—source/rust_verify/Cargo.toml
crates.ioair—source/rust_verify_test/Cargo.toml
crates.iovir—source/rust_verify_test/Cargo.toml
crates.ioquote—source/rust_verify_test_macros/Cargo.toml
crates.iosyn—source/rust_verify_test_macros/Cargo.toml
crates.ioproc-macro2—source/rust_verify_test_macros/Cargo.toml
crates.ioitertools0.12source/rustc_mir_build/Cargo.toml
crates.iotracing0.1source/rustc_mir_build/Cargo.toml
crates.ioverus_syn—source/state_machines_macros/Cargo.toml
crates.ioquote—source/state_machines_macros/Cargo.toml
crates.ioproc-macro2—source/state_machines_macros/Cargo.toml
crates.ioindexmap—source/state_machines_macros/Cargo.toml
crates.iocargo-verus-toolchains—source/verus/Cargo.toml
crates.iochrono—source/verus/Cargo.toml
crates.ioregex—source/verus/Cargo.toml
crates.ioserde_json—source/verus/Cargo.toml
crates.iotoml—source/verus/Cargo.toml
crates.ioyansi—source/verus/Cargo.toml
crates.iozip—source/verus/Cargo.toml
crates.iogit2—source/verus/Cargo.toml
crates.iois-terminal—source/verus/Cargo.toml
crates.iorand—source/verus/Cargo.toml
crates.iowalkdir—source/verusdoc/Cargo.toml
crates.iokuchikiki—source/verusdoc/Cargo.toml
crates.ioserde_json—source/verusdoc/Cargo.toml
crates.ioserde—source/verusdoc/Cargo.toml
crates.iohtml5ever—source/verusdoc/Cargo.toml
crates.ioair—source/vir/Cargo.toml
crates.ioim—source/vir/Cargo.toml
crates.ioindexmap—source/vir/Cargo.toml
crates.ionum-bigint—source/vir/Cargo.toml
crates.ionum-traits—source/vir/Cargo.toml
crates.ioserde—source/vir/Cargo.toml
crates.iosha2—source/vir/Cargo.toml
crates.iosise—source/vir/Cargo.toml
crates.iovir-macros—source/vir/Cargo.toml
crates.iosynstructure—source/vir_macros/Cargo.toml
crates.ioproc-macro2—source/vir_macros/Cargo.toml
crates.iosyn—source/vir_macros/Cargo.toml
crates.ioverus_builtin_macros=0.0.0-2026-08-09-0044source/vstd/Cargo.toml
crates.ioverus_builtin=0.0.0-2026-08-09-0044source/vstd/Cargo.toml
crates.ioverus_state_machines_macros=0.0.0-2026-08-02-0125source/vstd/Cargo.toml
crates.ioyansi—source/vstd_build/Cargo.toml
crates.ioanyhow1tools/vargo/Cargo.toml
crates.ioclap4.5tools/vargo/Cargo.toml
crates.iofiletime0.2.26tools/vargo/Cargo.toml
crates.ioregex1tools/vargo/Cargo.toml
crates.ioserde_json1tools/vargo/Cargo.toml
crates.ioserde1tools/vargo/Cargo.toml
crates.iotoml0.9tools/vargo/Cargo.toml
crates.iowalkdir2.5tools/vargo/Cargo.toml
crates.ioyansi1.0tools/vargo/Cargo.toml
crates.ioanyhow1.0.83tools/verita/Cargo.toml
crates.iodunce1tools/verita/Cargo.toml
crates.iochrono0.4.38tools/verita/Cargo.toml
crates.ioclap4.3.11tools/verita/Cargo.toml
crates.iogit20.18.3tools/verita/Cargo.toml
crates.ioregex1.10.4tools/verita/Cargo.toml
crates.ioserde1.0tools/verita/Cargo.toml
crates.ioserde_json1.0.117tools/verita/Cargo.toml
crates.iotempdir0.3.7tools/verita/Cargo.toml
crates.iotoml0.8.13tools/verita/Cargo.toml
crates.iotoml_edit0.22tools/verita/Cargo.toml
crates.iotracing0.1.37tools/verita/Cargo.toml
crates.iotracing-subscriber0.3.17tools/verita/Cargo.toml
crates.ioxshell0.2.6tools/verita/Cargo.toml
Усі залежності 471

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

РеєстрПакетВерсіяЗв'язок
crates.ioanyhow—пряма
crates.ioanyhow1.0.100пряма
crates.ioanyhow1.0.104пряма
crates.iobincode-next3.1.1пряма
crates.iocargo_metadata0.23.1пряма
crates.iochrono—пряма
crates.iochrono0.4.45пряма
crates.ioclap—пряма
crates.ioclap4.5.53пряма
crates.ioclap4.6.4пряма
crates.ioclap-cargo0.18.3пряма
crates.iocolored3.1.1пряма
crates.ioconsole0.16.4пряма
crates.ioconvert_case0.4.0пряма
crates.iodunce—пряма
crates.iofiletime0.2.26пряма
crates.iogetopts0.2.21пряма
crates.iogit2—пряма
crates.iogit20.21.0пряма
crates.iohex0.4.3пряма
crates.iohtml5ever0.26.0пряма
crates.ioim15.1.0пряма
crates.ioindexmap1.9.3пряма
crates.ioindexmap2.12.1пряма
crates.ioindexmap2.14.0пряма
crates.ioindicatif0.18.6пряма
crates.iois-terminal0.4.17пряма
crates.ioitertools—пряма
crates.ioitertools0.12.1пряма
crates.ioitertools0.15.0пряма
crates.iokuchikiki0.8.2пряма
crates.ionum-bigint0.4.8пряма
crates.ionum-bigint0.5.1пряма
crates.ionum-format0.4.4пряма
crates.ionum-traits0.2.19пряма
crates.iopetgraph—пряма
crates.iopetgraph0.6.5пряма
crates.iopetgraph0.8.3пряма
crates.ioproc-macro21.0.104пряма
crates.ioproc-macro21.0.107пряма
crates.ioquote1.0.42пряма
crates.ioquote1.0.47пряма
crates.iorand0.10.2пряма
crates.iorand0.7.3пряма
crates.iorand0.8.7пряма
crates.ioregex—пряма
crates.ioregex1.12.2пряма
crates.ioregex1.13.1пряма
crates.iorustc_tools_util0.4.2пряма
crates.ioserde—пряма
crates.ioserde1.0.228пряма
crates.ioserde1.0.229пряма
crates.ioserde_json—пряма
crates.ioserde_json1.0.148пряма
crates.ioserde_json1.0.151пряма
crates.iosha20.11.0пряма
crates.iosise0.8.0пряма
crates.iosmt-scope0.1.7пряма
crates.iosyn1.0.109пряма
crates.iosyn2.0.112пряма
crates.iosyn2.0.119пряма
crates.iosyn3.0.3пряма
crates.iosynstructure0.13.2пряма
crates.iotempdir—пряма
crates.iotempfile—пряма
crates.iotempfile3.27.0пряма
crates.iotoml—пряма
crates.iotoml0.9.10+spec-1.1.0пряма
crates.iotoml1.1.4+spec-1.1.0пряма
crates.iotoml_edit—пряма
crates.iotoml_edit0.23.10+spec-1.0.0пряма
crates.iotracing—пряма
crates.iotracing0.1.44пряма
crates.iotracing-subscriber—пряма
crates.iounicode-ident1.0.22пряма
crates.iounicode-ident1.0.24пряма
crates.ioverus_builtin0.0.0-2026-08-09-0044пряма
crates.ioverus_builtin_macros0.0.0-2026-08-09-0044пряма
crates.ioverus_state_machines_macros0.0.0-2026-08-02-0125пряма
crates.iowalkdir2.5.0пряма
crates.ioxshell—пряма
crates.ioyansi1.0.1пряма
crates.iozip8.6.0пряма
crates.ioadler22.0.1непряма
crates.ioaes0.9.2непряма
crates.ioahash0.8.12непряма
crates.ioaho-corasick1.1.4непряма
crates.ioallocator-api20.2.21непряма
crates.ioandroid_system_properties0.1.5непряма
crates.ioanstream0.6.21непряма
crates.ioanstream1.0.0непряма
crates.ioanstyle1.0.13непряма
crates.ioanstyle1.0.14непряма
crates.ioanstyle-parse0.2.7непряма
crates.ioanstyle-parse1.0.0непряма
crates.ioanstyle-query1.1.5непряма
crates.ioanstyle-wincon3.0.11непряма
crates.ioarrayvec0.7.8непряма
crates.ioatomic-waker1.1.2непряма
crates.ioautocfg1.5.1непряма
crates.iobase640.22.1непряма
crates.iobincode2.0.1непряма
crates.iobincode_derive-next3.1.1непряма
crates.iobitflags1.3.2непряма
crates.iobitflags2.10.0непряма
crates.iobitflags2.13.1непряма
crates.iobitmaps2.1.0непряма
crates.iobitmask-enum2.2.5непряма
crates.ioblock-buffer0.12.1непряма
crates.iobumpalo3.20.3непряма
crates.iobytecount0.6.9непряма
crates.iobyteorder1.5.0непряма
crates.iobytes1.12.1непряма
crates.iobzip20.6.1непряма
crates.iocamino1.2.5непряма
crates.iocargo-platform0.3.3непряма
crates.iocc1.4.0непряма
crates.iocfg-if1.0.4непряма
crates.iochacha200.10.1непряма
crates.iocipher0.5.2непряма
crates.ioclap_builder4.5.53непряма
crates.ioclap_builder4.6.2непряма
crates.ioclap_derive4.5.49непряма
crates.ioclap_derive4.6.4непряма
crates.ioclap_lex0.7.6непряма
crates.ioclap_lex1.1.0непряма
crates.iocmov0.5.4непряма
crates.iocolorchoice1.0.4непряма
crates.iocolorchoice1.0.5непряма
crates.ioconst-oid0.10.2непряма
crates.ioconstant_time_eq0.4.2непряма
crates.iocore-foundation0.10.1непряма
crates.iocore-foundation-sys0.8.7непряма
crates.iocpubits0.1.1непряма
crates.iocpufeatures0.3.0непряма
crates.iocrates_io_api0.12.0непряма
crates.iocrc32fast1.5.0непряма
crates.iocrypto-common0.2.2непряма
crates.iocssparser0.27.2непряма
crates.iocssparser-macros0.6.1непряма
crates.ioctutils0.4.2непряма
crates.iodeflate640.1.12непряма
crates.ioderanged0.5.8непряма
crates.ioderive_more0.99.20непряма
crates.iodiff0.1.13непряма
crates.iodigest0.11.3непряма
crates.iodisplaydoc0.2.7непряма
crates.iodtoa1.0.11непряма
crates.iodtoa-short0.3.5непряма
crates.ioduplicate1.0.0непряма
crates.ioeither1.17.0непряма
crates.ioencode_unicode1.0.0непряма
crates.ioequivalent1.0.2непряма
crates.ioerrno0.3.14непряма
crates.iofastrand2.5.0непряма
crates.iofind-msvc-tools0.1.9непряма
crates.iofixedbitset0.4.2непряма
crates.iofixedbitset0.5.7непряма
crates.ioflate21.1.9непряма
crates.iofnv1.0.7непряма
crates.iofoldhash0.1.5непряма
crates.ioforeign-types0.3.2непряма
crates.ioforeign-types-shared0.1.1непряма
crates.ioform_urlencoded1.2.2непряма
crates.iofutf0.1.5непряма
crates.iofutures0.3.33непряма
crates.iofutures-channel0.3.33непряма
crates.iofutures-core0.3.33непряма
crates.iofutures-executor0.3.33непряма
crates.iofutures-io0.3.33непряма
crates.iofutures-macro0.3.33непряма
crates.iofutures-sink0.3.33непряма
crates.iofutures-task0.3.33непряма
crates.iofutures-util0.3.33непряма
crates.iofxhash0.2.1непряма
crates.iogetrandom0.1.16непряма
crates.iogetrandom0.2.17непряма
crates.iogetrandom0.4.3непряма
crates.iohashbrown0.12.3непряма
crates.iohashbrown0.14.5непряма
crates.iohashbrown0.15.5непряма
crates.iohashbrown0.16.1непряма
crates.iohashbrown0.17.1непряма
crates.ioheck0.4.1непряма
crates.ioheck0.5.0непряма
crates.iohermit-abi0.5.2непряма
crates.iohmac0.13.0непряма
crates.iohttp1.5.0непряма
crates.iohttp-body1.1.0непряма
crates.iohttp-body-util0.1.4непряма
crates.iohttparse1.10.1непряма
crates.iohybrid-array0.4.14непряма
crates.iohyper1.11.0непряма
crates.iohyper-tls0.6.0непряма
crates.iohyper-util0.1.20непряма
crates.ioiana-time-zone0.1.65непряма
crates.ioiana-time-zone-haiku0.1.2непряма
crates.ioicu_collections2.2.0непряма
crates.ioicu_locale_core2.2.0непряма
crates.ioicu_normalizer2.2.0непряма
crates.ioicu_normalizer_data2.2.0непряма
crates.ioicu_properties2.2.0непряма
crates.ioicu_properties_data2.2.0непряма
crates.ioicu_provider2.2.0непряма
crates.ioidna1.1.0непряма
crates.ioidna_adapter1.2.2непряма
crates.ioindoc2.0.7непряма
crates.ioinout0.2.2непряма
crates.ioinsta1.48.0непряма
crates.ioinstant0.1.13непряма
crates.ioipnet2.12.0непряма
crates.iois_terminal_polyfill1.70.2непряма
crates.ioitoa0.4.8непряма
crates.ioitoa1.0.17непряма
crates.ioitoa1.0.18непряма
crates.iojobserver0.1.35непряма
crates.iojs-sys0.3.103непряма
crates.iolasso0.7.3непряма
crates.iolibbz2-rs-sys0.2.5непряма
crates.iolibc0.2.178непряма
crates.iolibc0.2.189непряма
crates.iolibgit2-sys0.18.7+1.9.6непряма
crates.iolibredox0.1.12непряма
crates.iolibz-sys1.1.29непряма
crates.iolinux-raw-sys0.12.1непряма
crates.iolitemap0.8.2непряма
crates.iolock_api0.4.14непряма
crates.iolog0.4.33непряма
crates.iolzma-rust20.16.5непряма
crates.iomac0.1.1непряма
crates.iomarkup5ever0.11.0непряма
crates.iomatches0.1.10непряма
crates.iomemchr2.7.6непряма
crates.iomemchr2.8.3непряма
crates.iominiz_oxide0.8.9непряма
crates.iomio1.2.2непряма
crates.ionative-tls0.2.18непряма
crates.ionew_debug_unreachable1.0.6непряма
crates.ionodrop0.1.14непряма
crates.iononmax0.5.5непряма
crates.ionum0.4.3непряма
crates.ionum-complex0.4.6непряма
crates.ionum-conv0.2.2непряма
crates.ionum-integer0.1.46непряма
crates.ionum-iter0.1.46непряма
crates.ionum-rational0.4.2непряма
crates.ioonce_cell1.21.4непряма
crates.ioonce_cell_polyfill1.70.2непряма
crates.ioopenssl0.10.81непряма
crates.ioopenssl-macros0.1.1непряма
crates.ioopenssl-probe0.2.1непряма
crates.ioopenssl-sys0.9.117непряма
crates.iopapergrid0.18.0непряма
crates.ioparking_lot0.11.2непряма
crates.ioparking_lot0.12.5непряма
crates.ioparking_lot_core0.8.6непряма
crates.ioparking_lot_core0.9.12непряма
crates.iopastey0.2.3непряма
crates.iopbkdf20.13.0непряма
crates.iopercent-encoding2.3.2непряма
crates.iophf0.10.1непряма
crates.iophf0.8.0непряма
crates.iophf_codegen0.10.0непряма
crates.iophf_codegen0.8.0непряма
crates.iophf_generator0.10.0непряма
crates.iophf_generator0.11.3непряма
crates.iophf_generator0.8.0непряма
crates.iophf_macros0.8.0непряма
crates.iophf_shared0.10.0непряма
crates.iophf_shared0.11.3непряма
crates.iophf_shared0.8.0непряма
crates.iopin-project-lite0.2.17непряма
crates.iopin-utils0.1.0непряма
crates.iopkg-config0.3.33непряма
crates.ioportable-atomic1.14.0непряма
crates.iopotential_utf0.1.5непряма
crates.iopowerfmt0.2.0непряма
crates.ioppmd-rust1.4.0непряма
crates.ioppv-lite860.2.21непряма
crates.ioprecomputed-hash0.1.1непряма
crates.iopretty_assertions—непряма
crates.iopretty_assertions1.4.1непряма
crates.ioproc-macro-error1.0.4непряма
crates.ioproc-macro-error-attr1.0.4непряма
crates.ioproc-macro-error-attr22.0.0непряма
crates.ioproc-macro-error22.0.1непряма
crates.ioproc-macro-hack0.5.20+deprecatedнепряма
crates.ior-efi6.0.0непряма
crates.iorand_chacha0.2.2непряма
crates.iorand_chacha0.3.1непряма
crates.iorand_core0.10.1непряма
crates.iorand_core0.5.1непряма
crates.iorand_core0.6.4непряма
crates.iorand_hc0.2.0непряма
crates.iorand_pcg0.2.1непряма
crates.iorand_xoshiro0.6.0непряма
crates.iorapidhash4.5.1непряма
crates.ioredox_syscall0.2.16непряма
crates.ioredox_syscall0.5.18непряма
crates.ioredox_syscall0.7.0непряма
crates.ioregex-automata0.4.13непряма
crates.ioregex-automata0.4.16непряма
crates.ioregex-syntax0.8.11непряма
crates.ioregex-syntax0.8.8непряма
crates.ioreqwest0.12.28непряма
crates.iorustc_version0.4.1непряма
crates.iorustix1.1.4непряма
crates.iorustls-pki-types1.15.1непряма
crates.iorustversion1.0.23непряма
crates.ioryu1.0.23непряма
crates.iosame-file1.0.6непряма
crates.ioschannel0.1.29непряма
crates.ioscopeguard1.2.0непряма
crates.iosecurity-framework3.7.0непряма
crates.iosecurity-framework-sys2.17.0непряма
crates.ioselectors0.22.0непряма
crates.iosemver1.0.28непряма
crates.ioserde_core1.0.228непряма
crates.ioserde_core1.0.229непряма
crates.ioserde_derive1.0.228непряма
crates.ioserde_derive1.0.229непряма
crates.ioserde_path_to_error0.1.20непряма
crates.ioserde_spanned1.0.4непряма
crates.ioserde_spanned1.1.1непряма
crates.ioserde_urlencoded0.7.1непряма
crates.ioservo_arc0.1.1непряма
crates.iosha10.11.0непряма
crates.ioshlex2.0.1непряма
crates.iosimd-adler320.3.10непряма
crates.iosimilar2.7.0непряма
crates.iosiphasher0.3.11непряма
crates.iosiphasher1.0.3непряма
crates.iosized-chunks0.6.5непряма
crates.ioslab0.4.12непряма
crates.iosmallvec1.15.2непряма
crates.iosocket20.6.5непряма
crates.iostable_deref_trait1.2.1непряма
crates.iostring_cache0.8.9непряма
crates.iostring_cache_codegen0.5.4непряма
crates.iostrsim0.11.1непряма
crates.iostrum0.26.3непряма
crates.iostrum_macros0.26.4непряма
crates.iosync_wrapper1.0.2непряма
crates.iotabled0.21.0непряма
crates.iotabled_derive0.11.0непряма
crates.iotendril0.4.3непряма
crates.iotesting_table0.3.0непряма
crates.iothin-slice0.1.1непряма
crates.iothiserror1.0.69непряма
crates.iothiserror2.0.19непряма
crates.iothiserror-impl1.0.69непряма
crates.iothiserror-impl2.0.19непряма
crates.iotime0.3.54непряма
crates.iotime-core0.1.9непряма
crates.iotinystr0.8.3непряма
crates.iotokio1.53.1непряма
crates.iotokio-native-tls0.3.1непряма
crates.iotoml_datetime0.7.5+spec-1.1.0непряма
crates.iotoml_datetime1.1.1+spec-1.1.0непряма
crates.iotoml_parser1.0.6+spec-1.1.0непряма
crates.iotoml_parser1.1.3+spec-1.1.0непряма
crates.iotoml_writer1.0.6+spec-1.1.0непряма
crates.iotoml_writer1.1.2+spec-1.1.0непряма
crates.iotower0.5.3непряма
crates.iotower-http0.6.11непряма
crates.iotower-layer0.3.3непряма
crates.iotower-service0.3.3непряма
crates.iotracing-attributes0.1.31непряма
crates.iotracing-core0.1.36непряма
crates.iotry-lock0.2.5непряма
crates.iotyped-index-collections3.5.0непряма
crates.iotyped-path0.12.3непряма
crates.iotypenum1.20.1непряма
crates.iounicode-width0.1.14непряма
crates.iounicode-width0.2.2непряма
crates.iounit-prefix0.5.2непряма
crates.iounty0.0.4непряма
crates.iounty-next0.1.2непряма
crates.iourl2.5.8непряма
crates.ioutf-80.7.6непряма
crates.ioutf8_iter1.0.4непряма
crates.ioutf8parse0.2.2непряма
crates.iovcpkg0.2.15непряма
crates.ioversion_check0.9.5непряма
crates.iovirtue-next0.1.3непряма
crates.iowant0.3.1непряма
crates.iowasi0.11.1+wasi-snapshot-preview1непряма
crates.iowasi0.9.0+wasi-snapshot-preview1непряма
crates.iowasm-bindgen0.2.126непряма
crates.iowasm-bindgen-futures0.4.76непряма
crates.iowasm-bindgen-macro0.2.126непряма
crates.iowasm-bindgen-macro-support0.2.126непряма
crates.iowasm-bindgen-shared0.2.126непряма
crates.iowasm-timer0.2.5непряма
crates.ioweb-sys0.3.103непряма
crates.ioweb-time1.1.0непряма
crates.iowin32job—непряма
crates.iowin32job1.0.4непряма
crates.iowinapi0.3.9непряма
crates.iowinapi-i686-pc-windows-gnu0.4.0непряма
crates.iowinapi-util0.1.11непряма
crates.iowinapi-x86_64-pc-windows-gnu0.4.0непряма
crates.iowindows-core0.62.2непряма
crates.iowindows-implement0.60.2непряма
crates.iowindows-interface0.59.3непряма
crates.iowindows-link0.2.1непряма
crates.iowindows-result0.4.1непряма
crates.iowindows-strings0.5.1непряма
crates.iowindows-sys0.60.2непряма
crates.iowindows-sys0.61.2непряма
crates.iowindows-targets0.53.5непряма
crates.iowindows_aarch64_gnullvm0.53.1непряма
crates.iowindows_aarch64_msvc0.53.1непряма
crates.iowindows_i686_gnu0.53.1непряма
crates.iowindows_i686_gnullvm0.53.1непряма
crates.iowindows_i686_msvc0.53.1непряма
crates.iowindows_x86_64_gnu0.53.1непряма
crates.iowindows_x86_64_gnullvm0.53.1непряма
crates.iowindows_x86_64_msvc0.53.1непряма
crates.iowinnow0.7.14непряма
crates.iowinnow0.7.15непряма
crates.iowinnow1.0.4непряма
crates.iowriteable0.6.3непряма
crates.ioyoke0.8.3непряма
crates.ioyoke-derive0.8.2непряма
crates.iozerocopy0.8.55непряма
crates.iozerocopy-derive0.8.55непряма
crates.iozerofrom0.1.8непряма
crates.iozerofrom-derive0.1.7непряма
crates.iozeroize1.9.0непряма
crates.iozerotrie0.2.4непряма
crates.iozerovec0.11.6непряма
crates.iozerovec-derive0.11.3непряма
crates.iozlib-rs0.6.6непряма
crates.iozmij1.0.23непряма
crates.iozmij1.0.5непряма
crates.iozopfli0.8.3непряма
crates.iozstd0.13.3непряма
crates.iozstd-safe7.2.4непряма
crates.iozstd-sys2.0.16+zstd.1.5.7непряма
RubyGemsaddressable2.8.6непряма
RubyGemscolorator1.1.0непряма
RubyGemsconcurrent-ruby1.2.3непряма
RubyGemsem-websocket0.5.3непряма
RubyGemseventmachine1.2.7непряма
RubyGemsffi1.16.3непряма
RubyGemsforwardable-extended2.6.0непряма
RubyGemsgoogle-protobuf4.26.1непряма
RubyGemshttp_parser.rb0.8.0непряма
RubyGemsi18n1.14.4непряма
RubyGemsjekyll4.3.3непряма
RubyGemsjekyll-feed0.17.0непряма
RubyGemsjekyll-sass-converter3.0.0непряма
RubyGemsjekyll-watch2.2.1непряма
RubyGemskramdown2.4.0непряма
RubyGemskramdown-parser-gfm1.1.0непряма
RubyGemsliquid4.0.4непряма
RubyGemslisten3.9.0непряма
RubyGemsmercenary0.4.0непряма
RubyGemspathutil0.16.2непряма
RubyGemspublic_suffix5.0.5непряма
RubyGemsrake13.2.1непряма
RubyGemsrb-fsevent0.11.2непряма
RubyGemsrb-inotify0.10.1непряма
RubyGemsrexml3.2.6непряма
RubyGemsrouge4.2.1непряма
RubyGemssafe_yaml1.0.5непряма
RubyGemssass-embedded1.76.0-x86_64-linux-muslнепряма
RubyGemsterminal-table3.0.2непряма
RubyGemsunicode-display_width2.5.0непряма
RubyGemswebrick1.8.1непряма
Сповіщення про залежності 15

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

ПакетВерсіяЗв'язокКритичністьСповіщеньВиправлено в
addressable2.8.6непрямависока12.9.0
concurrent-ruby1.2.3непрямависока31.3.7
google-protobuf4.26.1непрямависока14.28.2
rexml3.2.6непрямависока63.3.9
webrick1.8.1непрямависока21.8.2
rand0.7.3пряманизька20.10.1
anyhow1.0.100пряманевідома11.0.103
im15.1.0пряманевідома2—
bincode2.0.1непряманевідома1—
bitmaps2.1.0непряманевідома1—
fxhash0.2.1непряманевідома1—
instant0.1.13непряманевідома1—
proc-macro-error1.0.4непряманевідома1—
proc-macro-error22.0.1непряманевідома1—
sized-chunks0.6.5непряманевідома2—

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

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

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

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

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

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

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

89creusot-rs/creusotCreusot helps you prove your Rust code is correct.Відмінний83assura-lang/assuraContract-first AI-native language. Write what it should do. AI proves it does.Відмінний80hypothesi/mcp-server-tauriA Model Context Protocol (MCP) server and plugin for Tauri v2 developmentВідмінний80verus-lang/verusfmtAn Opinionated Formatter for VerusВідмінний78x52dev/contractsA Rust crate that implements "design by contract" via procedural macrosДобрий71aretta-ai/aristoAn SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they drift. Agent-first, MIT.Добрий

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

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

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