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

link-assistant / formal-ai

Symbolic first, formal, logical, and data driven associative language processor

Rust · JavaScriptUnlicense★ 6 зірок⑂ 2 форкиз трав. 2026 р.Переглянути на GitHub ↗
ТипІнструмент командного рядкаМережевий сервісБібліотекаВебінтерфейсяк це визначено

link-assistant/formal-ai має індекс здоров’я 75 зі 100, що відповідає смузі «Добрий». Найвищий показник — Engineering Quality (92/100), найнижчий — Security (42/100). Останнє оновлення — сьогодні. Більшість нещодавньої роботи виконує один учасник.

75
загалом / 100
Добрий

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

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

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

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

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

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

Власність

link-assistantОрганізація
3 підписники27 публічних репозиторіївз лист. 2025 р.

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

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

РеєстрПакетВерсіяЗавантажень / місВерсіїОстання публікаціяТеги
crates.ioformal-ai0.339.12 1263500 днів томуformal-ailinksopenaisymbolic-aicommand-line-utilities

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

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

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

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

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

73Добрий
Як обчислюється оцінка
36/36Свіжість push — останній push 0 дн. тому
9/36Ритм комітів — 13/52 тижнів із комітами
18/18Обсяг комітів — 4 380 комітів за останній рік
10/10OpenSSF Scorecard: Maintained — 30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10
Використані вхідні дані
commits_last_year4 380
human_commit_share0,94
days_since_last_push0
active_weeks_last_year13

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

90Відмінний
Як обчислюється оцінка
27/27Випускає релізи — опубліковано 100 релізів
36/36Свіжість релізів — останній реліз 0 дн. тому
27/27Ритм релізів — реліз кожні ~0,7 дн.
0/10OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases.
Використані вхідні дані
releases_count100
latest_release_tagv0.339.1
releases_from_tagsні
days_since_latest_release0
mean_days_between_releases0,7

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

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

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

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

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

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

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

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

56Помірний
Як обчислюється оцінка
44.4/80Щомісячні завантаження — 2 126 завантажень/місяць у crates
0/20Залежні пакети в реєстрі — ця екосистема цього не повідомляє
Використані вхідні дані
packagesformal-ai
dependents—
ecosystemscrates
total_downloads6 453
monthly_downloads2 126
unverified_packages_excluded—
Виключено з оцінювання (немає даних або не застосовно): Залежні пакети в реєстрі. Залишкові ваги перенормовано.

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

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

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

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

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

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

76Добрий
Як обчислюється оцінка
36.2/42Вирішення issue — закрито 86% issue
30/30Прийняття PR — злито 445/445 вирішених PR
0/13Newcomer PR acceptance — за 30 дн. не вирішено жодного PR від новачка
0/15OpenSSF Scorecard: Code-Review — Found 0/6 approved changesets -- score normalized to 0
Використані вхідні дані
merged_prs445
open_issues75
closed_issues467
prs_merged_7d27
prs_decided_7d27
prs_merged_30d60
prs_decided_30d60
issue_closed_ratio0,862
closed_unmerged_prs0
first_time_authors_30d0
first_time_prs_merged_30d0
first_time_prs_decided_30d0
Виключено з оцінювання (немає даних або не застосовно): Newcomer PR acceptance. Залишкові ваги перенормовано.

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

58Помірний
Як обчислюється оцінка
30/30Підтримка власника — у власності організації
0/20Верифікований домен — статус підтвердженого домену для цієї організації не зчитано
4.3/25Охоплення власника — 3 підписників у link-assistant
12/25Послужний список — 27 публічних репозиторіїв, вік облікового запису ~0 р.
Використані вхідні дані
followers3
owner_typeOrganization
is_verified—
owner_loginlink-assistant
public_repos27
account_age_days262
Виключено з оцінювання (немає даних або не застосовно): Верифікований домен. Залишкові ваги перенормовано.

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

100Винятковий
Як обчислюється оцінка
25/25Опубліковано й доступно — 1 пакет(ів) у crates
35/35Свіжість публікацій — остання публікація 0 дн. тому
20/20Історія версій — 350 опублікованих версій
20/20Не застарілий — активний, не deprecated і не yanked
Використані вхідні дані
packagesformal-ai
ecosystemscrates
any_deprecatedні
min_days_since_publish0

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

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

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

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

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

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

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

Безпека

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

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

Стан безпеки

42Слабкий
Як обчислюється оцінка
6.8/7.5Binary-Artifacts — binaries present in source code
0/7.5Branch-Protection — branch protection not enabled on development/release branches
2.5/2.5CI-Tests — 4 out of 4 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
0/7.5Code-Review — Found 0/6 approved changesets -- score normalized to 0
2.5/2.5Contributors — project has 7 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
7.5/7.5Maintained — 30 commit(s) and 0 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.
7.5/7.5Token-Permissions — GitHub workflow tokens follow principle of least privilege
0/7.5Vulnerabilities — 84 existing vulnerabilities detected
Використані вхідні дані
sourceopenssf_scorecard
checks_evaluated18
scorecard_versionv5.5.0
checks_inconclusive0
scorecard_aggregate4,2

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

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

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

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

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

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

