Öffentliches RegisterMittel
Software-GesundheitsberichtSchema 0.27.0 · Metriken 1.13.0 · 2026-07-28 14:38 UTC
potassco / clingo
🦉 A grounder and solver for logic programs.
potassco/clingo erreicht einen Gesundheitsindex von 65 von 100 und liegt damit im Bereich Mittel. Am stärksten schneidet es bei Engineering Quality (84/100) ab, am schwächsten bei Vitality (41/100). Zuletzt vor 19 Tagen aktualisiert. Ein einzelner Mitwirkender trägt den Großteil der jüngsten Arbeit.
65
gesamt / 100Software-Gesundheitsindex
Metriken werden auf einer Skala von 1–100 in gewichtete Kategorien gruppiert. Der Gesamtwert beginnt als ihr Mittel; sobald öffentliche Evidenz die Richtlinie für Hochrisikojurisdiktionen auslöst, wird die Bewertung angepasst und erhält die Obergrenze 49 (Gefährdet). AI Readiness liegt außerhalb.
65
Exzellent85-100Vorbildlich; erfüllt im Wesentlichen alle geprüften Kriterien
Gut70-84Gesund; geringfügige Lücken
Mittel50-69Akzeptabel mit deutlichen Lücken; Überprüfung empfohlen
Gefährdet30-49Erhebliche Schwächen; eine Übernahme erfordert Vorsicht
Kritisch1-29Schwerwiegende Probleme (aufgegeben, nur ein Maintainer, keine Hygiene)
Bewertungsprofil
Jede Achse ist eine Kategorie. Die Form zählt mehr als der Durchschnitt — ein gesundes Projekt füllt die gesamte Fläche, während ein Profil aus Spitzen und Kratern bedeutet, dass Stärke in einer Dimension Risiken in einer anderen verdeckt.
Eigentümerschaft
PotasscoOrganisation
141 Follower99 öffentliche Reposseit Mai 2016
Dieses Repository wird von einer Organisation getragen — geteilte, rechenschaftspflichtige Trägerschaft, die jeden einzelnen Maintainer überdauern kann.
Paket-Ökosysteme
| Registry | Paket | Version | Downloads / Monat | Versionen | Zuletzt veröffentlicht |
|---|---|---|---|---|---|
| PyPI | clingo | 5.8.0 | - | 9 | vor 104 Tagen |
Metriken nach Kategorie
Vitalität
Lebt das Projekt — wird Code geschrieben und werden Releases ausgeliefert?
41
Entwicklungsaktivität
34Gefährdet
Wie die Bewertung erfolgt
| 28.8/36 | Push-Aktualität — letzter Push vor 19 Tagen |
| 0/36 | Commit-Rhythmus — 0/52 Wochen mit Commits |
| 0/18 | Commit-Volumen — 0 Commits im letzten Jahr |
| 5/10 | OpenSSF Scorecard: Maintained — 0 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 5 |
Verwendete Eingangsdaten
| commits_last_year | 0 |
| human_commit_share | 1 |
| days_since_last_push | 19 |
| active_weeks_last_year | 0 |
Release-Disziplin
52Mittel
Wie die Bewertung erfolgt
| 27/27 | Liefert Releases aus — 18 Releases veröffentlicht |
| 7.2/36 | Release-Aktualität — letztes Release vor 481 Tagen |
| 12.6/27 | Release-Rhythmus — ein Release etwa alle 175,4 Tage |
| 0/10 | OpenSSF Scorecard: Signed-Releases — keine Daten |
Verwendete Eingangsdaten
| releases_count | 18 |
| latest_release_tag | v5.8.0 |
| releases_from_tags | nein |
| days_since_latest_release | 481 |
| mean_days_between_releases | 175,4 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): OpenSSF Scorecard: Signed-Releases. Die verbleibenden Gewichte wurden renormalisiert.
Community & Verbreitung
Hat das Projekt Nutzer, Downloads, Aufmerksamkeit und ein einladendes Umfeld für Beitragende?
74
Wie die Bewertung erfolgt
| 47.2/60 | Stars — 811 Stars |
| 16.6/25 | Forks — 98 Forks |
| 8.7/15 | Watcher — 37 Watcher |
Verwendete Eingangsdaten
| forks | 98 |
| stars | 811 |
| watchers | 37 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Community-Gesundheit
77Gut
Wie die Bewertung erfolgt
| 22.5/22.5 | README |
| 22.5/22.5 | Lizenz — anerkannte Lizenz (MIT) |
| 18/18 | CONTRIBUTING-Leitfaden |
| 0/13.5 | Verhaltenskodex |
| 0/7.2 | Issue-Vorlage |
| 6.3/6.3 | PR-Vorlage |
Verwendete Eingangsdaten
| has_readme | ja |
| has_license | ja |
| has_contributing | ja |
| has_issue_template | nein |
| has_code_of_conduct | nein |
| has_pull_request_template | ja |
Nachhaltigkeit & Governance
Überdauert das Projekt die Menschen, die es tragen — Bus-Faktor, Reaktionsfähigkeit, Trägerschaft und Paketpflege?
69
Maintainer-Resilienz (Bus-Faktor)
34Gefährdet
Wie die Bewertung erfolgt
| 9/54 | Bus-Faktor — 1 Beitragende decken die Hälfte aller Commits ab |
| 2/22.5 | Commit-Verteilung — wichtigste beitragende Person verfasste 91 % der Commits |
| 13.5/13.5 | Breite der Beitragenden — 20 Beitragende |
| 10/10 | OpenSSF Scorecard: Contributors — project has 4 contributing companies or organizations |
Verwendete Eingangsdaten
| bus_factor | 1 |
| contributors_sampled | 20 |
| top_contributor_share | 0,913 |
Reaktionsfähigkeit bei Issues & PRs
86Exzellent
Wie die Bewertung erfolgt
| 45.3/46.8 | Issue-Lösungsquote — 97 % der Issues geschlossen |
| 31.6/38.3 | PR-Annahme — 176/213 entschiedene PRs gemergt |
| 9/15 | OpenSSF Scorecard: Code-Review — Found 6/9 approved changesets -- score normalized to 6 |
Verwendete Eingangsdaten
| merged_prs | 176 |
| open_issues | 13 |
| closed_issues | 398 |
| issue_closed_ratio | 0,968 |
| closed_unmerged_prs | 37 |
Wie die Bewertung erfolgt
| 30/30 | Organisatorische Trägerschaft — im Besitz einer Organisation |
| 0/20 | Verifizierte Domain |
| 15.5/25 | Reichweite des Inhabers — 141 Follower von potassco |
| 25/25 | Kontohistorie — 99 öffentliche Repos, Kontoalter ca. 10 Jahre |
Verwendete Eingangsdaten
| followers | 141 |
| owner_type | Organization |
| is_verified | — |
| owner_login | potassco |
| public_repos | 99 |
| account_age_days | 3.731 |
Paketpflege
100Exzellent
Wie die Bewertung erfolgt
| 25/25 | Veröffentlicht & auflösbar — 1 Paket(e) auf pypi |
| 35/35 | Veröffentlichungsaktualität — letzte Veröffentlichung vor 104 Tagen |
| 20/20 | Versionshistorie — 9 veröffentlichte Versionen |
| 20/20 | Nicht veraltet — aktiv, nicht veraltet oder zurückgezogen |
Verwendete Eingangsdaten
| packages | clingo |
| ecosystems | pypi |
| any_deprecated | nein |
| min_days_since_publish | 104 |
Engineering-Qualität
Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?
84
Wie die Bewertung erfolgt
| 24/24 | CI-Workflows — 4 Workflow(s) |
| 24/24 | Tests vorhanden |
| 16/16 | Linter-Konfiguration — .pylintrc |
| 9.6/9.6 | Pre-Commit-Hooks |
| 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 |
Verwendete Eingangsdaten
| has_ci | ja |
| has_tests | ja |
| has_editorconfig | nein |
| has_linter_config | ja |
| has_precommit_config | ja |
Dokumentation
100Exzellent
Wie die Bewertung erfolgt
| 30/30 | README |
| 25/25 | Dokumentationsverzeichnis |
| 15/15 | Dokumentations-/Homepage-Site — https://potassco.org/clingo |
| 10/10 | Repository-Beschreibung |
| 10/10 | Topics — 3 Topics |
| 10/10 | Wiki |
Verwendete Eingangsdaten
| topics | answer-set-programming, declarative-programming, logic-programming |
| has_wiki | ja |
| homepage | https://potassco.org/clingo |
| has_readme | ja |
| has_docs_dir | ja |
| has_description | ja |
Sicherheit
Sind die sichtbaren Sicherheits- und Lieferkettenpraktiken belastbar, ohne ungeklärte Exposition gegenüber Hochrisikojurisdiktionen?
58
Sicherheitslage
48Gefährdet
Wie die Bewertung erfolgt
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — keine Daten |
| 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 | Lizenz — 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 — keine Daten |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
Verwendete Eingangsdaten
| source | openssf_scorecard |
| checks_evaluated | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 4,8 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): branch_protection, signed_releases. Die verbleibenden Gewichte wurden renormalisiert.
Abhängigkeits-Advisories
100Exzellent
Wie die Bewertung erfolgt
| 35/35 | Direkte Abhängigkeiten ohne bekannte Advisories — keine direkte Abhängigkeit trägt ein bekanntes Advisory |
| 25/25 | Indirekte Abhängigkeiten ohne bekannte Advisories — keine indirekte Abhängigkeit trägt ein bekanntes Advisory |
| 0/40 | Keine offenen Advisories — kein Advisory trägt ein Veröffentlichungsdatum |
Verwendete Eingangsdaten
| source | osv |
| advisories | 0 |
| affected_packages | 0 |
| assessed_packages | 2 |
| unassessed_packages | 0 |
| affected_by_severity | none |
| direct_affected_packages | 0 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Keine offenen Advisories. Die verbleibenden Gewichte wurden renormalisiert. Abgeglichen wurde die Laufzeit-Abhängigkeitshülle von pypi:clingo@5.8.0 — das, was die Installation des veröffentlichten Pakets nach sich zieht — mit 2 Paketen. Erreichbarkeit wird nicht analysiert.
AI Readiness
Wie gut ist das Repository dafür ausgestattet, mit KI-Coding-Agenten entwickelt und gepflegt zu werden? Ein unabhängiges, experimentelles Badge — Gewicht 0,0, es wird eigenständig ausgewiesen und verändert den Gesamt-Gesundheitswert nicht.
50
AI-Agentenkontext & Leitlinien
16Kritisch
Wie die Bewertung erfolgt
| 0/45 | Agentenanweisungen — keine CLAUDE.md / AGENTS.md / Editor-Regeln |
| 0/15 | Maschinenlesbare Doku (llms.txt) |
| 15.5/40 | Lesbare Commit-Historie — 29 von 100 menschlichen Commits benennen ihre Absicht (strukturierter Betreff oder erläuternder Text) |
Verwendete Eingangsdaten
| has_llms_txt | nein |
| legible_history_share | 0,29 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Wie die Bewertung erfolgt
| 18/18 | Bootstrap mit einem Befehl — Makefile, scratch/haskell/Makefile, scratch/lua/Makefile |
| 22/22 | Automatisierte Tests |
| 11/11 | Lint-/Format-Konfiguration — .pylintrc |
| 11/11 | Statische Typprüfung — libpyclingo/clingo/py.typed |
| 0/10 | Reproduzierbare Umgebung |
| 0/10 | Belegte Agentenpraxis — keine von Agenten verfassten Commits unter den letzten 100 |
| 0/8 | Automatisierte Wartung — keine automatisierten Abhängigkeits-Updates beobachtet |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
Verwendete Eingangsdaten
| has_nix | nein |
| has_tests | ja |
| lockfiles | — |
| has_dockerfile | nein |
| typed_language | ja |
| bootstrap_files | Makefile, scratch/haskell/Makefile, scratch/lua/Makefile |
| has_devcontainer | nein |
| has_linter_config | ja |
| typecheck_configs | libpyclingo/clingo/py.typed |
| agent_commit_share | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
AI-Code-Lesbarkeit für Modelle
96Exzellent
Wie die Bewertung erfolgt
| 45/45 | Typprüfbarer Code — C++ (statisch typisiert) |
| 51/55 | Handhabbare Dateigrößen — 12/165 Quelldateien über 60 KB |
Verwendete Eingangsdaten
| primary_language | C++ |
| largest_source_bytes | 759.949 |
| source_files_sampled | 165 |
| oversized_source_files | 12 |
Maschinenlesbare AI-Schnittstellen
40Gefährdet
Wie die Bewertung erfolgt
| 0/40 | API-Schema (OpenAPI/GraphQL/proto) |
| 0/20 | MCP-Server |
| 40/40 | Lauffähige Beispiele — examples |
Verwendete Eingangsdaten
| example_dirs | examples |
| has_mcp_signal | nein |
| api_schema_files | — |
Eckdaten
811GitHub-Sterne
20Mitwirkende
0Commits, letzte 12 Monate
19Tage seit letztem Push
18Releases
1Bus-Faktor
13offene Issues
PyPIPaket-Ökosysteme
Warnungen zur Datenerhebung
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- Could not fetch pypi package 'clingo-cffi-system' from its registry
Weitere Details
Stern- und Fork-Verlauf 0 ★ / 98 ⇿
0Sterne
98Forks
18Releases
Wann jeder Stern und Fork hinzugefügt wurde, von GitHub erfasst und nach Tagen gruppiert. Das kumulierte Wachstum steht direkt über den täglichen Zugängen, aus denen es besteht, sodass beide gegeneinander lesbar sind: stetiger organischer Zuwachs sieht ganz anders aus als ein abrupter, kurzlebiger Ausschlag. Wo dieser Unterschied messbar ist, wird er als Wachstumsauthentizität ausgewiesen.
Major 1Minor 8Patch 9
Jeder Punkt umfasst 9 Tage.
OpenSSF Scorecard 4.8 / 10
4.8Gesamtwert
Unabhängige, werkzeugneutrale Sicherheitsbewertung durch das quelloffene OpenSSF Scorecard. Jede Prüfung honoriert eine Sicherheits-Praxis, nicht das Werkzeug eines bestimmten Anbieters. Prüfungen, die Scorecard nicht ermitteln konnte, sind mit k. A. markiert und vom Sicherheitswert ausgeschlossen (nie als null gezählt).
| 10 | Binary-Artifacts | no binaries found in the repo |
| k. A. | 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 |
| k. A. | Signed-Releases | no releases found |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
Alle Abhängigkeiten 6
Vollständig aufgelöster Abhängigkeitssatz aus dem GitHub-Abhängigkeitsgraphen: 0 direkte und 6 indirekte (transitive) Pakete. Die transitive Hülle ist vollständig, wenn das Repository eine Lockfile eincheckt.
| Registry | Paket | Version | Beziehung |
|---|---|---|---|
| PyPI | cffi | — | indirekt |
| RubyGems | jekyll | — | indirekt |
| RubyGems | jekyll-feed | — | indirekt |
| RubyGems | listen | — | indirekt |
| RubyGems | minima | — | indirekt |
| RubyGems | tzinfo-data | — | indirekt |
Abhängigkeits-Advisories 0
Die Installation von pypi:clingo@5.8.0 zieht 2 Pakete nach sich, direkt und transitiv: 0 tragen bekannte Advisories, davon 0 direkte Abhängigkeiten.
Keine bekannten Advisories betreffen die bewerteten Abhängigkeiten.
Ein Advisory bedeutet, dass die im Abhängigkeitsgraphen erfasste Version in den betroffenen Bereich eines Advisories fällt. Erreichbarkeit wird nicht analysiert, und der Graph enthält Entwicklungs- und Test-Pins — ein Fund kann das Werkzeug betreffen und nicht die ausgelieferte Software.
JSON-Rohbericht maschinenlesbar
{
"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"
}Bewertungen sind Signale, keine Garantien. Sie spiegeln öffentlich sichtbare Praxis auf GitHub wider — kein Code-Audit und keine Sicherheitsgarantie.
Fehlende Daten werden ausgeschlossen und die Gewichte neu normiert, nie als null bewertet. Die Methodik ist versioniert und offen: Metriken v1.13.0, Schema v0.27.0 — vollständige Methodik · Metriken-Wiki.
Wie ein einzelnes Ergebnis im Gesamtregister steht: aggregierte Statistiken — PyPI.