Публічний реєстрПомірний
Звіт про здоров'я програмного забезпеченнясхема 0.27.0 · метрики 1.13.0 · 2026-07-28 14:38 UTC
potassco / clingo
🦉 A grounder and solver for logic programs.
potassco/clingo має індекс здоров’я 65 зі 100, що відповідає смузі «Помірний». Найвищий показник — Engineering Quality (84/100), найнижчий — Vitality (41/100). Останнє оновлення було 19 днів тому. Більшість нещодавньої роботи виконує один учасник.
65
загалом / 100Індекс здоров'я програмного забезпечення
Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє середнє; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 49 («Під ризиком»). Готовність до ШІ не входить до індексу.
65
Відмінний85-100Зразковий; відповідає практично всім перевіреним критеріям
Добрий70-84Здоровий; незначні прогалини
Помірний50-69Прийнятний, але з помітними прогалинами; рекомендовано перевірку
У зоні ризику30-49Суттєві слабкі місця; впровадження потребує обережності
Критичний1-29Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)
Профіль оцінок
Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.
Власність
PotasscoОрганізація
141 підписник99 публічних репозиторіївз трав. 2016 р.
За цим репозиторієм стоїть організація — спільна, підзвітна опіка, здатна пережити будь-якого окремого мейнтейнера.
Пакетні екосистеми
| Реєстр | Пакет | Версія | Завантажень / міс | Версії | Остання публікація |
|---|---|---|---|---|---|
| PyPI | clingo | 5.8.0 | - | 9 | 104 дні тому |
Метрики за категоріями
Життєздатність
Чи живий проєкт — чи пишеться код і чи виходять релізи?
41
Активність розробки
34У зоні ризику
Як обчислюється оцінка
| 28.8/36 | Свіжість push — останній push 19 дн. тому |
| 0/36 | Ритм комітів — 0/52 тижнів із комітами |
| 0/18 | Обсяг комітів — 0 комітів за останній рік |
| 5/10 | OpenSSF Scorecard: Maintained — 0 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 5 |
Використані вхідні дані
| commits_last_year | 0 |
| human_commit_share | 1 |
| days_since_last_push | 19 |
| active_weeks_last_year | 0 |
Дисципліна релізів
52Помірний
Як обчислюється оцінка
| 27/27 | Випускає релізи — опубліковано 18 релізів |
| 7.2/36 | Свіжість релізів — останній реліз 481 дн. тому |
| 12.6/27 | Ритм релізів — реліз кожні ~175,4 дн. |
| 0/10 | OpenSSF Scorecard: Signed-Releases — немає даних |
Використані вхідні дані
| releases_count | 18 |
| latest_release_tag | v5.8.0 |
| releases_from_tags | ні |
| days_since_latest_release | 481 |
| mean_days_between_releases | 175,4 |
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Signed-Releases. Залишкові ваги перенормовано.
Спільнота та впровадження
Чи має проєкт користувачів, завантаження, увагу та влаштовані умови для контриб’юторів?
74
Популярність і впровадження
72Добрий
Як обчислюється оцінка
| 47.2/60 | Зірки — 811 зірок |
| 16.6/25 | Форки — 98 форків |
| 8.7/15 | Спостерігачі — 37 спостерігачів |
Використані вхідні дані
| forks | 98 |
| stars | 811 |
| watchers | 37 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Здоров'я спільноти
77Добрий
Як обчислюється оцінка
| 22.5/22.5 | README |
| 22.5/22.5 | Ліцензія — визнана ліцензія (MIT) |
| 18/18 | Настанови CONTRIBUTING |
| 0/13.5 | Кодекс поведінки |
| 0/7.2 | Шаблон issue |
| 6.3/6.3 | Шаблон PR |
Використані вхідні дані
| has_readme | так |
| has_license | так |
| has_contributing | так |
| has_issue_template | ні |
| has_code_of_conduct | ні |
| has_pull_request_template | так |
Сталість та врядування
Чи переживе проєкт своїх людей — бас-фактор, реактивність, хто за ним стоїть і як супроводжуються пакети?
69
Стійкість мейнтейнерів (бас-фактор)
34У зоні ризику
Як обчислюється оцінка
| 9/54 | Бас-фактор — на 1 контриб’ютор(ів) припадає половина всіх комітів |
| 2/22.5 | Розподіл комітів — головний контриб’ютор — автор 91% комітів |
| 13.5/13.5 | Широта контриб’юторів — 20 контриб’юторів |
| 10/10 | OpenSSF Scorecard: Contributors — project has 4 contributing companies or organizations |
Використані вхідні дані
| bus_factor | 1 |
| contributors_sampled | 20 |
| top_contributor_share | 0,913 |
Реактивність на issue та PR
86Відмінний
Як обчислюється оцінка
| 45.3/46.8 | Вирішення issue — закрито 97% issue |
| 31.6/38.3 | Прийняття PR — злито 176/213 вирішених PR |
| 9/15 | OpenSSF Scorecard: Code-Review — Found 6/9 approved changesets -- score normalized to 6 |
Використані вхідні дані
| merged_prs | 176 |
| open_issues | 13 |
| closed_issues | 398 |
| issue_closed_ratio | 0,968 |
| closed_unmerged_prs | 37 |
Власність та опіка
70Добрий
Як обчислюється оцінка
| 30/30 | Підтримка власника — у власності організації |
| 0/20 | Верифікований домен |
| 15.5/25 | Охоплення власника — 141 підписників у potassco |
| 25/25 | Послужний список — 99 публічних репозиторіїв, вік облікового запису ~10 р. |
Використані вхідні дані
| followers | 141 |
| owner_type | Organization |
| is_verified | — |
| owner_login | potassco |
| public_repos | 99 |
| account_age_days | 3 731 |
Супровід пакетів
100Відмінний
Як обчислюється оцінка
| 25/25 | Опубліковано й доступно — 1 пакет(ів) у pypi |
| 35/35 | Свіжість публікацій — остання публікація 104 дн. тому |
| 20/20 | Історія версій — 9 опублікованих версій |
| 20/20 | Не застарілий — активний, не deprecated і не yanked |
Використані вхідні дані
| packages | clingo |
| ecosystems | pypi |
| any_deprecated | ні |
| min_days_since_publish | 104 |
Інженерна якість
Чи наявні базові інженерні практики та документація?
84
Інженерні практики
74Добрий
Як обчислюється оцінка
| 24/24 | Процеси CI — 4 процес(ів) CI |
| 24/24 | Наявні тести |
| 16/16 | Конфігурація лінтера — .pylintrc |
| 9.6/9.6 | Pre-commit-хуки |
| 0/6.4 | .editorconfig |
| 0/20 | OpenSSF Scorecard: CI-Tests — 0 out of 9 merged PRs checked by a CI test -- score normalized to 0 |
Використані вхідні дані
| has_ci | так |
| has_tests | так |
| has_editorconfig | ні |
| has_linter_config | так |
| has_precommit_config | так |
Документація
100Відмінний
Як обчислюється оцінка
| 30/30 | README |
| 25/25 | Каталог документації |
| 15/15 | Сайт документації / домашня сторінка — https://potassco.org/clingo |
| 10/10 | Опис репозиторію |
| 10/10 | Теми — 3 тем |
| 10/10 | Wiki |
Використані вхідні дані
| topics | answer-set-programming, declarative-programming, logic-programming |
| has_wiki | так |
| homepage | https://potassco.org/clingo |
| has_readme | так |
| has_docs_dir | так |
| has_description | так |
Безпека
Чи міцні видимі практики безпеки й ланцюга постачання, без непослабленої пов’язаності з юрисдикціями високого ризику?
58
Стан безпеки
48У зоні ризику
Як обчислюється оцінка
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — немає даних |
| 0/2.5 | CI-Tests — 0 out of 9 merged PRs checked by a CI test -- score normalized to 0 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 4.5/7.5 | Code-Review — Found 6/9 approved changesets -- score normalized to 6 |
| 2.5/2.5 | Contributors — project has 4 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | Ліцензія — license file detected |
| 3.8/7.5 | Maintained — 0 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 5 |
| 5/5 | Packaging — packaging workflow detected |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — немає даних |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
Використані вхідні дані
| source | openssf_scorecard |
| checks_evaluated | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 4,8 |
Виключено з оцінювання (немає даних або не застосовно): branch_protection, signed_releases. Залишкові ваги перенормовано.
Сповіщення про залежності
100Відмінний
Як обчислюється оцінка
| 35/35 | Прямі залежності без відомих сповіщень — жодна пряма залежність не має відомих сповіщень |
| 25/25 | Непрямі залежності без відомих сповіщень — жодна непряма залежність не має відомих сповіщень |
| 0/40 | Немає задавнених сповіщень — жодне сповіщення не має дати публікації |
Використані вхідні дані
| source | osv |
| advisories | 0 |
| affected_packages | 0 |
| assessed_packages | 2 |
| unassessed_packages | 0 |
| affected_by_severity | none |
| direct_affected_packages | 0 |
Виключено з оцінювання (немає даних або не застосовно): Немає задавнених сповіщень. Залишкові ваги перенормовано. Звірено з runtime-замиканням залежностей pypi:clingo@5.8.0 — тим, що тягне за собою встановлення опублікованого пакета, — 2 пакетів. Досяжність не аналізується.
Готовність до ШІ
Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Незалежний, експериментальний бейдж — вага 0.0, тож він подається окремо і не впливає на загальний індекс здоров'я.
50
Контекст і настанови для агентів
16Критичний
Як обчислюється оцінка
| 0/45 | Інструкції для агентів — немає CLAUDE.md / AGENTS.md / правил редактора |
| 0/15 | Машиночитана документація (llms.txt) |
| 15.5/40 | Читабельна історія комітів — намір зазначено у 29 з 100 людських комітів (структурований заголовок або пояснювальний текст) |
Використані вхідні дані
| has_llms_txt | ні |
| legible_history_share | 0,29 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Як обчислюється оцінка
| 18/18 | Розгортання однією командою — Makefile, scratch/haskell/Makefile, scratch/lua/Makefile |
| 22/22 | Автоматизовані тести |
| 11/11 | Конфігурація лінтера / форматера — .pylintrc |
| 11/11 | Статична перевірка типів — libpyclingo/clingo/py.typed |
| 0/10 | Відтворюване середовище |
| 0/10 | Підтверджена практика роботи з агентами — серед останніх 100 комітів немає створених агентом |
| 0/8 | Автоматизоване супроводження — автоматичних оновлень залежностей не виявлено |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
Використані вхідні дані
| has_nix | ні |
| has_tests | так |
| lockfiles | — |
| has_dockerfile | ні |
| typed_language | так |
| bootstrap_files | Makefile, scratch/haskell/Makefile, scratch/lua/Makefile |
| has_devcontainer | ні |
| has_linter_config | так |
| typecheck_configs | libpyclingo/clingo/py.typed |
| agent_commit_share | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Читабельність коду для моделей
96Відмінний
Як обчислюється оцінка
| 45/45 | Типізований код — C++ (статично типізована) |
| 51/55 | Керовані розміри файлів — 12/165 файлів вихідного коду понад 60 КБ |
Використані вхідні дані
| primary_language | C++ |
| largest_source_bytes | 759 949 |
| source_files_sampled | 165 |
| oversized_source_files | 12 |
Машиночитні інтерфейси
40У зоні ризику
Як обчислюється оцінка
| 0/40 | Схема API (OpenAPI/GraphQL/proto) |
| 0/20 | Сервер MCP |
| 40/40 | Придатні до запуску приклади — examples |
Використані вхідні дані
| example_dirs | examples |
| has_mcp_signal | ні |
| api_schema_files | — |
Ключові факти
811зірок GitHub
20контриб'юторів
0комітів за останні 12 місяців
19днів від останнього пушу
18релізів
1бас-фактор
13відкритих issue
PyPIпакетних екосистем
Попередження щодо збору даних
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- Could not fetch pypi package 'clingo-cffi-system' from its registry
Докладніше
Історія зірок і форків 0 ★ / 98 ⇿
0Зірки
98Форки
18Релізи
Коли додано кожну зірку й форк — зібрано з GitHub і згруповано за днями. Кумулятивне зростання розміщено просто над денними додаваннями, з яких воно складається, тож їх видно одне проти одного: рівномірне органічне накопичення виглядає зовсім інакше, ніж різкий короткочасний сплеск. Там, де цю різницю можна виміряти, її подано як автентичність росту.
Мажорні 1Мінорні 8Патчі 9
Кожна точка охоплює 9 днів.
OpenSSF Scorecard 4.8 / 10
4.8сукупно
Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).
| 10 | Binary-Artifacts | no binaries found in the repo |
| н/д | Branch-Protection | internal 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 |
| 0 | CI-Tests | 0 out of 9 merged PRs checked by a CI test -- score normalized to 0 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 6 | Code-Review | Found 6/9 approved changesets -- score normalized to 6 |
| 10 | Contributors | project has 4 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 0 | Dependency-Update-Tool | no update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 5 | Maintained | 0 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 5 |
| 10 | Packaging | packaging workflow detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 0 | Security-Policy | security policy file not detected |
| н/д | Signed-Releases | no releases found |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
Усі залежності 6
Повний розв'язаний набір залежностей із графа залежностей GitHub: 0 прямих і 6 непрямих (транзитивних) пакетів. Транзитивне замикання є повним, коли в репозиторії закомічено lockfile.
| Реєстр | Пакет | Версія | Зв'язок |
|---|---|---|---|
| PyPI | cffi | — | непряма |
| RubyGems | jekyll | — | непряма |
| RubyGems | jekyll-feed | — | непряма |
| RubyGems | listen | — | непряма |
| RubyGems | minima | — | непряма |
| RubyGems | tzinfo-data | — | непряма |
Сповіщення про залежності 0
Встановлення pypi:clingo@5.8.0 тягне 2 пакетів, прямих і транзитивних: 0 мають відомі сповіщення, з них 0 — прямі залежності.
Жодне відоме сповіщення не стосується оцінених залежностей.
Сповіщення означає, що версія, записана в графі залежностей, потрапляє в уражений діапазон. Досяжність не аналізується, а граф містить піниї розробки й тестування — знахідка може стосуватися інструментів, а не поставленого коду.
Звіт у форматі JSON машиночитний
{
"data": {
"repo": {
"topics": [
"answer-set-programming",
"declarative-programming",
"logic-programming"
],
"is_fork": false,
"size_kb": 24539,
"has_wiki": true,
"homepage": "https://potassco.org/clingo",
"languages": {
"C": 1705027,
"C++": 3209936,
"SWIG": 821,
"Yacc": 48477,
"CMake": 51979,
"Shell": 21442,
"Python": 423365,
"Haskell": 1685,
"Makefile": 4601,
"Batchfile": 145,
"Answer Set Programming": 433887
},
"pushed_at": "2026-07-08T18:53:58Z",
"created_at": "2016-05-10T12:35:00Z",
"owner_type": "Organization",
"updated_at": "2026-07-28T02:35:47Z",
"description": "🦉 A grounder and solver for logic programs.",
"is_archived": false,
"is_disabled": false,
"license_spdx": "MIT",
"default_branch": "master",
"license_spdx_raw": "MIT",
"primary_language": "C++",
"significant_languages": [
"C++",
"C"
]
},
"owner": {
"blog": "https://potassco.org/",
"name": "Potassco",
"type": "Organization",
"login": "potassco",
"company": null,
"location": "Potsdam, Germany",
"followers": 141,
"avatar_url": "https://avatars.githubusercontent.com/u/19286215?v=4",
"created_at": "2016-05-10T12:34:30Z",
"is_verified": null,
"public_repos": 99,
"account_age_days": 3731
},
"license": {
"state": "standard",
"spdx_id": "MIT",
"raw_spdx": "MIT",
"file_present": true,
"scorecard_found": true,
"profile_has_license": true
},
"activity": {
"releases": [
{
"tag": "v5.8.0",
"kind": "minor",
"published_at": "2025-04-03T11:45:00Z"
},
{
"tag": "v5.7.1",
"kind": "patch",
"published_at": "2024-02-16T11:14:13Z"
},
{
"tag": "v5.7.0",
"kind": "minor",
"published_at": "2024-02-15T20:20:58Z"
},
{
"tag": "v5.6.2",
"kind": "patch",
"published_at": "2022-11-07T09:51:45Z"
},
{
"tag": "v5.6.1",
"kind": "patch",
"published_at": "2022-09-16T17:39:28Z"
},
{
"tag": "v5.6.0",
"kind": "minor",
"published_at": "2022-09-11T15:20:26Z"
},
{
"tag": "v5.5.2",
"kind": "patch",
"published_at": "2022-05-04T13:20:32Z"
},
{
"tag": "v5.5.1",
"kind": "patch",
"published_at": "2021-11-16T10:15:53Z"
},
{
"tag": "v5.5.0",
"kind": "minor",
"published_at": "2021-04-20T17:28:29Z"
},
{
"tag": "v5.4.1",
"kind": "patch",
"published_at": "2020-12-06T17:17:28Z"
},
{
"tag": "v5.4.0",
"kind": "minor",
"published_at": "2019-08-25T21:35:37Z"
},
{
"tag": "v5.3.0",
"kind": "minor",
"published_at": "2018-06-27T14:07:31Z"
},
{
"tag": "v5.2.3",
"kind": "patch",
"published_at": "2018-06-27T14:00:14Z"
},
{
"tag": "v5.2.2",
"kind": "patch",
"published_at": "2017-11-06T17:45:03Z"
},
{
"tag": "v5.2.1",
"kind": "patch",
"published_at": "2017-08-04T12:12:41Z"
},
{
"tag": "v5.2.0",
"kind": "minor",
"published_at": "2017-05-03T16:18:11Z"
},
{
"tag": "v5.1.0",
"kind": "minor",
"published_at": "2016-10-14T11:52:25Z"
},
{
"tag": "v5.0.0",
"kind": "major",
"published_at": "2016-09-30T12:31:50Z"
}
],
"recent_commits": [
{
"oid": "920d06bcda7dd420814ce50953feff260a60fd8b",
"body": "merge wip into master for clingo 5.8.0",
"is_bot": false,
"headline": "Merge pull request #542 from potassco/wip",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2025-04-03T11:44:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6d1efb67fc7ceca9bae3ef607767144b2f779b90",
"body": null,
"is_bot": false,
"headline": "update version",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2025-04-03T10:17:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7fbc0af713f469d248e2caa3a9d9dcebc40421a1",
"body": null,
"is_bot": false,
"headline": "update changes and bump version to 5.8.0",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2025-04-02T22:34:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "de34c09d90fc9eeb8dce8cc4fdbd780dc8a786de",
"body": "- see potassco/clingo#541",
"is_bot": false,
"headline": "bump cmake minimum version to 3.10.",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2025-04-02T15:37:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e9da0ee2a45718b6f0b600be882940d91e29ed9f",
"body": null,
"is_bot": false,
"headline": "bump cmake requirement",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2025-04-02T14:15:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9768d586c60bc58649b53c01c7a5e2d8b936e6b3",
"body": null,
"is_bot": false,
"headline": "refine envrc",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2025-03-03T19:46:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4ca41b6a483998e4342efc50905cd64722baca78",
"body": null,
"is_bot": false,
"headline": "no need to make Application.main abstract",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2025-02-25T21:55:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2302f7fa057f8ae509fa2d45e5deed4fb4d54c7e",
"body": null,
"is_bot": false,
"headline": "adjust web options",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2025-02-25T19:53:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6bd7584dadc63a01f24e76ffa542c9cf5f4f7d9e",
"body": "add basic formatters",
"is_bot": false,
"headline": "Merge pull request #531 from potassco/format",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-12-11T15:20:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4a12774621711e69d0b96ad210fcf21b4a70aeb0",
"body": null,
"is_bot": false,
"headline": "reformat code base",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-12-11T15:06:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e61840392c2adb33aeea36c0b1a81107b7b4734d",
"body": "- the formatters have not been applied yet\n- clang-format will produce some mess up due to folding comments",
"is_bot": false,
"headline": "add a pre-commit config with basic formatters",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-12-11T14:53:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e3b4e9a87c42dfec332e024353d8f4507d77ebf1",
"body": "* add function to register predefined backends\r\n* add support to load multiple slices of aspif",
"is_bot": false,
"headline": "Improve support for writing checkpoints in aspif format (#530)",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-12-11T14:47:42Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "34e9f078aff5b517cee2805f481c15ddc08fe0b0",
"body": "Update clasp.",
"is_bot": false,
"headline": "Merge pull request #529 from potassco/fix-propagator-issue",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-12-04T09:36:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "baf643ab00478e7284d388b63986340c2081de22",
"body": "* Fix issue in clingo propagator when adding asserting clauses.",
"is_bot": false,
"headline": "Update clasp.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-12-04T08:44:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9a672447507f08274232808d6f863950f2399091",
"body": "Add API for removing minimize constraints and updating projection atoms",
"is_bot": false,
"headline": "Merge pull request #527 from potassco/issue-525",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-12-02T13:56:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a254167db9dc6036ca4945422cbd41a4736332a7",
"body": null,
"is_bot": false,
"headline": "add function to remove projection atoms",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-12-02T13:38:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1ee8c90cd24be4c260bb805f7d4064845c4e31da",
"body": "* Add clingo_control_update_project() for appending to or replacing\n the set of atoms to project on.\n\n* Add add_project() and replace_project() to python control API.",
"is_bot": false,
"headline": "Add API for changing the set of atoms to project on.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-11-26T09:14:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9efccdeab775e014c591dffc201a973631de8854",
"body": null,
"is_bot": false,
"headline": "Add API for removing minimize constraints.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-11-26T09:10:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a62ea45ac42ef89010bb5ac0da0aa164815fdd7d",
"body": null,
"is_bot": false,
"headline": "Fix some typos.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-11-26T09:09:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e2c6b9b4df02530144fc93d8d70e39690ffe5912",
"body": null,
"is_bot": false,
"headline": "Update clasp.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-11-26T09:09:09Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8b78be9778bc90b27db3b9eee62ea0218bd6efcb",
"body": "Simplify ClaspAPIBackend::external().",
"is_bot": false,
"headline": "Merge pull request #526 from potassco/simp-ext",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-11-22T09:52:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cceb3ed523168a89ef220868db57a98124a15073",
"body": "Use LogicProgram::addExternal() to add/update externals, which is\ndefined in terms of Potassco::Value_t.",
"is_bot": false,
"headline": "Simplify ClaspAPIBackend::external().",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-11-22T08:29:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e20f16cf5a9c88a8e737125fff4f6eb17608f540",
"body": "Add support for getting last computed model.",
"is_bot": false,
"headline": "Merge pull request #523 from potassco/last-model",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-10-25T10:39:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "68e9664526197e753b78ac971f36bafc98d94472",
"body": "* Add clingo_solve_handle_last() for querying the last computed model\n after search has finished and make this function available to\n python code via Control.solve.SolveHandle.\n\n* Add new optional `on_last` callback to callback based python solve\n API for getting the last computed model.\n NOTE: The callback is only invoked for the solve overloads that\n return a SolveResult instead of a SolveHandle.",
"is_bot": false,
"headline": "Add support for getting last computed model.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-10-23T14:25:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8c70fe3596f3872441f1b88d893e2bf365234159",
"body": null,
"is_bot": false,
"headline": "Fix some typos and drop some dead test code.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-10-23T14:12:52Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "88a200cdd7575481ffdd92677f1ff78b6f38694e",
"body": null,
"is_bot": false,
"headline": "Update clasp.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-10-23T11:17:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7777b0fd7e4ff95dc6dc93d7a0c878ae0e589b87",
"body": null,
"is_bot": false,
"headline": "update clasp",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-10-01T09:57:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d6237a4565eb5198eb2001c7b8afa8112af4f8fe",
"body": null,
"is_bot": false,
"headline": "Fix cmake command line examples (#521)",
"author_name": "Marc Butler",
"author_login": "marcbutler",
"committed_at": "2024-10-01T07:21:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9ba08f9a77ed885e1bbc01086538619408539d3b",
"body": null,
"is_bot": false,
"headline": "undo changes to trigger.sh",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-09-07T07:17:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "332b52b6ba42978f5a219ab83216c1a0e45498e9",
"body": "For discussion: improve `isConsequences`",
"is_bot": false,
"headline": "Merge pull request #519 from potassco/consequences",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-09-07T07:14:37Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5d5dbf4bd368c4a0844ab18e17d00206edc18d2f",
"body": "* Only return True/Unknown for atoms that are relevant to the\n active \"projection mode\".",
"is_bot": false,
"headline": "Restrict ClingoModel::isConsequence() to relevant atoms.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-08-30T15:57:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "87201e15029181ad900f248b7525214894faa4b4",
"body": null,
"is_bot": false,
"headline": "Update clasp.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-08-30T15:57:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b623bfaafb1475850b3b7194ed72f0e84df619ae",
"body": null,
"is_bot": false,
"headline": "bump docker qemu action version",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-08-23T09:42:34Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5f788a588359d9fa7942e90ceeb56e9e14358ff9",
"body": null,
"is_bot": false,
"headline": "refine cibuildwheel workflow",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-08-23T09:39:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1fe17290e4da9e19ecbd4617d697fd5f7f130698",
"body": null,
"is_bot": false,
"headline": "fix artifact generation",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-08-23T09:05:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2e31167048c371b91069d3673d1bf598218ebdae",
"body": null,
"is_bot": false,
"headline": "ensure empty dict in workflow",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-08-23T08:30:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7e769ec4ae5280005988952e1cc816d36f74a721",
"body": null,
"is_bot": false,
"headline": "update cibuildwheel",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-08-23T08:25:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ba29b20e7f13bc317ad876b8ca4c200b9200dcaf",
"body": null,
"is_bot": false,
"headline": "update clasp",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-08-19T12:10:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "501f8aae6f5408cfa593af36f8cfcf5164f5de83",
"body": null,
"is_bot": false,
"headline": "add example",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-08-08T10:29:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "36bea51d6034ad1f7a9ddf4af46323e0649481ac",
"body": null,
"is_bot": false,
"headline": "update checkout action",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-07-18T16:11:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d8c4dccfd3d2ed99af519d50b12c1dfcb56d9f9e",
"body": null,
"is_bot": false,
"headline": "fix cffi on macos",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-07-18T12:37:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "85222351a826f0679b97f8929b766125a68e804b",
"body": null,
"is_bot": false,
"headline": "update generated files",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-07-10T20:21:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cb61fb2669badb14a5cdf465c04f00ae5238b4d1",
"body": "minor fix in control.py documentation",
"is_bot": false,
"headline": "Merge pull request #510 from javier-romero/patch-1",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-07-05T19:03:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a19f7016fdc86cf88dbc6951261c9a0eb2247972",
"body": null,
"is_bot": false,
"headline": "minor fix in control.py documentation",
"author_name": "Javier Romero",
"author_login": "javier-romero",
"committed_at": "2024-07-05T13:33:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "df4f031cf887c9ab4040601fd8656d79688d3547",
"body": null,
"is_bot": false,
"headline": "Merge branch 'master' into wip",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-28T06:53:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "65c976c0396405823ec65dd9eadb305511ba51eb",
"body": null,
"is_bot": false,
"headline": "bump python version",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-28T06:48:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d226fa66c79448835dd6ab5780e9fa2ad2d7e3ac",
"body": null,
"is_bot": false,
"headline": "add option --enable-python to clingo entry point",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-27T12:59:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "423c22a35baad0d8d0676b1fc46da99bf5b5c852",
"body": null,
"is_bot": false,
"headline": "update test",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-25T16:27:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b00fc999afde3a1b371cac0fb726b35cb77c338e",
"body": null,
"is_bot": false,
"headline": "remove old unused terminals",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-25T11:43:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "28c1b3afb502d8eeb7cd19f05e8b35f2b723eaeb",
"body": null,
"is_bot": false,
"headline": "improve lua handling",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-23T09:33:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4ed5cd183d4966e714ac4905436a70b5f3b94edf",
"body": null,
"is_bot": false,
"headline": "update deploy",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-23T08:20:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9a402a51b27e7890be6304bb510b6c65c7f762d0",
"body": "commit 28ce9c270445979e6ac78ca12e4ee1e2fda6dc9e\nAuthor: Roland Kaminski <kaminski@cs.uni-potsdam.de>\nDate: Sun Jun 23 10:09:17 2024 +0200\n\n add noble\n\ncommit 670956fa8f58f35be3cfc03d641da3c3d27311e5\nAuthor: Roland Kaminski <kaminski@cs.uni-potsdam.de>\nDate: Sun Jun 23 10:07:29 2024 +0200\n\n update version\n\ncommit bafbb2ee5bfcf88c920c49ef9d4e18af13b1bc1c\nAuthor: Roland Kaminski <kaminski@cs.uni-potsdam.de>\nDate: Sun Jun 23 09:02:27 2024 +0200\n\n add noble",
"is_bot": false,
"headline": "add ppa for noble",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-23T08:16:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2d30e268ed5ee949303cc2a342ce9727c7f0698c",
"body": null,
"is_bot": false,
"headline": "fine tune last commit",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-20T18:07:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4dd04291a2a72bd173c3fd35b146b5fcfcbbc8de",
"body": null,
"is_bot": false,
"headline": "fix conda builds for windows and macos (#508)",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-20T17:53:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e918de81ef6484df78651a54b12873b101f9816e",
"body": null,
"is_bot": false,
"headline": "update actions",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-18T12:42:52Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e2131a685ad89afa1b9efddede88a95adf0eff5c",
"body": null,
"is_bot": false,
"headline": "update conda",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-18T12:39:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2a007445a65a7c6543ff5771eb5f2ec75d931676",
"body": null,
"is_bot": false,
"headline": "Update README.md",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-18T12:36:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "95f6cce3d9bdbd64448f03120ca58f1a920334cc",
"body": null,
"is_bot": false,
"headline": "Update README.md",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-18T12:32:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9dab4816ee4518177908fa1b454e9decfad1cdf3",
"body": null,
"is_bot": false,
"headline": "fix incmode for gringo",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-18T12:22:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "041e904114ef248d73016dd31f589beb6a14a666",
"body": "Change CommentType from OrderedEnum to IntEnum.",
"is_bot": false,
"headline": "Merge pull request #507 from namcsi/fix-comment-type-enum",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-13T16:07:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2ba442f6502185da07aff560ccd5633c471ae927",
"body": null,
"is_bot": false,
"headline": "Change CommentType from OrderedEnum to IntEnum.",
"author_name": "Amade Nemes",
"author_login": "namcsi",
"committed_at": "2024-06-13T14:53:42Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2ee5b14ce5f231c9cdf26fa29f7435f7ad51bde2",
"body": "Fix bug found by Ben",
"is_bot": false,
"headline": "Merge pull request #497 from javier-romero/patch-1",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-05-15T10:29:00Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fbc2dfcff30f140ede6409774ddecea5b4a0003f",
"body": null,
"is_bot": false,
"headline": "Fix bug found by Ben",
"author_name": "Javier Romero",
"author_login": "javier-romero",
"committed_at": "2024-05-15T08:18:25Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4113b4b60bfae8932bccdf71c51f7c630081e058",
"body": null,
"is_bot": false,
"headline": "slightly reduce cost of printing lot's of symbols",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-05-07T13:12:09Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "775dbcdb0850a9c626b26617376306a1600c5203",
"body": null,
"is_bot": false,
"headline": "add option to profile",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-05-07T11:51:54Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cce7f66a79aa397ef5f55603f5e80bb1fe2c17ce",
"body": null,
"is_bot": false,
"headline": "fix setattr of configuration",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-05-07T10:58:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3d2f2b6eea71f258b135f60e18df2e0b1ab09eab",
"body": "Simplify clasp text output customization.",
"is_bot": false,
"headline": "Merge pull request #490 from potassco/simplify-output",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-03-20T07:55:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7b69624e121c2065ccc14298476e0bd04d4b11ae",
"body": null,
"is_bot": false,
"headline": "Simplify clasp text output customization.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-03-20T07:37:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d84c400a642cb5b9833f0a08c1bfda63a9b2ffa6",
"body": "Reduce duplication in gringo options.",
"is_bot": false,
"headline": "Merge pull request #487 from potassco/reduce-option-duplication",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-23T15:41:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3ea87967c9fe9ea0989a790dc5f5cca9e710b7bc",
"body": "* GringoApp, ClingoApp, and ClingoLib all provide a set of gringo\n options. Extract GringoOptions struct and provide common function\n for registering options with a command-line option group.",
"is_bot": false,
"headline": "Reduce duplication in gringo options.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-02-23T14:17:41Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "036ea9daffb9a181f305620f7c6d7cd1173f1cfe",
"body": null,
"is_bot": false,
"headline": "update changes and bump version",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-21T08:03:52Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9cafb1cc63606a605a556869bc10664bad5a5216",
"body": null,
"is_bot": false,
"headline": "use cffi 1.16 to support python 3.12",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-20T20:53:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "849f2828b4b0a9eccb0fcb6e74cc2808151db20d",
"body": null,
"is_bot": false,
"headline": "update cibw",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-16T09:53:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "448141d00c3eea474a32fc28c6837e74c5008af7",
"body": null,
"is_bot": false,
"headline": "bump version",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-16T08:24:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "28f72100198ccb47924693794ba70f2527d8f608",
"body": "fix manifest to include wide-integer lib",
"is_bot": false,
"headline": "Merge pull request #484 from potassco/fix/manifest",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-16T08:20:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c83dbdef4d4826c0b0feda998c8ac2bae95a5e43",
"body": "fix comparison of theory elements",
"is_bot": false,
"headline": "Merge pull request #485 from potassco/fix/comparison",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-16T08:20:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1fb855fb9ceddbff968b6af188151a1ac39f8db5",
"body": null,
"is_bot": false,
"headline": "fix comparison of theory elements",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-16T07:58:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1c245540c09b008f4cc1388bc042957754f21bfa",
"body": null,
"is_bot": false,
"headline": "fix manifest to include wide-integer lib",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-16T07:54:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ee81bd545bf992ffec4a707daeca9630128e78d6",
"body": null,
"is_bot": false,
"headline": "update contributing link",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-15T16:49:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "02815c81d93b220287a133b62940aa44aac41b23",
"body": null,
"is_bot": false,
"headline": "bump python versions",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-15T16:20:37Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7748f428b7af6f74ec310b3386afca33245c8678",
"body": "Fix noexcept destructor in C++ API",
"is_bot": false,
"headline": "Merge pull request #481 from potassco/fix/noexcept-destructor",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-14T13:44:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0eba4166ea9f0ee2a0f82192af07df9f57f7f696",
"body": null,
"is_bot": false,
"headline": "correctly annotate destructors that free resources",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-13T08:41:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9583f5943db6f346bd992879e56349db447c95e5",
"body": null,
"is_bot": false,
"headline": "update clasp",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-07T16:36:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "60939c6870bdbc2d63cd72235f0d5215166c9aec",
"body": null,
"is_bot": false,
"headline": "update clasp",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-07T16:01:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ae4829509543c3cf17a75ab151f1aaf972dcebc8",
"body": null,
"is_bot": false,
"headline": "update clasp",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-01-26T12:52:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "94068eee779a3c35439be1333314271593996f79",
"body": null,
"is_bot": false,
"headline": "adjust example",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-01-06T09:35:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "24e9ebb40a47ed674b896176c89b83353b4f18a5",
"body": null,
"is_bot": false,
"headline": "fix sorting of terms",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-12-13T20:49:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8d479ba02311b51861129c209c498cec8ad8d960",
"body": "Contributing",
"is_bot": false,
"headline": "Merge pull request #465 from potassco/contributing",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-23T11:33:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e5341151ef773535407ae24c6bb3972367c05181",
"body": null,
"is_bot": false,
"headline": "update changes",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-23T11:33:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fe1bf7584304588448938f9641b4fe0dbea27762",
"body": "Feature/overflow",
"is_bot": false,
"headline": "Merge pull request #463 from potassco/feature/overflow",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-23T11:28:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "19feff0b05e4f576993f69517f95f624eab031fe",
"body": "Replace distutils with setuptools/sysconfig",
"is_bot": false,
"headline": "Merge pull request #464 from adamjstewart/distutils",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-02T19:08:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "05ec3b1987ec3f42fc25f530ee8cb22b00694d0a",
"body": null,
"is_bot": false,
"headline": "Replace distutils with setuptools/sysconfig",
"author_name": "Adam J. Stewart",
"author_login": "adamjstewart",
"committed_at": "2023-11-02T18:53:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "670900ab6c61c1838e08ab6469ed7f8e468b2669",
"body": null,
"is_bot": false,
"headline": "add PR template",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-02T17:41:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c32f1a4b44d423d8b447ac690f5b9502af45132b",
"body": null,
"is_bot": false,
"headline": "update",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-02T17:29:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a66a538c14029dd78bdea6085aad609c0ff4378c",
"body": null,
"is_bot": false,
"headline": "more refinements",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-02T17:10:43Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2eedc4c137d153d158c628e481a521582da83a87",
"body": null,
"is_bot": false,
"headline": "refine",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-02T17:08:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c73b086c99559c6b40b149b029c2a932ec25d6d6",
"body": null,
"is_bot": false,
"headline": "some more text",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-02T17:05:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2c7a4056f42c90d041051095073aa1cda90c95ca",
"body": null,
"is_bot": false,
"headline": "add file explainig how to contribute",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-02T16:48:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9f22ab3ae7dd489f52254c9656b075d860b03bc1",
"body": null,
"is_bot": false,
"headline": "use wider int types in IESolver to avoid overflows",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-10-18T11:50:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b70ed6de18e82588388cf85336cc0fe1900b8afa",
"body": "Note that this breaks backwards-compatibility of the Python API because the atom_id_or_zero parameter is optional now and moved to the end. More complicated overloading would be possible but this is most likely not a widely used interface to justify this.",
"is_bot": false,
"headline": "extend add_theory_atom method of backend (#461)",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-10-17T13:09:56Z",
"body_truncated": false,
"is_coding_agent": false
}
],
"releases_count": 18,
"commits_last_year": 0,
"latest_release_at": "2025-04-03T11:45:00Z",
"latest_release_tag": "v5.8.0",
"releases_from_tags": false,
"days_since_last_push": 19,
"active_weeks_last_year": 0,
"days_since_latest_release": 481,
"mean_days_between_releases": 175.4
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": true,
"health_percentage": 62,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": true
},
"ecosystem": {
"packages": [
{
"name": "clingo",
"exists": true,
"license": "MIT",
"keywords": [],
"ecosystem": "pypi",
"matches_repo": true,
"registry_url": "https://pypi.org/project/clingo/",
"is_deprecated": false,
"latest_version": "5.8.0",
"repository_url": "https://github.com/potassco/clingo",
"versions_count": 9,
"total_downloads": null,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": null,
"first_published_at": "2021-04-20T16:48:39.683085Z",
"latest_published_at": "2026-04-14T15:31:05.294710Z",
"latest_version_yanked": null,
"days_since_latest_publish": 104
}
]
},
"popularity": {
"forks": 98,
"stars": 811,
"watchers": 37,
"fork_history": {
"days": [
{
"date": "2016-08-04",
"count": 1
},
{
"date": "2016-08-07",
"count": 1
},
{
"date": "2016-09-19",
"count": 1
},
{
"date": "2016-11-01",
"count": 1
},
{
"date": "2016-11-17",
"count": 1
},
{
"date": "2017-03-06",
"count": 1
},
{
"date": "2017-09-08",
"count": 1
},
{
"date": "2017-10-23",
"count": 1
},
{
"date": "2017-11-05",
"count": 1
},
{
"date": "2017-12-01",
"count": 1
},
{
"date": "2018-01-13",
"count": 1
},
{
"date": "2018-02-01",
"count": 1
},
{
"date": "2018-02-13",
"count": 1
},
{
"date": "2018-03-07",
"count": 1
},
{
"date": "2018-06-20",
"count": 1
},
{
"date": "2018-06-27",
"count": 1
},
{
"date": "2018-09-17",
"count": 1
},
{
"date": "2018-09-24",
"count": 1
},
{
"date": "2018-10-12",
"count": 1
},
{
"date": "2018-10-26",
"count": 1
},
{
"date": "2018-10-31",
"count": 1
},
{
"date": "2018-11-02",
"count": 1
},
{
"date": "2018-11-12",
"count": 1
},
{
"date": "2018-11-22",
"count": 1
},
{
"date": "2019-01-10",
"count": 1
},
{
"date": "2019-01-19",
"count": 1
},
{
"date": "2019-02-22",
"count": 1
},
{
"date": "2019-04-20",
"count": 1
},
{
"date": "2019-04-22",
"count": 1
},
{
"date": "2019-05-03",
"count": 1
},
{
"date": "2019-06-05",
"count": 1
},
{
"date": "2019-07-22",
"count": 1
},
{
"date": "2019-08-22",
"count": 1
},
{
"date": "2019-08-30",
"count": 1
},
{
"date": "2019-09-06",
"count": 1
},
{
"date": "2019-10-09",
"count": 1
},
{
"date": "2020-01-14",
"count": 1
},
{
"date": "2020-02-23",
"count": 1
},
{
"date": "2020-03-11",
"count": 1
},
{
"date": "2020-06-04",
"count": 1
},
{
"date": "2020-08-27",
"count": 1
},
{
"date": "2020-11-17",
"count": 1
},
{
"date": "2021-01-15",
"count": 1
},
{
"date": "2021-02-18",
"count": 1
},
{
"date": "2021-03-04",
"count": 1
},
{
"date": "2021-04-22",
"count": 1
},
{
"date": "2021-06-04",
"count": 1
},
{
"date": "2021-07-19",
"count": 1
},
{
"date": "2021-08-10",
"count": 1
},
{
"date": "2021-09-01",
"count": 1
},
{
"date": "2021-10-28",
"count": 1
},
{
"date": "2021-11-04",
"count": 1
},
{
"date": "2021-11-19",
"count": 1
},
{
"date": "2022-03-21",
"count": 1
},
{
"date": "2022-05-12",
"count": 1
},
{
"date": "2022-05-14",
"count": 1
},
{
"date": "2022-05-30",
"count": 1
},
{
"date": "2022-05-31",
"count": 1
},
{
"date": "2022-07-05",
"count": 1
},
{
"date": "2022-08-22",
"count": 1
},
{
"date": "2022-10-07",
"count": 1
},
{
"date": "2022-11-20",
"count": 1
},
{
"date": "2022-12-09",
"count": 1
},
{
"date": "2023-01-12",
"count": 1
},
{
"date": "2023-02-23",
"count": 1
},
{
"date": "2023-04-11",
"count": 1
},
{
"date": "2023-05-11",
"count": 1
},
{
"date": "2023-07-07",
"count": 1
},
{
"date": "2023-08-12",
"count": 1
},
{
"date": "2023-11-02",
"count": 1
},
{
"date": "2023-11-07",
"count": 1
},
{
"date": "2024-03-20",
"count": 1
},
{
"date": "2024-05-05",
"count": 1
},
{
"date": "2024-05-27",
"count": 1
},
{
"date": "2024-06-13",
"count": 1
},
{
"date": "2024-07-05",
"count": 1
},
{
"date": "2024-09-15",
"count": 1
},
{
"date": "2024-10-18",
"count": 1
},
{
"date": "2024-12-10",
"count": 1
},
{
"date": "2024-12-30",
"count": 1
},
{
"date": "2025-01-23",
"count": 1
},
{
"date": "2025-02-22",
"count": 1
},
{
"date": "2025-02-28",
"count": 1
},
{
"date": "2025-03-14",
"count": 1
},
{
"date": "2025-04-12",
"count": 1
},
{
"date": "2025-06-15",
"count": 1
},
{
"date": "2025-09-15",
"count": 1
},
{
"date": "2025-09-19",
"count": 1
},
{
"date": "2025-10-13",
"count": 1
},
{
"date": "2026-01-29",
"count": 1
},
{
"date": "2026-02-09",
"count": 1
},
{
"date": "2026-03-07",
"count": 1
},
{
"date": "2026-03-13",
"count": 1
},
{
"date": "2026-03-20",
"count": 1
},
{
"date": "2026-03-24",
"count": 1
},
{
"date": "2026-05-09",
"count": 1
},
{
"date": "2026-05-30",
"count": 1
},
{
"date": "2026-06-06",
"count": 1
}
],
"complete": true,
"collected": 98,
"total_forks": 98
},
"star_history": null,
"open_issues_and_prs": 17
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [
"examples"
],
"has_llms_txt": false,
"has_dockerfile": false,
"has_mcp_signal": false,
"bootstrap_files": [
"Makefile",
"scratch/haskell/Makefile",
"scratch/lua/Makefile"
],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [
"libpyclingo/clingo/py.typed"
],
"toolchain_manifests": [],
"largest_source_bytes": 759949,
"source_files_sampled": 165,
"oversized_source_files": 12,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"dependencies": {
"manifests": [
"libpyclingo/pyproject.toml",
"libpyclingo/setup.py",
"pyproject.toml",
"scratch/setup.py",
"setup.py"
],
"advisories": {
"error": null,
"scope": "published_package",
"source": "osv",
"findings": [],
"collected": true,
"malicious": [],
"truncated": false,
"by_severity": {},
"advisory_count": 0,
"affected_count": 0,
"assessed_count": 2,
"malicious_count": 0,
"assessed_package": "pypi:clingo@5.8.0",
"unassessed_count": 0,
"direct_affected_count": 0
},
"ecosystems": [
"pypi"
],
"dependencies": [],
"all_dependencies": {
"error": null,
"source": "github-sbom",
"packages": [
{
"name": "cffi",
"direct": false,
"version": null,
"ecosystem": "pypi"
},
{
"name": "jekyll",
"direct": false,
"version": null,
"ecosystem": "rubygems"
},
{
"name": "jekyll-feed",
"direct": false,
"version": null,
"ecosystem": "rubygems"
},
{
"name": "listen",
"direct": false,
"version": null,
"ecosystem": "rubygems"
},
{
"name": "minima",
"direct": false,
"version": null,
"ecosystem": "rubygems"
},
{
"name": "tzinfo-data",
"direct": false,
"version": null,
"ecosystem": "rubygems"
}
],
"collected": true,
"truncated": false,
"total_count": 6,
"direct_count": 0,
"indirect_count": 6
}
},
"maintainership": {
"issues": {
"open_prs": 4,
"merged_prs": 176,
"open_issues": 13,
"closed_ratio": 0.968,
"closed_issues": 398,
"closed_unmerged_prs": 37
},
"bus_factor": 1,
"bot_contributors": 0,
"top_contributors": [
{
"type": "User",
"login": "rkaminsk",
"commits": 1830,
"avatar_url": "https://avatars.githubusercontent.com/u/1175198?v=4"
},
{
"type": "User",
"login": "BenKaufmann",
"commits": 123,
"avatar_url": "https://avatars.githubusercontent.com/u/1936072?v=4"
},
{
"type": "User",
"login": "pluehne",
"commits": 18,
"avatar_url": "https://avatars.githubusercontent.com/u/3244280?v=4"
},
{
"type": "User",
"login": "MaxOstrowski",
"commits": 8,
"avatar_url": "https://avatars.githubusercontent.com/u/18141503?v=4"
},
{
"type": "User",
"login": "sthiele",
"commits": 4,
"avatar_url": "https://avatars.githubusercontent.com/u/1641315?v=4"
},
{
"type": "User",
"login": "javier-romero",
"commits": 4,
"avatar_url": "https://avatars.githubusercontent.com/u/20420979?v=4"
},
{
"type": "User",
"login": "domoritz",
"commits": 3,
"avatar_url": "https://avatars.githubusercontent.com/u/589034?v=4"
},
{
"type": "User",
"login": "haampie",
"commits": 2,
"avatar_url": "https://avatars.githubusercontent.com/u/194764?v=4"
},
{
"type": "User",
"login": "bartbog",
"commits": 1,
"avatar_url": "https://avatars.githubusercontent.com/u/1227597?v=4"
},
{
"type": "User",
"login": "trws",
"commits": 1,
"avatar_url": "https://avatars.githubusercontent.com/u/660149?v=4"
}
],
"contributors_sampled": 20,
"top_contributor_share": 0.913
},
"quality_signals": {
"has_ci": true,
"has_tests": true,
"ci_workflows": [
"cibuildwheel.yml",
"conda-dev.yml",
"ppa-dev.yml",
"test.yml"
],
"has_docs_dir": true,
"linter_configs": [
".pylintrc"
],
"has_editorconfig": false,
"has_linter_config": true,
"has_precommit_config": true
},
"security_signals": {
"lockfiles": [],
"scorecard": {
"checks": [
{
"name": "Binary-Artifacts",
"score": 10,
"reason": "no binaries found in the repo",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
},
{
"name": "Branch-Protection",
"score": null,
"reason": "internal 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",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": 0,
"reason": "0 out of 9 merged PRs checked by a CI test -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
},
{
"name": "CII-Best-Practices",
"score": 0,
"reason": "no effort to earn an OpenSSF best practices badge detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
},
{
"name": "Code-Review",
"score": 6,
"reason": "Found 6/9 approved changesets -- score normalized to 6",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 10,
"reason": "project has 4 contributing companies or organizations",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": 10,
"reason": "no dangerous workflow patterns detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
},
{
"name": "Dependency-Update-Tool",
"score": 0,
"reason": "no update tool detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
},
{
"name": "Fuzzing",
"score": 0,
"reason": "project is not fuzzed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
},
{
"name": "License",
"score": 10,
"reason": "license file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
},
{
"name": "Maintained",
"score": 5,
"reason": "0 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 5",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
},
{
"name": "Packaging",
"score": 10,
"reason": "packaging workflow detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
},
{
"name": "Pinned-Dependencies",
"score": 0,
"reason": "dependency not pinned by hash detected -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 0,
"reason": "SAST tool is not run on all commits -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
},
{
"name": "Security-Policy",
"score": 0,
"reason": "security policy file not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
},
{
"name": "Signed-Releases",
"score": null,
"reason": "no releases found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
},
{
"name": "Token-Permissions",
"score": 0,
"reason": "detected GitHub workflow tokens with excessive permissions",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 10,
"reason": "0 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "920d06bcda7dd420814ce50953feff260a60fd8b",
"ran_at": "2026-07-28T14:38:01Z",
"aggregate_score": 4.8,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": false,
"has_dependabot_config": false
},
"contribution_flow": {
"collected": true,
"ci_last_run_at": "2025-09-15T07:17:50Z",
"oldest_open_prs": [
{
"number": 617,
"created_at": "2026-03-24T12:57:41Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 619,
"created_at": "2026-03-26T13:43:40Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 620,
"created_at": "2026-03-26T21:23:32Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 621,
"created_at": "2026-03-30T15:17:48Z",
"last_comment_at": null,
"last_comment_author": null
}
],
"last_merged_pr_at": "2026-05-18T08:42:56Z",
"ci_last_conclusion": "SUCCESS",
"oldest_open_issues": [
{
"number": 121,
"created_at": "2018-08-13T07:28:08Z",
"last_comment_at": "2019-02-28T10:17:45Z",
"last_comment_author": "MaxOstrowski"
},
{
"number": 155,
"created_at": "2019-07-02T12:40:23Z",
"last_comment_at": "2019-07-11T08:42:07Z",
"last_comment_author": "rkaminsk"
},
{
"number": 164,
"created_at": "2019-08-14T10:32:48Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 315,
"created_at": "2021-06-04T18:10:53Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 467,
"created_at": "2023-11-14T15:12:46Z",
"last_comment_at": "2023-11-23T11:40:24Z",
"last_comment_author": "rkaminsk"
},
{
"number": 468,
"created_at": "2023-11-15T10:41:02Z",
"last_comment_at": "2023-11-23T11:45:14Z",
"last_comment_author": "rkaminsk"
},
{
"number": 473,
"created_at": "2023-12-11T21:37:56Z",
"last_comment_at": "2024-02-08T18:51:17Z",
"last_comment_author": "BenKaufmann"
},
{
"number": 583,
"created_at": "2025-11-13T08:20:32Z",
"last_comment_at": "2025-11-24T09:12:08Z",
"last_comment_author": "rkaminsk"
},
{
"number": 593,
"created_at": "2026-01-12T13:51:40Z",
"last_comment_at": "2026-02-11T17:59:19Z",
"last_comment_author": "rkaminsk"
},
{
"number": 613,
"created_at": "2026-03-22T21:08:15Z",
"last_comment_at": "2026-07-23T04:32:23Z",
"last_comment_author": "samutoljamo"
},
{
"number": 631,
"created_at": "2026-05-02T12:31:17Z",
"last_comment_at": "2026-05-04T13:15:59Z",
"last_comment_author": "rkaminsk"
},
{
"number": 636,
"created_at": "2026-06-05T17:55:32Z",
"last_comment_at": "2026-06-05T19:05:04Z",
"last_comment_author": "edmcman"
},
{
"number": 637,
"created_at": "2026-06-06T12:38:53Z",
"last_comment_at": "2026-06-08T09:17:33Z",
"last_comment_author": "rkaminsk"
}
]
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/potassco/clingo",
"host": "github.com",
"name": "clingo",
"owner": "potassco"
},
"metrics": {
"overall": {
"key": "overall",
"band": "moderate",
"name": "Overall health",
"note": null,
"notes": [],
"value": 65,
"inputs": {
"security": 58,
"vitality": 41,
"community": 74,
"governance": 69,
"engineering": 84
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "at_risk",
"name": "Vitality",
"value": 41,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "at_risk",
"name": "Development activity",
"note": null,
"notes": [],
"value": 34,
"inputs": {
"commits_last_year": 0,
"human_commit_share": 1,
"days_since_last_push": 19,
"active_weeks_last_year": 0
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 19 days ago",
"points": 28.8,
"status": "partial",
"details": [
{
"code": "push_recency",
"params": {
"days": 19
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "0/52 weeks with commits",
"points": 0,
"status": "missed",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 0
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "0 commits in the last year",
"points": 0,
"status": "missed",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 0
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "0 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 5",
"points": 5,
"status": "partial",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "moderate",
"name": "Release discipline",
"note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"openssf_scorecard_signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 52,
"inputs": {
"releases_count": 18,
"latest_release_tag": "v5.8.0",
"releases_from_tags": false,
"days_since_latest_release": 481,
"mean_days_between_releases": 175.4
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "18 releases published",
"points": 27,
"status": "met",
"details": [
{
"code": "releases_published",
"params": {
"count": 18
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 481 days ago",
"points": 7.2,
"status": "partial",
"details": [
{
"code": "release_recency",
"params": {
"days": 481
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~175.4 days",
"points": 12.6,
"status": "partial",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 175.4
}
}
],
"max_points": 27
},
{
"key": "openssf_scorecard_signed_releases",
"name": "OpenSSF Scorecard: Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
}
]
},
{
"key": "abandonment",
"band": "excellent",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"cap": null,
"state": "dormant",
"guards": [
"maintainer_replying",
"dependencies_clean"
],
"signals": [],
"red_flag": false,
"multiplier_pct": 100,
"declared_reason": null,
"unverified_reason": null,
"unanswered_open_prs": 0,
"unanswered_open_issues": 2,
"days_since_last_merged_pr": 71,
"days_since_last_human_commit": 481,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "no human commit for 481 days, with nothing left unanswered; held at dormant by a maintainer still replying, no affected dependency",
"points": 100,
"status": "met",
"details": [
{
"code": "abandonment_quiet",
"params": {
"days": 481
}
},
{
"code": "abandonment_guarded",
"params": {
"guards": "a maintainer still replying, no affected dependency"
}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "good",
"name": "Community & Adoption",
"value": 74,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "good",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 72,
"inputs": {
"forks": 98,
"stars": 811,
"watchers": 37,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "811 stars",
"points": 47.2,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 811
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "98 forks",
"points": 16.6,
"status": "partial",
"details": [
{
"code": "forks",
"params": {
"count": 98
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "37 watchers",
"points": 8.7,
"status": "partial",
"details": [
{
"code": "watchers",
"params": {
"count": 37
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "good",
"name": "Community health",
"note": null,
"notes": [],
"value": 77,
"inputs": {
"has_readme": true,
"has_license": true,
"has_contributing": true,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 22.5,
"status": "met",
"details": [],
"max_points": 22.5
},
{
"key": "license",
"name": "License",
"detail": "recognized license (MIT)",
"points": 22.5,
"status": "met",
"details": [
{
"code": "license_standard",
"params": {}
},
{
"code": "license_spdx",
"params": {
"spdx": "MIT"
}
}
],
"max_points": 22.5
},
{
"key": "contributing_guide",
"name": "CONTRIBUTING guide",
"detail": null,
"points": 18,
"status": "met",
"details": [],
"max_points": 18
},
{
"key": "code_of_conduct",
"name": "Code of conduct",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 13.5
},
{
"key": "issue_template",
"name": "Issue template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.2
},
{
"key": "pr_template",
"name": "PR template",
"detail": null,
"points": 6.3,
"status": "met",
"details": [],
"max_points": 6.3
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "moderate",
"name": "Sustainability & Governance",
"value": 69,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "at_risk",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 34,
"inputs": {
"bus_factor": 1,
"contributors_sampled": 20,
"top_contributor_share": 0.913
},
"components": [
{
"key": "bus_factor",
"name": "Bus factor",
"detail": "1 contributor(s) cover half of all commits",
"points": 9,
"status": "partial",
"details": [
{
"code": "bus_factor",
"params": {
"count": 1
}
}
],
"max_points": 54
},
{
"key": "commit_distribution",
"name": "Commit distribution",
"detail": "top contributor authored 91% of commits",
"points": 2,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 91
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "20 contributors",
"points": 13.5,
"status": "met",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 20
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 4 contributing companies or organizations",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "excellent",
"name": "Issue & PR responsiveness",
"note": null,
"notes": [],
"value": 86,
"inputs": {
"merged_prs": 176,
"open_issues": 13,
"closed_issues": 398,
"issue_closed_ratio": 0.968,
"closed_unmerged_prs": 37
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "97% of issues closed",
"points": 45.3,
"status": "partial",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 97
}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "176/213 decided PRs merged",
"points": 31.6,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 176,
"decided": 213
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 6/9 approved changesets -- score normalized to 6",
"points": 9,
"status": "partial",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "good",
"name": "Ownership & stewardship",
"note": null,
"notes": [],
"value": 70,
"inputs": {
"followers": 141,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "potassco",
"public_repos": 99,
"account_age_days": 3731
},
"components": [
{
"key": "ownership_backing",
"name": "Ownership backing",
"detail": "organization-owned",
"points": 30,
"status": "met",
"details": [
{
"code": "owner_organization",
"params": {}
}
],
"max_points": 30
},
{
"key": "verified_domain",
"name": "Verified domain",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "owner_reach",
"name": "Owner reach",
"detail": "141 followers of potassco",
"points": 15.5,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 141,
"login": "potassco"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "99 public repos, account ~10 yr old",
"points": 25,
"status": "met",
"details": [
{
"code": "public_repos",
"params": {
"count": 99
}
},
{
"code": "account_age_years",
"params": {
"years": 10
}
}
],
"max_points": 25
}
]
},
{
"key": "package_maintenance",
"band": "excellent",
"name": "Package maintenance",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"packages": [
"clingo"
],
"ecosystems": "pypi",
"any_deprecated": false,
"min_days_since_publish": 104
},
"components": [
{
"key": "published_resolvable",
"name": "Published & resolvable",
"detail": "1 package(s) on pypi",
"points": 25,
"status": "met",
"details": [
{
"code": "packages_published",
"params": {
"count": 1,
"ecosystems": "pypi"
}
}
],
"max_points": 25
},
{
"key": "publish_recency",
"name": "Publish recency",
"detail": "latest publish 104 days ago",
"points": 35,
"status": "met",
"details": [
{
"code": "publish_recency",
"params": {
"days": 104
}
}
],
"max_points": 35
},
{
"key": "version_history",
"name": "Version history",
"detail": "9 published versions",
"points": 20,
"status": "met",
"details": [
{
"code": "published_versions",
"params": {
"count": 9
}
}
],
"max_points": 20
},
{
"key": "not_deprecated",
"name": "Not deprecated",
"detail": "active, not deprecated or yanked",
"points": 20,
"status": "met",
"details": [
{
"code": "package_not_deprecated",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "good",
"name": "Engineering Quality",
"value": 84,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "good",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 74,
"inputs": {
"has_ci": true,
"has_tests": true,
"has_editorconfig": false,
"has_linter_config": true,
"has_precommit_config": true
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": "4 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 4
}
}
],
"max_points": 24
},
{
"key": "tests_present",
"name": "Tests present",
"detail": null,
"points": 24,
"status": "met",
"details": [],
"max_points": 24
},
{
"key": "linter_config",
"name": "Linter config",
"detail": ".pylintrc",
"points": 16,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": ".pylintrc"
}
}
],
"max_points": 16
},
{
"key": "pre_commit_hooks",
"name": "Pre-commit hooks",
"detail": null,
"points": 9.6,
"status": "met",
"details": [],
"max_points": 9.6
},
{
"key": "editorconfig",
"name": ".editorconfig",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.4
},
{
"key": "openssf_scorecard_ci_tests",
"name": "OpenSSF Scorecard: CI-Tests",
"detail": "0 out of 9 merged PRs checked by a CI test -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "excellent",
"name": "Documentation",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"topics": [
"answer-set-programming",
"declarative-programming",
"logic-programming"
],
"has_wiki": true,
"homepage": "https://potassco.org/clingo",
"has_readme": true,
"has_docs_dir": true,
"has_description": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 30,
"status": "met",
"details": [],
"max_points": 30
},
{
"key": "documentation_directory",
"name": "Documentation directory",
"detail": null,
"points": 25,
"status": "met",
"details": [],
"max_points": 25
},
{
"key": "documentation_homepage_site",
"name": "Documentation / homepage site",
"detail": "https://potassco.org/clingo",
"points": 15,
"status": "met",
"details": [],
"max_points": 15
},
{
"key": "repository_description",
"name": "Repository description",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "topics",
"name": "Topics",
"detail": "3 topics",
"points": 10,
"status": "met",
"details": [
{
"code": "topics_count",
"params": {
"count": 3
}
}
],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "moderate",
"name": "Security",
"value": 58,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "at_risk",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): Branch-Protection, Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"branch_protection",
"signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 48,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 16,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 2,
"scorecard_aggregate": 4.8
},
"components": [
{
"key": "binary_artifacts",
"name": "Binary-Artifacts",
"detail": "no binaries found in the repo",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "branch_protection",
"name": "Branch-Protection",
"detail": "internal 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",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "0 out of 9 merged PRs checked by a CI test -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "cii_best_practices",
"name": "CII-Best-Practices",
"detail": "no effort to earn an OpenSSF best practices badge detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "code_review",
"name": "Code-Review",
"detail": "Found 6/9 approved changesets -- score normalized to 6",
"points": 4.5,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 4 contributing companies or organizations",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no dangerous workflow patterns detected",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "dependency_update_tool",
"name": "Dependency-Update-Tool",
"detail": "no update tool detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "fuzzing",
"name": "Fuzzing",
"detail": "project is not fuzzed",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "license",
"name": "License",
"detail": "license file detected",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "maintained",
"name": "Maintained",
"detail": "0 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 5",
"points": 3.8,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "packaging",
"name": "Packaging",
"detail": "packaging workflow detected",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "pinned_dependencies",
"name": "Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "SAST tool is not run on all commits -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file not detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "detected GitHub workflow tokens with excessive permissions",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "0 existing vulnerabilities detected",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
}
]
},
{
"key": "dependency_advisories",
"band": "excellent",
"name": "Dependency advisories",
"note": "Excluded from scoring (no data or not applicable): No advisories left outstanding. Remaining weights renormalized. Matched the pypi:clingo@5.8.0 runtime dependency closure — what installing the published package pulls in — 2 packages. Reachability is not analyzed.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"no_advisories_left_outstanding"
]
}
},
{
"code": "weights_renormalized",
"params": {}
},
{
"code": "advisories_scope_published",
"params": {
"package": "pypi:clingo@5.8.0",
"assessed": 2
}
},
{
"code": "advisories_reachability",
"params": {}
}
],
"value": 100,
"inputs": {
"source": "osv",
"advisories": 0,
"affected_packages": 0,
"assessed_packages": 2,
"unassessed_packages": 0,
"affected_by_severity": "none",
"direct_affected_packages": 0
},
"components": [
{
"key": "direct_dependencies_free_of_known_advisories",
"name": "Direct dependencies free of known advisories",
"detail": "no direct dependency carries a known advisory",
"points": 35,
"status": "met",
"details": [
{
"code": "no_direct_advisories",
"params": {}
}
],
"max_points": 35
},
{
"key": "indirect_dependencies_free_of_known_advisories",
"name": "Indirect dependencies free of known advisories",
"detail": "no indirect dependency carries a known advisory",
"points": 25,
"status": "met",
"details": [
{
"code": "no_indirect_advisories",
"params": {}
}
],
"max_points": 25
},
{
"key": "no_advisories_left_outstanding",
"name": "No advisories left outstanding",
"detail": "no advisory carries a publication date",
"points": 0,
"status": "excluded",
"details": [
{
"code": "advisories_no_publication_date",
"params": {}
}
],
"max_points": 40
}
]
},
{
"key": "malicious_dependencies",
"band": "excellent",
"name": "Malicious dependencies",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"source": "osv",
"meaning": "reported as a malicious package by the OpenSSF corpus; the remedy is removal or moving off the compromised name, never an upgrade of the same artifact. Versions the registry has since pulled are listed but not scored",
"packages": [],
"red_flag": false,
"assessed_packages": 2,
"malicious_packages": 0,
"direct_malicious_packages": 0,
"withdrawn_malicious_packages": 0,
"installable_malicious_packages": 0
},
"components": [
{
"key": "no_dependency_reported_as_a_malicious_package",
"name": "No dependency reported as a malicious package",
"detail": "no dependency is reported as a malicious package",
"points": 100,
"status": "met",
"details": [
{
"code": "no_malicious_dependencies",
"params": {}
}
],
"max_points": 100
}
]
},
{
"key": "high_risk_jurisdiction_exposure",
"band": "excellent",
"name": "High-Risk Jurisdiction Exposure",
"note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
"notes": [
{
"code": "jurisdiction_evidence_limits",
"params": {}
}
],
"value": 100,
"inputs": {
"meaning": "self-published location evidence; not nationality or citizenship",
"red_flag": false,
"exposures": [],
"policy_countries": [
"Russia",
"Iran",
"North Korea"
],
"review_only_matches": 0,
"assessed_self_published_locations": 24
},
"components": [
{
"key": "policy_exposure_multiplier",
"name": "Policy exposure multiplier",
"detail": "no confirmed policy-scope location match",
"points": 100,
"status": "met",
"details": [
{
"code": "jurisdiction_no_match",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
},
{
"key": "ai_readiness",
"band": "moderate",
"name": "AI Readiness",
"value": 50,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "critical",
"name": "Agent context & guidance",
"note": null,
"notes": [],
"value": 16,
"inputs": {
"has_llms_txt": false,
"legible_history_share": 0.29,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": "no CLAUDE.md / AGENTS.md / editor rules",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_instructions",
"params": {}
}
],
"max_points": 45
},
{
"key": "machine_readable_docs_llms_txt",
"name": "Machine-readable docs (llms.txt)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "legible_commit_history",
"name": "Legible commit history",
"detail": "29 of 100 human commits state their intent (structured subject or explanatory body)",
"points": 15.5,
"status": "partial",
"details": [
{
"code": "legible_history",
"params": {
"legible": 29,
"sampled": 100
}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "moderate",
"name": "Verify loop (build / test / typecheck)",
"note": null,
"notes": [],
"value": 62,
"inputs": {
"has_nix": false,
"has_tests": true,
"lockfiles": [],
"has_dockerfile": false,
"typed_language": true,
"bootstrap_files": [
"Makefile",
"scratch/haskell/Makefile",
"scratch/lua/Makefile"
],
"has_devcontainer": false,
"has_linter_config": true,
"typecheck_configs": [
"libpyclingo/clingo/py.typed"
],
"agent_commit_share": 0,
"toolchain_manifests": [],
"dependency_bot_commit_share": 0
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": "Makefile, scratch/haskell/Makefile, scratch/lua/Makefile",
"points": 18,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "Makefile, scratch/haskell/Makefile, scratch/lua/Makefile"
}
}
],
"max_points": 18
},
{
"key": "automated_tests",
"name": "Automated tests",
"detail": null,
"points": 22,
"status": "met",
"details": [],
"max_points": 22
},
{
"key": "lint_format_config",
"name": "Lint / format config",
"detail": ".pylintrc",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": ".pylintrc"
}
}
],
"max_points": 11
},
{
"key": "static_type_checking",
"name": "Static type checking",
"detail": "libpyclingo/clingo/py.typed",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "libpyclingo/clingo/py.typed"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
},
{
"key": "demonstrated_agent_practice",
"name": "Demonstrated agent practice",
"detail": "no agent-authored commits among the last 100",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_authored_commits",
"params": {
"sampled": 100
}
}
],
"max_points": 10
},
{
"key": "automated_maintenance",
"name": "Automated maintenance",
"detail": "no automated dependency updates observed",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_dependency_automation",
"params": {}
}
],
"max_points": 8
},
{
"key": "openssf_scorecard_pinned_dependencies",
"name": "OpenSSF Scorecard: Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "excellent",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 96,
"inputs": {
"primary_language": "C++",
"largest_source_bytes": 759949,
"source_files_sampled": 165,
"oversized_source_files": 12
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "C++ (statically typed)",
"points": 45,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "C++"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "12/165 source files over 60KB",
"points": 51,
"status": "partial",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 165,
"oversized": 12
}
}
],
"max_points": 55
}
]
},
{
"key": "ai_interfaces",
"band": "at_risk",
"name": "Machine-readable interfaces",
"note": null,
"notes": [],
"value": 40,
"inputs": {
"example_dirs": [
"examples"
],
"has_mcp_signal": false,
"api_schema_files": []
},
"components": [
{
"key": "api_schema_openapi_graphql_proto",
"name": "API schema (OpenAPI/GraphQL/proto)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 40
},
{
"key": "mcp_server",
"name": "MCP server",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "runnable_examples",
"name": "Runnable examples",
"detail": "examples",
"points": 40,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "examples"
}
}
],
"max_points": 40
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
}
],
"metrics_version": "1.13.0"
},
"warnings": [
"Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token",
"Could not fetch pypi package 'clingo-cffi-system' from its registry"
],
"report_type": "repository",
"generated_at": "2026-07-28T14:38:26.520125Z",
"schema_version": "0.27.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/p/potassco/clingo.svg",
"full_name": "potassco/clingo",
"license_state": "standard",
"license_spdx": "MIT"
}Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.
Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v1.13.0, схема v0.27.0 — повна методологія · вікі метрик.
Як окремий результат виглядає на тлі всього реєстру: сукупна статистика — PyPI.