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

anna-stolbovskaja / CasperProver

Verifiable proof layer for AI agent computations on Casper Network

Go · TypeScriptВласна ліцензія★ 0 зірок⑂ 0 форківз черв. 2026 р.Переглянути на GitHub ↗
ТипБібліотекаМережевий сервісВебінтерфейсяк це визначено
#ai-agents#casper-network#cryptographic-proofs#defi#golang#kyc#merkle-tree#smart-contracts#verification#zero-knowledge

anna-stolbovskaja/CasperProver має індекс здоров’я 54 зі 100, що відповідає смузі «Помірний». Найвищий показник — Engineering Quality (84/100), найнижчий — Community & Adoption (28/100). Останнє оновлення було 22 дні тому. Більшість нещодавньої роботи виконує один учасник.

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

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

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

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

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

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

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

Власність

anna-stolbovskajaОсобистий обліковий запис
1 підписник7 публічних репозиторіївз груд. 2022 р.

Цей репозиторій належить особистому обліковому запису. Проєкт з єдиним власником несе більший ризик безперервності, ніж підтримуваний організацією.

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

РеєстрПакетВерсіяЗавантажень / місВерсіїОстання публікаціяТеги
Gogithub.com/anna-stolbovskaja/CasperProver/sdkv0.1.2-151 день тому—
Gogithub.com/anna-stolbovskaja/CasperProverv1.3.0-454 дні тому—
npm@casperprover/sdk0.1.219151 день томуcasperproverzkgroth16attestationcasper

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

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

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

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

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

50Помірний
Як обчислюється оцінка
28.8/36Свіжість push — останній push 22 дн. тому
3.5/36Ритм комітів — 5/52 тижнів із комітами
18/18Обсяг комітів — 460 комітів за останній рік
0/10OpenSSF Scorecard: Maintained — project was created within the last 90 days. Please review its contents carefully
Використані вхідні дані
commits_last_year460
human_commit_share0,94
days_since_last_push22
active_weeks_last_year5

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

100Винятковий
Як обчислюється оцінка
27/27Випускає релізи — опубліковано 4 релізів
36/36Свіжість релізів — останній реліз 54 дн. тому
27/27Ритм релізів — реліз кожні ~6,3 дн.
0/10OpenSSF Scorecard: Signed-Releases — немає даних
Використані вхідні дані
releases_count4
latest_release_tagv1.3.0
releases_from_tagsні
days_since_latest_release54
mean_days_between_releases6,3
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Signed-Releases. Залишкові ваги перенормовано.

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

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

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

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

1Критичний
Як обчислюється оцінка
0/60Зірки — 0 зірок
0/25Форки — 0 форків
0/15Спостерігачі — 0 спостерігачів
Використані вхідні дані
forks0
stars0
watchers0
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

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

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

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

22У зоні ризику
Як обчислюється оцінка
17.3/80Щомісячні завантаження — 19 завантажень/місяць у go, npm
0/20Залежні пакети в реєстрі — ця екосистема цього не повідомляє
Використані вхідні дані
packagesgithub.com/anna-stolbovskaja/CasperProver/sdk, github.com/anna-stolbovskaja/CasperProver, @casperprover/sdk
dependents—
ecosystemsgo, npm
total_downloads—
monthly_downloads19
unverified_packages_excluded—
Виключено з оцінювання (немає даних або не застосовно): Залежні пакети в реєстрі. Залишкові ваги перенормовано.

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

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

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

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

10Критичний
Як обчислюється оцінка
9/54Бас-фактор — на 1 контриб’ютор(ів) припадає половина всіх комітів
0/22.5Розподіл комітів — головний контриб’ютор — автор 100% комітів
1.4/13.5Широта контриб’юторів — 1 контриб’юторів
0/10OpenSSF Scorecard: Contributors — project has 0 contributing companies or organizations -- score normalized to 0
Використані вхідні дані
bus_factor1
contributors_sampled1
top_contributor_share1

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

38Слабкий
Як обчислюється оцінка
0/42Вирішення issue — немає issue або даних
17.1/30Прийняття PR — злито 16/28 вирішених PR
0/13Newcomer PR acceptance — за 30 дн. не вирішено жодного PR від новачка
0/15OpenSSF Scorecard: Code-Review — Found 0/27 approved changesets -- score normalized to 0
Використані вхідні дані
merged_prs16
open_issues0
closed_issues0
prs_merged_7d0
prs_decided_7d0
prs_merged_30d0
prs_decided_30d0
issue_closed_ratio—
closed_unmerged_prs12
first_time_authors_30d0
first_time_prs_merged_30d0
first_time_prs_decided_30d0
Виключено з оцінювання (немає даних або не застосовно): Вирішення issue, Newcomer PR acceptance. Залишкові ваги перенормовано.

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

