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

proptest-rs / proptest

Hypothesis-like property testing for Rust

Rust · RenderScriptApache-2.0★ 2 208 зірок⑂ 223 форкиз черв. 2017 р.Переглянути на GitHub ↗
ТипБібліотекаяк це визначено

proptest-rs/proptest має індекс здоров’я 81 зі 100, що відповідає смузі «Відмінний». Найвищий показник — Community & Adoption (82/100), найнижчий — Security (63/100). Останнє оновлення було 12 днів тому. Більшість нещодавньої роботи виконують 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).

Власність

proptest-rsОрганізація
9 підписників1 публічний репозиторійз жовт. 2022 р.

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

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

РеєстрПакетВерсіяЗавантажень / місВерсіїОстання публікаціяТеги
crates.ioproptest1.11.014 420 06848137 днів томуtestingquickcheckpropertyfuzzhypothesis
crates.ioproptest-macro0.5.080 5606184 дні томуtestingquickcheckpropertyfuzzhypothesis
crates.ioproptest-derive0.8.01 664 29912184 дні томуtestingquickcheckderivearbitraryproptest
crates.ioproptest-state-machine0.8.0171 5999137 днів томуtestingquickcheckpropertyfuzzstate-machine

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

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

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

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

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

74Добрий
Як обчислюється оцінка
28.8/36Свіжість push — останній push 12 дн. тому
18/36Ритм комітів — 26/52 тижнів із комітами
18/18Обсяг комітів — 102 комітів за останній рік
9/10OpenSSF Scorecard: Maintained — 5 commit(s) and 6 issue activity found in the last 90 days -- score normalized to 9
Використані вхідні дані
commits_last_year102
human_commit_share0,97
days_since_last_push12
active_weeks_last_year26

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

52Помірний
Як обчислюється оцінка
27/27Випускає релізи — опубліковано 2 релізів
0/36Свіжість релізів — останній реліз 2 309 дн. тому
19.8/27Ритм релізів — реліз кожні ~85,4 дн.
0/10OpenSSF Scorecard: Signed-Releases — немає даних
Використані вхідні дані
releases_count2
latest_release_tag0.9.6
releases_from_tagsні
days_since_latest_release2 309
mean_days_between_releases85,4
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Signed-Releases. Залишкові ваги перенормовано.

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

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

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

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

81Відмінний
Як обчислюється оцінка
54.2/60Зірки — 2 208 зірок
19.6/25Форки — 223 форків
6.8/15Спостерігачі — 18 спостерігачів
Використані вхідні дані
forks223
stars2 208
watchers18
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

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

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

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

100Винятковий
Як обчислюється оцінка
80/80Щомісячні завантаження — 16 336 526 завантажень/місяць у crates
0/20Залежні пакети в реєстрі — ця екосистема цього не повідомляє
Використані вхідні дані
packagesproptest, proptest-macro, proptest-derive, proptest-state-machine
dependents—
ecosystemscrates
total_downloads191 850 561
monthly_downloads16 336 526
unverified_packages_excluded—
Виключено з оцінювання (немає даних або не застосовно): Залежні пакети в реєстрі. Залишкові ваги перенормовано.

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

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

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

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

62Помірний
Як обчислюється оцінка
25.2/54Бас-фактор — на 2 контриб’ютор(ів) припадає половина всіх комітів
13.8/22.5Розподіл комітів — головний контриб’ютор — автор 39% комітів
13.5/13.5Широта контриб’юторів — 91 контриб’юторів
10/10OpenSSF Scorecard: Contributors — project has 28 contributing companies or organizations
Використані вхідні дані
bus_factor2
contributors_sampled91
top_contributor_share0,386

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

68Добрий
Як обчислюється оцінка
24.5/42Вирішення issue — закрито 58% issue
21.5/30Прийняття PR — злито 244/340 вирішених PR
0/13Newcomer PR acceptance — за 30 дн. не вирішено жодного PR від новачка
13.5/15OpenSSF Scorecard: Code-Review — Found 11/12 approved changesets -- score normalized to 9
Використані вхідні дані
merged_prs244
open_issues124
closed_issues174
prs_merged_7d0
prs_decided_7d0
prs_merged_30d2
prs_decided_30d2
issue_closed_ratio0,584
closed_unmerged_prs96
first_time_authors_30d0
first_time_prs_merged_30d0
first_time_prs_decided_30d0
Виключено з оцінювання (немає даних або не застосовно): Newcomer PR acceptance. Залишкові ваги перенормовано.

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

59Помірний
Як обчислюється оцінка
30/30Підтримка власника — у власності організації
0/20Верифікований домен — статус підтвердженого домену для цієї організації не зчитано
7.2/25Охоплення власника — 9 підписників у proptest-rs
9.8/25Послужний список — 1 публічних репозиторіїв, вік облікового запису ~3 р.
Використані вхідні дані
followers9
owner_typeOrganization
is_verified—
owner_loginproptest-rs
public_repos1
account_age_days1 388
Виключено з оцінювання (немає даних або не застосовно): Верифікований домен. Залишкові ваги перенормовано.

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

100Винятковий
Як обчислюється оцінка
25/25Опубліковано й доступно — 4 пакет(ів) у crates
35/35Свіжість публікацій — остання публікація 137 дн. тому
20/20Історія версій — 48 опублікованих версій
20/20Не застарілий — активний, не deprecated і не yanked
Використані вхідні дані
packagesproptest, proptest-macro, proptest-derive, proptest-state-machine
ecosystemscrates
any_deprecatedні
min_days_since_publish137

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

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

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

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

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

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