67Добрий
Як обчислюється оцінка
12.6/18Розгортання однією командою — Cargo.toml, dev/log/issues/980/pulls/981/templates/rust-ai-driven-development-pipeline-template/Cargo.toml, docs/case-studies/issue-410/raw-data/web-capture/Cargo.toml (домовленість інструментарію, без раннера задач)
22/22Автоматизовані тести
11/11Конфігурація лінтера / форматера — .ruff.toml, eslint.config.js
11/11Статична перевірка типів — dev/log/issues/980/pulls/981/templates/python-ai-driven-development-pipeline-template/src/my_package/py.typed, tsconfig.json
10/10Відтворюване середовище — Dockerfile, lockfile
0/10Підтверджена практика роботи з агентами — серед останніх 100 комітів немає створених агентом
0/8Автоматизоване супроводження — автоматичних оновлень залежностей не виявлено
0/10OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
Використані вхідні дані
has_nixні
has_testsтак
lockfilesCargo.lock, package-lock.json
has_dockerfileтак
typed_languageтак
bootstrap_files—
has_devcontainerні
has_linter_configтак
typecheck_configsdev/log/issues/980/pulls/981/templates/python-ai-driven-development-pipeline-template/src/my_package/py.typed, tsconfig.json
agent_commit_share0
toolchain_manifestsCargo.toml, dev/log/issues/980/pulls/981/templates/rust-ai-driven-development-pipeline-template/Cargo.toml, docs/case-studies/issue-410/raw-data/web-capture/Cargo.toml, docs/case-studies/issue-410/raw-data/web-search/Cargo.toml, experiments/lindera-docsrs-repro/Cargo.toml
dependency_bot_commit_share0

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

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

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

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

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

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

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

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
  • GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
  • deps.dev does not index crates:formal-ai@0.339.1; advisories assessed against the repository dependency graph instead

Докладніше

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

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

111222212026-062026-062026-06
OpenSSF Scorecard 4.2 / 10
4.2сукупно

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

9Binary-Artifactsbinaries present in source code
0Branch-Protectionbranch protection not enabled on development/release branches
10CI-Tests4 out of 4 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
0Code-ReviewFound 0/6 approved changesets -- score normalized to 0
10Contributorsproject has 7 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
0Dependency-Update-Toolno update tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
10Maintained30 commit(s) and 0 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.
10Token-PermissionsGitHub workflow tokens follow principle of least privilege
0Vulnerabilities84 existing vulnerabilities detected
Прямі залежності 37
РеєстрПакетОбмеження версіїМаніфест
crates.iobase640.23Cargo.toml
crates.ioclap4.6Cargo.toml
crates.iocommand-stream=0.15.0Cargo.toml
crates.iodoublets0.4.0Cargo.toml
crates.iolino-arguments0.3Cargo.toml
crates.iolino-objects-codec0.2.1Cargo.toml
crates.iolinks-notation0.13.0Cargo.toml
crates.iolink-calculator0.20.3Cargo.toml
crates.iometa-language0.54.0Cargo.toml
crates.iomem0.3.0Cargo.toml
crates.ionom8Cargo.toml
crates.iokamadak-exif0.6.1Cargo.toml
crates.ioserde1Cargo.toml
crates.ioserde_json1Cargo.toml
crates.iosha20.10Cargo.toml
crates.iofs20.4Cargo.toml
crates.iothread-priority3.1.1Cargo.toml
crates.iotoml_edit0.25.13Cargo.toml
crates.iotokio1Cargo.toml
crates.iowalkdir2Cargo.toml
crates.iowhich7Cargo.toml
npm@link-assistant/web-capture^1.10.10desktop/package.json
npm@link-assistant/web-search^0.10.3desktop/package.json
npmagent-commander^0.10.1desktop/package.json
npmcommand-stream0.18.0desktop/package.json
npmelectron-updater^6.8.9desktop/package.json
npm@link-assistant/web-search0.10.3package.json
npm@chakra-ui/react^3.36.1package.json
npm@emotion/react^11package.json
npmdompurify3.4.12package.json
npmlino-i18n0.2.0package.json
npmmarked18.0.7package.json
npmreact19.2.8package.json
npmreact-dom19.2.8package.json
npmtesseract.js7.0.0package.json
npm@link-assistant/web-capture^1.10.10vscode/package.json
npm@link-assistant/web-search^0.10.3vscode/package.json
Усі залежності не зібрано

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

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

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

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

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

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

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

98boa-dev/boaBoa is an embeddable Javascript engine written in Rust.Винятковий97vectordotdev/vectorA high-performance observability data pipeline.Винятковий96slint-ui/slintSlint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.Винятковий96Canner/WrenAIGenBI (Generative BI) for AI agents, an open-source, governed text-to-SQL through an open context layer that turns natural-language questions into trusted dashboards, charts, and SQL across 20+ data sources, such as BigQuery, Snowflake, PostgreSQL, ClickHouse, Amazon Redshift, Databricks and more.Винятковий96apache/iggyApache Iggy: Hyper-Efficient Message Streaming at Laser SpeedВинятковий95zeroclaw-labs/zeroclawFast, small, and fully autonomous AI personal assistant infrastructure, any OS, any platform — deploy anywhere, swap anything 🦀Винятковий

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

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

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