33У зоні ризику
Як обчислюється оцінка
10/30Підтримка власника — особистий (користувацький) обліковий запис
0/20Верифікований домен — не застосовно до користувацьких облікових записів
2.2/25Охоплення власника — 1 підписників у anna-stolbovskaja
14.1/25Послужний список — 7 публічних репозиторіїв, вік облікового запису ~3 р.
Використані вхідні дані
followers1
owner_typeUser
is_verified—
owner_loginanna-stolbovskaja
public_repos7
account_age_days1 375
Виключено з оцінювання (немає даних або не застосовно): Верифікований домен. Залишкові ваги перенормовано.

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

92Відмінний
Як обчислюється оцінка
25/25Опубліковано й доступно — 3 пакет(ів) у go, npm
35/35Свіжість публікацій — остання публікація 51 дн. тому
12/20Історія версій — 4 опублікованих версій
20/20Не застарілий — активний, не deprecated і не yanked
Використані вхідні дані
packagesgithub.com/anna-stolbovskaja/CasperProver/sdk, github.com/anna-stolbovskaja/CasperProver, @casperprover/sdk
ecosystemsgo, npm
any_deprecatedні
min_days_since_publish51

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

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

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

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

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

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

90Відмінний
Як обчислюється оцінка
30/30README
25/25Каталог документації
15/15Сайт документації / домашня сторінка — https://CasperProver.xyz
10/10Опис репозиторію
10/10Теми — 10 тем
0/10Wiki
Використані вхідні дані
topicsai-agents, casper-network, cryptographic-proofs, defi, golang, kyc, merkle-tree, smart-contracts, verification, zero-knowledge
has_wikiні
homepagehttps://CasperProver.xyz
docs_sitehttps://CasperProver.xyz
has_readmeтак
has_docs_dirтак
has_descriptionтак

Безпека

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

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

Стан безпеки

39Слабкий
Як обчислюється оцінка
6.8/7.5Binary-Artifacts — binaries present in source code
0/7.5Branch-Protection — branch protection not enabled on development/release branches
1.2/2.5CI-Tests — 2 out of 4 merged PRs checked by a CI test -- score normalized to 5
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
0/7.5Code-Review — Found 0/27 approved changesets -- score normalized to 0
0/2.5Contributors — project has 0 contributing companies or organizations -- score normalized to 0
10/10Dangerous-Workflow — no dangerous workflow patterns detected
7.5/7.5Dependency-Update-Tool — update tool detected
0/5Fuzzing — project is not fuzzed
2.2/2.5Ліцензія — license file detected
0/7.5Maintained — project was created within the last 90 days. Please review its contents carefully
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
5/5Security-Policy — security policy file detected
0/7.5Signed-Releases — немає даних
0/7.5Token-Permissions — detected GitHub workflow tokens with excessive permissions
0/7.5Vulnerabilities — 23 existing vulnerabilities detected
Використані вхідні дані
sourceopenssf_scorecard
checks_evaluated17
scorecard_versionv5.5.0
checks_inconclusive1
scorecard_aggregate3,9
Виключено з оцінювання (немає даних або не застосовно): Signed-Releases. Залишкові ваги перенормовано.

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

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

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

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

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

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