65Добрий
Як обчислюється оцінка
30/30README
0/25Каталог документації
15/15Сайт документації / домашня сторінка — https://docs.rs/proptest
10/10Опис репозиторію
0/10Теми
10/10Wiki
Використані вхідні дані
topics—
has_wikiтак
homepage—
docs_sitehttps://docs.rs/proptest
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.5/2.5CI-Tests — 11 out of 11 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
6.8/7.5Code-Review — Found 11/12 approved changesets -- score normalized to 9
2.5/2.5Contributors — project has 28 contributing companies or organizations
10/10Dangerous-Workflow — no dangerous workflow patterns detected
7.5/7.5Dependency-Update-Tool — update tool detected
0/5Fuzzing — project is not fuzzed
2.5/2.5Ліцензія — license file detected
6.8/7.5Maintained — 5 commit(s) and 6 issue activity found in the last 90 days -- score normalized to 9
0/5Packaging — немає даних
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 — немає даних
0/7.5Token-Permissions — detected GitHub workflow tokens with excessive permissions
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.

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

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

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

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

64Помірний
Як обчислюється оцінка
12.6/18Розгортання однією командою — Cargo.toml, proptest-derive/Cargo.toml, proptest-macro/Cargo.toml (домовленість інструментарію, без раннера задач)
22/22Автоматизовані тести
0/11Конфігурація лінтера / форматера
11/11Статична перевірка типів — Rust (статично типізована)
10/10Відтворюване середовище — Nix
0/10Підтверджена практика роботи з агентами — серед останніх 100 комітів немає створених агентом
8/8Автоматизоване супроводження — 3 з останніх 100 комітів — автоматичні оновлення залежностей
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_files—
has_devcontainerні
has_linter_configні
typecheck_configs—
agent_commit_share0
toolchain_manifestsCargo.toml, proptest-derive/Cargo.toml, proptest-macro/Cargo.toml, proptest-state-machine/Cargo.toml, proptest/Cargo.toml, proptest/test-persistence-location/single-crate/Cargo.toml, proptest/test-persistence-location/workspace/Cargo.toml, proptest/test-persistence-location/workspace/member/Cargo.toml
dependency_bot_commit_share0,03

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

100Винятковий
Як обчислюється оцінка
45/45Типізований код — Rust (статично типізована)
54.7/55Керовані розміри файлів — 1/201 файлів вихідного коду понад 60 КБ
Використані вхідні дані
primary_languageRust
largest_source_bytes126 043
source_files_sampled201
oversized_source_files1

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

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. Залишкові ваги перенормовано.

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

2 208зірок GitHub
91контриб'юторів
102комітів за останні 12 місяців
12днів від останнього пушу
2релізів
2бас-фактор
124відкритих issue
crates.ioпакетних екосистем

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

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
  • No resolved dependencies carried a version and a supported ecosystem

Докладніше

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

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

0408012016020024021742017-092022-022026-08
Мажорні 0Мінорні 0Патчі 2

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

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

Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).Scorecard v5.5.0 · 2026-08-08 20:11 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
10CI-Tests11 out of 11 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
9Code-ReviewFound 11/12 approved changesets -- score normalized to 9
10Contributorsproject has 28 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
10Dependency-Update-Toolupdate tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
9Maintained5 commit(s) and 6 issue activity found in the last 90 days -- score normalized to 9
н/дPackagingpackaging workflow not 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
н/дSigned-Releasesno releases found
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
10Vulnerabilities0 existing vulnerabilities detected
Прямі залежності 22
РеєстрПакетОбмеження версіїМаніфест
crates.ioproc-macro2—proptest-derive/Cargo.toml
crates.iosyn—proptest-derive/Cargo.toml
crates.ioquote—proptest-derive/Cargo.toml
crates.iosyn—proptest-macro/Cargo.toml
crates.ioquote—proptest-macro/Cargo.toml
crates.ioproc-macro2—proptest-macro/Cargo.toml
crates.ioconvert_case—proptest-macro/Cargo.toml
crates.ioproptest1.11.0proptest-state-machine/Cargo.toml
crates.iobitflags—proptest/Cargo.toml
crates.iocore_detect—proptest/Cargo.toml
crates.iounarray—proptest/Cargo.toml
crates.ioproptest-macro—proptest/Cargo.toml
crates.ionum-traits—proptest/Cargo.toml
crates.ioregex-syntax—proptest/Cargo.toml
crates.iobit-set—proptest/Cargo.toml
crates.iobit-vec—proptest/Cargo.toml
crates.iorand—proptest/Cargo.toml
crates.iorand_xorshift—proptest/Cargo.toml
crates.iorand_chacha—proptest/Cargo.toml
crates.iorusty-fork—proptest/Cargo.toml
crates.iotempfile—proptest/Cargo.toml
crates.iox86—proptest/Cargo.toml
Усі залежності 1

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

РеєстрПакетВерсіяЗв'язок
crates.ioproptest—пряма
Сповіщення про залежності не оцінено

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

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

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

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

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

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

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

94dubzzz/fast-checkProperty based testing framework for JavaScript (like QuickCheck) written in TypeScriptВинятковий97schemathesis/schemathesisCatch API bugs before your users doВинятковий99scalar/scalarScalar is an open-source API platform:　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　🌐 Modern REST API Client　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　📖 Beautiful API References　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　✨ 1st-Class OpenAPI/Swagger SupportВинятковий96AFLplusplus/LibAFLAdvanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...Винятковий96apache/avro-rsRust SDK for Apache Avro - a data serialization system.Винятковий96foundry-rs/foundryFoundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.Винятковий

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

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

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