77Добрий
Як обчислюється оцінка
18/18Розгортання однією командою — Makefile, sdk/Makefile
22/22Автоматизовані тести
11/11Конфігурація лінтера / форматера — .golangci.yml
11/11Статична перевірка типів — frontend/tsconfig.json, sdk-ts/tsconfig.json, sdk/typescript/tsconfig.json
10/10Відтворюване середовище — Dockerfile, lockfile
0/10Підтверджена практика роботи з агентами — серед останніх 100 комітів немає створених агентом
5/8Автоматизоване супроводження — автоматизацію залежностей налаштовано, але у вибірці комітів її не видно
0/10OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
Використані вхідні дані
has_nixні
has_testsтак
lockfilesgo.sum, package-lock.json
has_dockerfileтак
typed_languageтак
bootstrap_filesMakefile, sdk/Makefile
has_devcontainerні
has_linter_configтак
typecheck_configsfrontend/tsconfig.json, sdk-ts/tsconfig.json, sdk/typescript/tsconfig.json
agent_commit_share0
toolchain_manifestscontracts/Cargo.toml, contracts/defi-mock/Cargo.toml, contracts/governance/Cargo.toml, contracts/model-registry/Cargo.toml, contracts/proof-aggregation/Cargo.toml, contracts/proof-of-inference/Cargo.toml, contracts/proof-registry/Cargo.toml, contracts/stake-slashing-session/Cargo.toml, contracts/stake-slashing/Cargo.toml, contracts/tests/Cargo.toml, contracts/verifier-gate/Cargo.toml, contracts/zk-verifier/Cargo.toml, engine/go.mod, sdk/go.mod
dependency_bot_commit_share0

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

100Винятковий
Як обчислюється оцінка
45/45Типізований код — Go (статично типізована)
54.8/55Керовані розміри файлів — 1/366 файлів вихідного коду понад 60 КБ
Використані вхідні дані
primary_languageGo
largest_source_bytes78 789
source_files_sampled366
oversized_source_files1

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

100Винятковий
Як обчислюється оцінка
40/40Схема API (OpenAPI/GraphQL/proto) — docs/openapi.yaml
20/20Сервер MCP
40/40Придатні до запуску приклади — examples
Використані вхідні дані
example_dirsexamples
has_mcp_signalтак
api_schema_filesdocs/openapi.yaml
interfaces_expected_ofnetwork-service

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

0зірок GitHub
1контриб'юторів
460комітів за останні 12 місяців
22днів від останнього пушу
4релізів
1бас-фактор
0відкритих issue
crates.io, Go, npmпакетних екосистем

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

  • GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository

Докладніше

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

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

9Binary-Artifactsbinaries present in source code
0Branch-Protectionbranch protection not enabled on development/release branches
5CI-Tests2 out of 4 merged PRs checked by a CI test -- score normalized to 5
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
0Code-ReviewFound 0/27 approved changesets -- score normalized to 0
0Contributorsproject has 0 contributing companies or organizations -- score normalized to 0
10Dangerous-Workflowno dangerous workflow patterns detected
10Dependency-Update-Toolupdate tool detected
0Fuzzingproject is not fuzzed
9Licenselicense file detected
0Maintainedproject was created within the last 90 days. Please review its contents carefully
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
10Security-Policysecurity policy file detected
н/дSigned-Releasesno releases found
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
0Vulnerabilities23 existing vulnerabilities detected
Прямі залежності 15
РеєстрПакетОбмеження версіїМаніфест
Gofilippo.io/edwards25519v1.2.0engine/go.mod
Gogithub.com/cloudflare/circlv1.6.4engine/go.mod
Gogithub.com/consensys/gnarkv0.15.0engine/go.mod
Gogithub.com/consensys/gnark-cryptov0.20.1engine/go.mod
Gogithub.com/leanovate/gopterv0.2.11engine/go.mod
Gogithub.com/lib/pqv1.12.3engine/go.mod
Gogithub.com/make-software/casper-go-sdk/v2v2.0.0engine/go.mod
npm@make-software/csprclick-core-client^1.11.0frontend/package.json
npm@make-software/csprclick-core-types^2.1.0frontend/package.json
npm@make-software/csprclick-ui^2.1.0frontend/package.json
npmcasper-js-sdk^5.0.12frontend/package.json
npmlucide-react^1.26.0frontend/package.json
npmreact^18.3.1frontend/package.json
npmreact-dom^18.3.1frontend/package.json
npmreact-router-dom^7.18.1frontend/package.json
Усі залежності не зібрано

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

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

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

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

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

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

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

96flyteorg/flyteDynamic, resilient AI orchestration. Coordinate data, models, and compute as you build AI workflows.Винятковий96onflow/flow-goReference implementation of the Flow network in Go. Layer 1 proof-of-stake protocol built for consumer apps, AI Agents, and DeFi at scaleВинятковий94argotorg/sourcifySource code verification service for Ethereum smart contractsВинятковий94codenotary/immudbimmudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change historyВинятковий94avivsinai/bitbucket-cliBitbucket CLI with gh-like ergonomicsВинятковий96hummingbot/hummingbotOpen source software that helps you create and deploy high-frequency crypto trading botsВинятковий

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

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

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