公开记录中等
软件健康报告模式 0.27.0 · 指标 1.13.0 · 2026-07-28 14:38 UTC
potassco / clingo
🦉 A grounder and solver for logic programs.
potassco/clingo 的健康指数为 100 分中的 65 分，处于「中等」区间。 其得分最高的类别是Engineering Quality（84/100），最低的是Vitality（41/100）。 最近一次更新在 19 天前。 近期的大部分工作由 1 位贡献者完成。
65
总分 / 100软件健康指数
指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 49（有风险）的上限。AI 就绪度不计入总体分。
65
优秀85-100堪称典范；基本满足所有检验标准
良好70-84健康；仅有轻微不足
中等50-69可接受，但存在明显不足；建议进行审查
存在风险30-49存在重大薄弱环节；采用时应保持审慎
危急1-29问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
评分画像
每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。
所有权
软件包生态系统
| 注册表 | 软件包 | 版本 | 月下载量 | 版本数 | 最近发布 |
|---|---|---|---|---|---|
| PyPI | clingo | 5.8.0 | - | 9 | 104 天前 |
按类别列示的指标
活力
项目是否仍有生命——是否仍在编写代码，是否仍在发布版本？
41
开发活跃度
34存在风险
评分方式
| 28.8/36 | 推送新近度 — 最近一次推送于 19 天前 |
| 0/36 | 提交节奏 — 52 周中有 0 周有提交 |
| 0/18 | 提交量 — 最近一年 0 次提交 |
| 5/10 | OpenSSF Scorecard：Maintained — 0 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 5 |
所用输入
| commits_last_year | 0 |
| human_commit_share | 1 |
| days_since_last_push | 19 |
| active_weeks_last_year | 0 |
发布纪律
52中等
评分方式
| 27/27 | 有发布版本 — 已发布 18 个发布版本 |
| 7.2/36 | 发布时效 — 最近一次发布版本于 481 天前 |
| 12.6/27 | 发布节奏 — 约每 175.4 天发布一次 |
| 0/10 | OpenSSF Scorecard：Signed-Releases — 无数据 |
所用输入
| releases_count | 18 |
| latest_release_tag | v5.8.0 |
| releases_from_tags | 否 |
| days_since_latest_release | 481 |
| mean_days_between_releases | 175.4 |
已排除计分（无数据或不适用）：OpenSSF Scorecard：Signed-Releases。 其余权重已重新归一化。
社区与采用
项目是否拥有用户、下载量与关注度，并具备欢迎贡献者参与的配置？
74
流行度与采用
72良好
评分方式
| 47.2/60 | 星标 — 811 个星标 |
| 16.6/25 | 复刻 — 98 个复刻 |
| 8.7/15 | 关注者 — 37 位关注者 |
所用输入
| forks | 98 |
| stars | 811 |
| watchers | 37 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
社区健康
77良好
评分方式
| 22.5/22.5 | README |
| 22.5/22.5 | 许可证 — 可识别的许可证（MIT） |
| 18/18 | CONTRIBUTING 指南 |
| 0/13.5 | 行为准则 |
| 0/7.2 | 议题模板 |
| 6.3/6.3 | PR 模板 |
所用输入
| has_readme | 是 |
| has_license | 是 |
| has_contributing | 是 |
| has_issue_template | 否 |
| has_code_of_conduct | 否 |
| has_pull_request_template | 是 |
可持续性与治理
项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？
69
维护者韧性（巴士系数）
34存在风险
评分方式
| 9/54 | 巴士系数 — 1 位贡献者贡献了半数提交 |
| 2/22.5 | 提交分布 — 头号贡献者编写了 91% 的提交 |
| 13.5/13.5 | 贡献者广度 — 20 位贡献者 |
| 10/10 | OpenSSF Scorecard：Contributors — project has 4 contributing companies or organizations |
所用输入
| bus_factor | 1 |
| contributors_sampled | 20 |
| top_contributor_share | 0.913 |
议题与 PR 响应能力
86优秀
评分方式
| 45.3/46.8 | 议题解决 — 97% 的议题已关闭 |
| 31.6/38.3 | PR 接受 — 已裁定的 PR 中 176/213 已合并 |
| 9/15 | OpenSSF Scorecard：Code-Review — Found 6/9 approved changesets -- score normalized to 6 |
所用输入
| merged_prs | 176 |
| open_issues | 13 |
| closed_issues | 398 |
| issue_closed_ratio | 0.968 |
| closed_unmerged_prs | 37 |
所有权与托管责任
70良好
评分方式
| 30/30 | 所有权背书 — 组织持有 |
| 0/20 | 已验证域名 |
| 15.5/25 | 所有者影响力 — potassco 有 141 位关注者 |
| 25/25 | 既往记录 — 99 个公开仓库，账户约 10 年 |
所用输入
| followers | 141 |
| owner_type | Organization |
| is_verified | — |
| owner_login | potassco |
| public_repos | 99 |
| account_age_days | 3,731 |
软件包维护
100优秀
评分方式
| 25/25 | 已发布且可解析 — pypi 上有 1 个软件包 |
| 35/35 | 发布时效 — 最近一次发布于 104 天前 |
| 20/20 | 版本历史 — 9 个已发布版本 |
| 20/20 | 未被弃用 — 活跃，未被弃用或撤回 |
所用输入
| packages | clingo |
| ecosystems | pypi |
| any_deprecated | 否 |
| min_days_since_publish | 104 |
工程质量
基础的工程与文档实践是否到位？
84
工程实践
74良好
评分方式
| 24/24 | CI 工作流 — 4 个工作流 |
| 24/24 | 存在测试 |
| 16/16 | Linter 配置 — .pylintrc |
| 9.6/9.6 | Pre-commit 钩子 |
| 0/6.4 | .editorconfig |
| 0/20 | OpenSSF Scorecard：CI-Tests — 0 out of 9 merged PRs checked by a CI test -- score normalized to 0 |
所用输入
| has_ci | 是 |
| has_tests | 是 |
| has_editorconfig | 否 |
| has_linter_config | 是 |
| has_precommit_config | 是 |
文档
100优秀
评分方式
| 30/30 | README |
| 25/25 | 文档目录 |
| 15/15 | 文档 / 主页站点 — https://potassco.org/clingo |
| 10/10 | 仓库描述 |
| 10/10 | 主题标签 — 3 个主题标签 |
| 10/10 | Wiki |
所用输入
| topics | answer-set-programming, declarative-programming, logic-programming |
| has_wiki | 是 |
| homepage | https://potassco.org/clingo |
| has_readme | 是 |
| has_docs_dir | 是 |
| has_description | 是 |
安全
可见的安全与供应链实践是否稳固，且不存在未解决的高风险司法辖区暴露？
58
安全态势
48存在风险
评分方式
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — 无数据 |
| 0/2.5 | CI-Tests — 0 out of 9 merged PRs checked by a CI test -- score normalized to 0 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 4.5/7.5 | Code-Review — Found 6/9 approved changesets -- score normalized to 6 |
| 2.5/2.5 | Contributors — project has 4 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | 许可证 — license file detected |
| 3.8/7.5 | Maintained — 0 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 5 |
| 5/5 | Packaging — packaging workflow detected |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — 无数据 |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
所用输入
| source | openssf_scorecard |
| checks_evaluated | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 4.8 |
已排除计分（无数据或不适用）：branch_protection, signed_releases。 其余权重已重新归一化。
依赖安全公告
100优秀
评分方式
| 35/35 | 直接依赖不含已知公告 — 没有直接依赖携带已知公告 |
| 25/25 | 间接依赖不含已知公告 — 没有间接依赖携带已知公告 |
| 0/40 | 没有长期未处理的公告 — 没有公告带有发布日期 |
所用输入
| source | osv |
| advisories | 0 |
| affected_packages | 0 |
| assessed_packages | 2 |
| unassessed_packages | 0 |
| affected_by_severity | none |
| direct_affected_packages | 0 |
已排除计分（无数据或不适用）：没有长期未处理的公告。 其余权重已重新归一化。 比对的是 pypi:clingo@5.8.0 的运行时依赖闭包——安装已发布的软件包时真正被拉取进来的内容——共 2 个软件包。 未对可达性进行分析。
AI 就绪度
该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件？这是一枚独立的实验性徽章——权重为 0.0，因此单独呈现，不影响总体健康评分。
50
AI 代理上下文与指引
16危急
评分方式
| 0/45 | 代理指令 — 没有 CLAUDE.md / AGENTS.md / 编辑器规则 |
| 0/15 | 机器可读文档（llms.txt） |
| 15.5/40 | 可读的提交历史 — 100 次人类提交中有 29 次说明了意图（结构化标题或解释性正文） |
所用输入
| has_llms_txt | 否 |
| legible_history_share | 0.29 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
评分方式
| 18/18 | 一条命令的引导启动 — Makefile, scratch/haskell/Makefile, scratch/lua/Makefile |
| 22/22 | 自动化测试 |
| 11/11 | Lint / 格式化配置 — .pylintrc |
| 11/11 | 静态类型检查 — libpyclingo/clingo/py.typed |
| 0/10 | 可复现环境 |
| 0/10 | 已体现的代理实践 — 最近 100 次提交中没有代理编写的提交 |
| 0/8 | 自动化维护 — 未观察到自动依赖更新 |
| 0/10 | OpenSSF Scorecard：Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
所用输入
| has_nix | 否 |
| has_tests | 是 |
| lockfiles | — |
| has_dockerfile | 否 |
| typed_language | 是 |
| bootstrap_files | Makefile, scratch/haskell/Makefile, scratch/lua/Makefile |
| has_devcontainer | 否 |
| has_linter_config | 是 |
| typecheck_configs | libpyclingo/clingo/py.typed |
| agent_commit_share | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
面向模型的代码可读性
96优秀
评分方式
| 45/45 | 可类型检查的代码 — C++（静态类型） |
| 51/55 | 可控的文件大小 — 采样的 165 个源文件中有 12 个超过 60KB |
所用输入
| primary_language | C++ |
| largest_source_bytes | 759,949 |
| source_files_sampled | 165 |
| oversized_source_files | 12 |
机器可读接口
40存在风险
评分方式
| 0/40 | API 模式（OpenAPI/GraphQL/proto） |
| 0/20 | MCP 服务器 |
| 40/40 | 可运行示例 — examples |
所用输入
| example_dirs | examples |
| has_mcp_signal | 否 |
| api_schema_files | — |
关键数据
811GitHub 星标
20贡献者
0最近 12 个月提交数
19距最近推送天数
18发布版本数
1巴士系数（bus factor）
13开放议题
PyPI软件包生态系统数
数据采集警告
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- Could not fetch pypi package 'clingo-cffi-system' from its registry
更多细节
Star 与 Fork 历史 0 ★ / 98 ⇿
0Star
98Fork
18发布
每颗 star 和每个 fork 的添加时间，来自 GitHub 并按天汇总。累计增长位于其构成来源——每日新增——的正上方，二者可相互对照：稳定的自然增长与短暂的突增形态截然不同。当这一差别可被衡量时，它会作为增长真实性予以报告。
主版本 1次版本 8修订 9
每个点涵盖 9 天。
OpenSSF Scorecard 4.8 / 10
4.8综合
来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身，而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用，并从安全评分中剔除（绝不按零分计）。
| 10 | Binary-Artifacts | no binaries found in the repo |
| 不适用 | Branch-Protection | internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md |
| 0 | CI-Tests | 0 out of 9 merged PRs checked by a CI test -- score normalized to 0 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 6 | Code-Review | Found 6/9 approved changesets -- score normalized to 6 |
| 10 | Contributors | project has 4 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 0 | Dependency-Update-Tool | no update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 5 | Maintained | 0 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 5 |
| 10 | Packaging | packaging workflow detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 0 | Security-Policy | security policy file not detected |
| 不适用 | Signed-Releases | no releases found |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
全部依赖 6
来自 GitHub 依赖图的完整解析依赖集合：0 个直接依赖与 6 个间接（传递）软件包。仓库提交锁文件时，传递闭包才是完整的。
| 注册表 | 软件包 | 版本 | 关系 |
|---|---|---|---|
| PyPI | cffi | — | 间接 |
| RubyGems | jekyll | — | 间接 |
| RubyGems | jekyll-feed | — | 间接 |
| RubyGems | listen | — | 间接 |
| RubyGems | minima | — | 间接 |
| RubyGems | tzinfo-data | — | 间接 |
依赖安全公告 0
安装 pypi:clingo@5.8.0 会引入 2 个包（直接与传递）：其中 0 个存在已知公告，0 个为直接依赖。
没有已知公告影响已评估的依赖。
公告表示依赖图中记录的版本落入某条公告的受影响范围。可达性未经分析，且依赖图包含开发与测试的版本固定——某项发现可能只涉及工具链而非交付的软件。
原始 JSON 报告 机器可读
{
"data": {
"repo": {
"topics": [
"answer-set-programming",
"declarative-programming",
"logic-programming"
],
"is_fork": false,
"size_kb": 24539,
"has_wiki": true,
"homepage": "https://potassco.org/clingo",
"languages": {
"C": 1705027,
"C++": 3209936,
"SWIG": 821,
"Yacc": 48477,
"CMake": 51979,
"Shell": 21442,
"Python": 423365,
"Haskell": 1685,
"Makefile": 4601,
"Batchfile": 145,
"Answer Set Programming": 433887
},
"pushed_at": "2026-07-08T18:53:58Z",
"created_at": "2016-05-10T12:35:00Z",
"owner_type": "Organization",
"updated_at": "2026-07-28T02:35:47Z",
"description": "🦉 A grounder and solver for logic programs.",
"is_archived": false,
"is_disabled": false,
"license_spdx": "MIT",
"default_branch": "master",
"license_spdx_raw": "MIT",
"primary_language": "C++",
"significant_languages": [
"C++",
"C"
]
},
"owner": {
"blog": "https://potassco.org/",
"name": "Potassco",
"type": "Organization",
"login": "potassco",
"company": null,
"location": "Potsdam, Germany",
"followers": 141,
"avatar_url": "https://avatars.githubusercontent.com/u/19286215?v=4",
"created_at": "2016-05-10T12:34:30Z",
"is_verified": null,
"public_repos": 99,
"account_age_days": 3731
},
"license": {
"state": "standard",
"spdx_id": "MIT",
"raw_spdx": "MIT",
"file_present": true,
"scorecard_found": true,
"profile_has_license": true
},
"activity": {
"releases": [
{
"tag": "v5.8.0",
"kind": "minor",
"published_at": "2025-04-03T11:45:00Z"
},
{
"tag": "v5.7.1",
"kind": "patch",
"published_at": "2024-02-16T11:14:13Z"
},
{
"tag": "v5.7.0",
"kind": "minor",
"published_at": "2024-02-15T20:20:58Z"
},
{
"tag": "v5.6.2",
"kind": "patch",
"published_at": "2022-11-07T09:51:45Z"
},
{
"tag": "v5.6.1",
"kind": "patch",
"published_at": "2022-09-16T17:39:28Z"
},
{
"tag": "v5.6.0",
"kind": "minor",
"published_at": "2022-09-11T15:20:26Z"
},
{
"tag": "v5.5.2",
"kind": "patch",
"published_at": "2022-05-04T13:20:32Z"
},
{
"tag": "v5.5.1",
"kind": "patch",
"published_at": "2021-11-16T10:15:53Z"
},
{
"tag": "v5.5.0",
"kind": "minor",
"published_at": "2021-04-20T17:28:29Z"
},
{
"tag": "v5.4.1",
"kind": "patch",
"published_at": "2020-12-06T17:17:28Z"
},
{
"tag": "v5.4.0",
"kind": "minor",
"published_at": "2019-08-25T21:35:37Z"
},
{
"tag": "v5.3.0",
"kind": "minor",
"published_at": "2018-06-27T14:07:31Z"
},
{
"tag": "v5.2.3",
"kind": "patch",
"published_at": "2018-06-27T14:00:14Z"
},
{
"tag": "v5.2.2",
"kind": "patch",
"published_at": "2017-11-06T17:45:03Z"
},
{
"tag": "v5.2.1",
"kind": "patch",
"published_at": "2017-08-04T12:12:41Z"
},
{
"tag": "v5.2.0",
"kind": "minor",
"published_at": "2017-05-03T16:18:11Z"
},
{
"tag": "v5.1.0",
"kind": "minor",
"published_at": "2016-10-14T11:52:25Z"
},
{
"tag": "v5.0.0",
"kind": "major",
"published_at": "2016-09-30T12:31:50Z"
}
],
"recent_commits": [
{
"oid": "920d06bcda7dd420814ce50953feff260a60fd8b",
"body": "merge wip into master for clingo 5.8.0",
"is_bot": false,
"headline": "Merge pull request #542 from potassco/wip",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2025-04-03T11:44:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6d1efb67fc7ceca9bae3ef607767144b2f779b90",
"body": null,
"is_bot": false,
"headline": "update version",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2025-04-03T10:17:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7fbc0af713f469d248e2caa3a9d9dcebc40421a1",
"body": null,
"is_bot": false,
"headline": "update changes and bump version to 5.8.0",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2025-04-02T22:34:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "de34c09d90fc9eeb8dce8cc4fdbd780dc8a786de",
"body": "- see potassco/clingo#541",
"is_bot": false,
"headline": "bump cmake minimum version to 3.10.",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2025-04-02T15:37:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e9da0ee2a45718b6f0b600be882940d91e29ed9f",
"body": null,
"is_bot": false,
"headline": "bump cmake requirement",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2025-04-02T14:15:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9768d586c60bc58649b53c01c7a5e2d8b936e6b3",
"body": null,
"is_bot": false,
"headline": "refine envrc",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2025-03-03T19:46:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4ca41b6a483998e4342efc50905cd64722baca78",
"body": null,
"is_bot": false,
"headline": "no need to make Application.main abstract",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2025-02-25T21:55:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2302f7fa057f8ae509fa2d45e5deed4fb4d54c7e",
"body": null,
"is_bot": false,
"headline": "adjust web options",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2025-02-25T19:53:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6bd7584dadc63a01f24e76ffa542c9cf5f4f7d9e",
"body": "add basic formatters",
"is_bot": false,
"headline": "Merge pull request #531 from potassco/format",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-12-11T15:20:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4a12774621711e69d0b96ad210fcf21b4a70aeb0",
"body": null,
"is_bot": false,
"headline": "reformat code base",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-12-11T15:06:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e61840392c2adb33aeea36c0b1a81107b7b4734d",
"body": "- the formatters have not been applied yet\n- clang-format will produce some mess up due to folding comments",
"is_bot": false,
"headline": "add a pre-commit config with basic formatters",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-12-11T14:53:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e3b4e9a87c42dfec332e024353d8f4507d77ebf1",
"body": "* add function to register predefined backends\r\n* add support to load multiple slices of aspif",
"is_bot": false,
"headline": "Improve support for writing checkpoints in aspif format (#530)",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-12-11T14:47:42Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "34e9f078aff5b517cee2805f481c15ddc08fe0b0",
"body": "Update clasp.",
"is_bot": false,
"headline": "Merge pull request #529 from potassco/fix-propagator-issue",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-12-04T09:36:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "baf643ab00478e7284d388b63986340c2081de22",
"body": "* Fix issue in clingo propagator when adding asserting clauses.",
"is_bot": false,
"headline": "Update clasp.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-12-04T08:44:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9a672447507f08274232808d6f863950f2399091",
"body": "Add API for removing minimize constraints and updating projection atoms",
"is_bot": false,
"headline": "Merge pull request #527 from potassco/issue-525",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-12-02T13:56:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a254167db9dc6036ca4945422cbd41a4736332a7",
"body": null,
"is_bot": false,
"headline": "add function to remove projection atoms",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-12-02T13:38:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1ee8c90cd24be4c260bb805f7d4064845c4e31da",
"body": "* Add clingo_control_update_project() for appending to or replacing\n the set of atoms to project on.\n\n* Add add_project() and replace_project() to python control API.",
"is_bot": false,
"headline": "Add API for changing the set of atoms to project on.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-11-26T09:14:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9efccdeab775e014c591dffc201a973631de8854",
"body": null,
"is_bot": false,
"headline": "Add API for removing minimize constraints.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-11-26T09:10:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a62ea45ac42ef89010bb5ac0da0aa164815fdd7d",
"body": null,
"is_bot": false,
"headline": "Fix some typos.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-11-26T09:09:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e2c6b9b4df02530144fc93d8d70e39690ffe5912",
"body": null,
"is_bot": false,
"headline": "Update clasp.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-11-26T09:09:09Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8b78be9778bc90b27db3b9eee62ea0218bd6efcb",
"body": "Simplify ClaspAPIBackend::external().",
"is_bot": false,
"headline": "Merge pull request #526 from potassco/simp-ext",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-11-22T09:52:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cceb3ed523168a89ef220868db57a98124a15073",
"body": "Use LogicProgram::addExternal() to add/update externals, which is\ndefined in terms of Potassco::Value_t.",
"is_bot": false,
"headline": "Simplify ClaspAPIBackend::external().",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-11-22T08:29:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e20f16cf5a9c88a8e737125fff4f6eb17608f540",
"body": "Add support for getting last computed model.",
"is_bot": false,
"headline": "Merge pull request #523 from potassco/last-model",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-10-25T10:39:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "68e9664526197e753b78ac971f36bafc98d94472",
"body": "* Add clingo_solve_handle_last() for querying the last computed model\n after search has finished and make this function available to\n python code via Control.solve.SolveHandle.\n\n* Add new optional `on_last` callback to callback based python solve\n API for getting the last computed model.\n NOTE: The callback is only invoked for the solve overloads that\n return a SolveResult instead of a SolveHandle.",
"is_bot": false,
"headline": "Add support for getting last computed model.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-10-23T14:25:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8c70fe3596f3872441f1b88d893e2bf365234159",
"body": null,
"is_bot": false,
"headline": "Fix some typos and drop some dead test code.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-10-23T14:12:52Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "88a200cdd7575481ffdd92677f1ff78b6f38694e",
"body": null,
"is_bot": false,
"headline": "Update clasp.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-10-23T11:17:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7777b0fd7e4ff95dc6dc93d7a0c878ae0e589b87",
"body": null,
"is_bot": false,
"headline": "update clasp",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-10-01T09:57:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d6237a4565eb5198eb2001c7b8afa8112af4f8fe",
"body": null,
"is_bot": false,
"headline": "Fix cmake command line examples (#521)",
"author_name": "Marc Butler",
"author_login": "marcbutler",
"committed_at": "2024-10-01T07:21:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9ba08f9a77ed885e1bbc01086538619408539d3b",
"body": null,
"is_bot": false,
"headline": "undo changes to trigger.sh",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-09-07T07:17:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "332b52b6ba42978f5a219ab83216c1a0e45498e9",
"body": "For discussion: improve `isConsequences`",
"is_bot": false,
"headline": "Merge pull request #519 from potassco/consequences",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-09-07T07:14:37Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5d5dbf4bd368c4a0844ab18e17d00206edc18d2f",
"body": "* Only return True/Unknown for atoms that are relevant to the\n active \"projection mode\".",
"is_bot": false,
"headline": "Restrict ClingoModel::isConsequence() to relevant atoms.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-08-30T15:57:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "87201e15029181ad900f248b7525214894faa4b4",
"body": null,
"is_bot": false,
"headline": "Update clasp.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-08-30T15:57:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b623bfaafb1475850b3b7194ed72f0e84df619ae",
"body": null,
"is_bot": false,
"headline": "bump docker qemu action version",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-08-23T09:42:34Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5f788a588359d9fa7942e90ceeb56e9e14358ff9",
"body": null,
"is_bot": false,
"headline": "refine cibuildwheel workflow",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-08-23T09:39:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1fe17290e4da9e19ecbd4617d697fd5f7f130698",
"body": null,
"is_bot": false,
"headline": "fix artifact generation",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-08-23T09:05:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2e31167048c371b91069d3673d1bf598218ebdae",
"body": null,
"is_bot": false,
"headline": "ensure empty dict in workflow",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-08-23T08:30:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7e769ec4ae5280005988952e1cc816d36f74a721",
"body": null,
"is_bot": false,
"headline": "update cibuildwheel",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-08-23T08:25:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ba29b20e7f13bc317ad876b8ca4c200b9200dcaf",
"body": null,
"is_bot": false,
"headline": "update clasp",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-08-19T12:10:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "501f8aae6f5408cfa593af36f8cfcf5164f5de83",
"body": null,
"is_bot": false,
"headline": "add example",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-08-08T10:29:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "36bea51d6034ad1f7a9ddf4af46323e0649481ac",
"body": null,
"is_bot": false,
"headline": "update checkout action",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-07-18T16:11:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d8c4dccfd3d2ed99af519d50b12c1dfcb56d9f9e",
"body": null,
"is_bot": false,
"headline": "fix cffi on macos",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-07-18T12:37:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "85222351a826f0679b97f8929b766125a68e804b",
"body": null,
"is_bot": false,
"headline": "update generated files",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-07-10T20:21:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cb61fb2669badb14a5cdf465c04f00ae5238b4d1",
"body": "minor fix in control.py documentation",
"is_bot": false,
"headline": "Merge pull request #510 from javier-romero/patch-1",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-07-05T19:03:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a19f7016fdc86cf88dbc6951261c9a0eb2247972",
"body": null,
"is_bot": false,
"headline": "minor fix in control.py documentation",
"author_name": "Javier Romero",
"author_login": "javier-romero",
"committed_at": "2024-07-05T13:33:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "df4f031cf887c9ab4040601fd8656d79688d3547",
"body": null,
"is_bot": false,
"headline": "Merge branch 'master' into wip",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-28T06:53:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "65c976c0396405823ec65dd9eadb305511ba51eb",
"body": null,
"is_bot": false,
"headline": "bump python version",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-28T06:48:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d226fa66c79448835dd6ab5780e9fa2ad2d7e3ac",
"body": null,
"is_bot": false,
"headline": "add option --enable-python to clingo entry point",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-27T12:59:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "423c22a35baad0d8d0676b1fc46da99bf5b5c852",
"body": null,
"is_bot": false,
"headline": "update test",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-25T16:27:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b00fc999afde3a1b371cac0fb726b35cb77c338e",
"body": null,
"is_bot": false,
"headline": "remove old unused terminals",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-25T11:43:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "28c1b3afb502d8eeb7cd19f05e8b35f2b723eaeb",
"body": null,
"is_bot": false,
"headline": "improve lua handling",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-23T09:33:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4ed5cd183d4966e714ac4905436a70b5f3b94edf",
"body": null,
"is_bot": false,
"headline": "update deploy",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-23T08:20:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9a402a51b27e7890be6304bb510b6c65c7f762d0",
"body": "commit 28ce9c270445979e6ac78ca12e4ee1e2fda6dc9e\nAuthor: Roland Kaminski <kaminski@cs.uni-potsdam.de>\nDate: Sun Jun 23 10:09:17 2024 +0200\n\n add noble\n\ncommit 670956fa8f58f35be3cfc03d641da3c3d27311e5\nAuthor: Roland Kaminski <kaminski@cs.uni-potsdam.de>\nDate: Sun Jun 23 10:07:29 2024 +0200\n\n update version\n\ncommit bafbb2ee5bfcf88c920c49ef9d4e18af13b1bc1c\nAuthor: Roland Kaminski <kaminski@cs.uni-potsdam.de>\nDate: Sun Jun 23 09:02:27 2024 +0200\n\n add noble",
"is_bot": false,
"headline": "add ppa for noble",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-23T08:16:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2d30e268ed5ee949303cc2a342ce9727c7f0698c",
"body": null,
"is_bot": false,
"headline": "fine tune last commit",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-20T18:07:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4dd04291a2a72bd173c3fd35b146b5fcfcbbc8de",
"body": null,
"is_bot": false,
"headline": "fix conda builds for windows and macos (#508)",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-20T17:53:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e918de81ef6484df78651a54b12873b101f9816e",
"body": null,
"is_bot": false,
"headline": "update actions",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-18T12:42:52Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e2131a685ad89afa1b9efddede88a95adf0eff5c",
"body": null,
"is_bot": false,
"headline": "update conda",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-18T12:39:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2a007445a65a7c6543ff5771eb5f2ec75d931676",
"body": null,
"is_bot": false,
"headline": "Update README.md",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-18T12:36:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "95f6cce3d9bdbd64448f03120ca58f1a920334cc",
"body": null,
"is_bot": false,
"headline": "Update README.md",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-18T12:32:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9dab4816ee4518177908fa1b454e9decfad1cdf3",
"body": null,
"is_bot": false,
"headline": "fix incmode for gringo",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-18T12:22:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "041e904114ef248d73016dd31f589beb6a14a666",
"body": "Change CommentType from OrderedEnum to IntEnum.",
"is_bot": false,
"headline": "Merge pull request #507 from namcsi/fix-comment-type-enum",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-06-13T16:07:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2ba442f6502185da07aff560ccd5633c471ae927",
"body": null,
"is_bot": false,
"headline": "Change CommentType from OrderedEnum to IntEnum.",
"author_name": "Amade Nemes",
"author_login": "namcsi",
"committed_at": "2024-06-13T14:53:42Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2ee5b14ce5f231c9cdf26fa29f7435f7ad51bde2",
"body": "Fix bug found by Ben",
"is_bot": false,
"headline": "Merge pull request #497 from javier-romero/patch-1",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-05-15T10:29:00Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fbc2dfcff30f140ede6409774ddecea5b4a0003f",
"body": null,
"is_bot": false,
"headline": "Fix bug found by Ben",
"author_name": "Javier Romero",
"author_login": "javier-romero",
"committed_at": "2024-05-15T08:18:25Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4113b4b60bfae8932bccdf71c51f7c630081e058",
"body": null,
"is_bot": false,
"headline": "slightly reduce cost of printing lot's of symbols",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-05-07T13:12:09Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "775dbcdb0850a9c626b26617376306a1600c5203",
"body": null,
"is_bot": false,
"headline": "add option to profile",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-05-07T11:51:54Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cce7f66a79aa397ef5f55603f5e80bb1fe2c17ce",
"body": null,
"is_bot": false,
"headline": "fix setattr of configuration",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-05-07T10:58:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3d2f2b6eea71f258b135f60e18df2e0b1ab09eab",
"body": "Simplify clasp text output customization.",
"is_bot": false,
"headline": "Merge pull request #490 from potassco/simplify-output",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-03-20T07:55:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7b69624e121c2065ccc14298476e0bd04d4b11ae",
"body": null,
"is_bot": false,
"headline": "Simplify clasp text output customization.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-03-20T07:37:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d84c400a642cb5b9833f0a08c1bfda63a9b2ffa6",
"body": "Reduce duplication in gringo options.",
"is_bot": false,
"headline": "Merge pull request #487 from potassco/reduce-option-duplication",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-23T15:41:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3ea87967c9fe9ea0989a790dc5f5cca9e710b7bc",
"body": "* GringoApp, ClingoApp, and ClingoLib all provide a set of gringo\n options. Extract GringoOptions struct and provide common function\n for registering options with a command-line option group.",
"is_bot": false,
"headline": "Reduce duplication in gringo options.",
"author_name": "Benjamin Kaufmann",
"author_login": "BenKaufmann",
"committed_at": "2024-02-23T14:17:41Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "036ea9daffb9a181f305620f7c6d7cd1173f1cfe",
"body": null,
"is_bot": false,
"headline": "update changes and bump version",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-21T08:03:52Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9cafb1cc63606a605a556869bc10664bad5a5216",
"body": null,
"is_bot": false,
"headline": "use cffi 1.16 to support python 3.12",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-20T20:53:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "849f2828b4b0a9eccb0fcb6e74cc2808151db20d",
"body": null,
"is_bot": false,
"headline": "update cibw",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-16T09:53:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "448141d00c3eea474a32fc28c6837e74c5008af7",
"body": null,
"is_bot": false,
"headline": "bump version",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-16T08:24:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "28f72100198ccb47924693794ba70f2527d8f608",
"body": "fix manifest to include wide-integer lib",
"is_bot": false,
"headline": "Merge pull request #484 from potassco/fix/manifest",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-16T08:20:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c83dbdef4d4826c0b0feda998c8ac2bae95a5e43",
"body": "fix comparison of theory elements",
"is_bot": false,
"headline": "Merge pull request #485 from potassco/fix/comparison",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-16T08:20:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1fb855fb9ceddbff968b6af188151a1ac39f8db5",
"body": null,
"is_bot": false,
"headline": "fix comparison of theory elements",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-16T07:58:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1c245540c09b008f4cc1388bc042957754f21bfa",
"body": null,
"is_bot": false,
"headline": "fix manifest to include wide-integer lib",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-16T07:54:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ee81bd545bf992ffec4a707daeca9630128e78d6",
"body": null,
"is_bot": false,
"headline": "update contributing link",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-15T16:49:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "02815c81d93b220287a133b62940aa44aac41b23",
"body": null,
"is_bot": false,
"headline": "bump python versions",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-15T16:20:37Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7748f428b7af6f74ec310b3386afca33245c8678",
"body": "Fix noexcept destructor in C++ API",
"is_bot": false,
"headline": "Merge pull request #481 from potassco/fix/noexcept-destructor",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-14T13:44:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0eba4166ea9f0ee2a0f82192af07df9f57f7f696",
"body": null,
"is_bot": false,
"headline": "correctly annotate destructors that free resources",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-13T08:41:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9583f5943db6f346bd992879e56349db447c95e5",
"body": null,
"is_bot": false,
"headline": "update clasp",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-07T16:36:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "60939c6870bdbc2d63cd72235f0d5215166c9aec",
"body": null,
"is_bot": false,
"headline": "update clasp",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-02-07T16:01:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ae4829509543c3cf17a75ab151f1aaf972dcebc8",
"body": null,
"is_bot": false,
"headline": "update clasp",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-01-26T12:52:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "94068eee779a3c35439be1333314271593996f79",
"body": null,
"is_bot": false,
"headline": "adjust example",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2024-01-06T09:35:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "24e9ebb40a47ed674b896176c89b83353b4f18a5",
"body": null,
"is_bot": false,
"headline": "fix sorting of terms",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-12-13T20:49:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8d479ba02311b51861129c209c498cec8ad8d960",
"body": "Contributing",
"is_bot": false,
"headline": "Merge pull request #465 from potassco/contributing",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-23T11:33:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e5341151ef773535407ae24c6bb3972367c05181",
"body": null,
"is_bot": false,
"headline": "update changes",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-23T11:33:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fe1bf7584304588448938f9641b4fe0dbea27762",
"body": "Feature/overflow",
"is_bot": false,
"headline": "Merge pull request #463 from potassco/feature/overflow",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-23T11:28:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "19feff0b05e4f576993f69517f95f624eab031fe",
"body": "Replace distutils with setuptools/sysconfig",
"is_bot": false,
"headline": "Merge pull request #464 from adamjstewart/distutils",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-02T19:08:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "05ec3b1987ec3f42fc25f530ee8cb22b00694d0a",
"body": null,
"is_bot": false,
"headline": "Replace distutils with setuptools/sysconfig",
"author_name": "Adam J. Stewart",
"author_login": "adamjstewart",
"committed_at": "2023-11-02T18:53:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "670900ab6c61c1838e08ab6469ed7f8e468b2669",
"body": null,
"is_bot": false,
"headline": "add PR template",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-02T17:41:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c32f1a4b44d423d8b447ac690f5b9502af45132b",
"body": null,
"is_bot": false,
"headline": "update",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-02T17:29:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a66a538c14029dd78bdea6085aad609c0ff4378c",
"body": null,
"is_bot": false,
"headline": "more refinements",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-02T17:10:43Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2eedc4c137d153d158c628e481a521582da83a87",
"body": null,
"is_bot": false,
"headline": "refine",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-02T17:08:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c73b086c99559c6b40b149b029c2a932ec25d6d6",
"body": null,
"is_bot": false,
"headline": "some more text",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-02T17:05:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2c7a4056f42c90d041051095073aa1cda90c95ca",
"body": null,
"is_bot": false,
"headline": "add file explainig how to contribute",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-11-02T16:48:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9f22ab3ae7dd489f52254c9656b075d860b03bc1",
"body": null,
"is_bot": false,
"headline": "use wider int types in IESolver to avoid overflows",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-10-18T11:50:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b70ed6de18e82588388cf85336cc0fe1900b8afa",
"body": "Note that this breaks backwards-compatibility of the Python API because the atom_id_or_zero parameter is optional now and moved to the end. More complicated overloading would be possible but this is most likely not a widely used interface to justify this.",
"is_bot": false,
"headline": "extend add_theory_atom method of backend (#461)",
"author_name": "Roland Kaminski",
"author_login": "rkaminsk",
"committed_at": "2023-10-17T13:09:56Z",
"body_truncated": false,
"is_coding_agent": false
}
],
"releases_count": 18,
"commits_last_year": 0,
"latest_release_at": "2025-04-03T11:45:00Z",
"latest_release_tag": "v5.8.0",
"releases_from_tags": false,
"days_since_last_push": 19,
"active_weeks_last_year": 0,
"days_since_latest_release": 481,
"mean_days_between_releases": 175.4
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": true,
"health_percentage": 62,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": true
},
"ecosystem": {
"packages": [
{
"name": "clingo",
"exists": true,
"license": "MIT",
"keywords": [],
"ecosystem": "pypi",
"matches_repo": true,
"registry_url": "https://pypi.org/project/clingo/",
"is_deprecated": false,
"latest_version": "5.8.0",
"repository_url": "https://github.com/potassco/clingo",
"versions_count": 9,
"total_downloads": null,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": null,
"first_published_at": "2021-04-20T16:48:39.683085Z",
"latest_published_at": "2026-04-14T15:31:05.294710Z",
"latest_version_yanked": null,
"days_since_latest_publish": 104
}
]
},
"popularity": {
"forks": 98,
"stars": 811,
"watchers": 37,
"fork_history": {
"days": [
{
"date": "2016-08-04",
"count": 1
},
{
"date": "2016-08-07",
"count": 1
},
{
"date": "2016-09-19",
"count": 1
},
{
"date": "2016-11-01",
"count": 1
},
{
"date": "2016-11-17",
"count": 1
},
{
"date": "2017-03-06",
"count": 1
},
{
"date": "2017-09-08",
"count": 1
},
{
"date": "2017-10-23",
"count": 1
},
{
"date": "2017-11-05",
"count": 1
},
{
"date": "2017-12-01",
"count": 1
},
{
"date": "2018-01-13",
"count": 1
},
{
"date": "2018-02-01",
"count": 1
},
{
"date": "2018-02-13",
"count": 1
},
{
"date": "2018-03-07",
"count": 1
},
{
"date": "2018-06-20",
"count": 1
},
{
"date": "2018-06-27",
"count": 1
},
{
"date": "2018-09-17",
"count": 1
},
{
"date": "2018-09-24",
"count": 1
},
{
"date": "2018-10-12",
"count": 1
},
{
"date": "2018-10-26",
"count": 1
},
{
"date": "2018-10-31",
"count": 1
},
{
"date": "2018-11-02",
"count": 1
},
{
"date": "2018-11-12",
"count": 1
},
{
"date": "2018-11-22",
"count": 1
},
{
"date": "2019-01-10",
"count": 1
},
{
"date": "2019-01-19",
"count": 1
},
{
"date": "2019-02-22",
"count": 1
},
{
"date": "2019-04-20",
"count": 1
},
{
"date": "2019-04-22",
"count": 1
},
{
"date": "2019-05-03",
"count": 1
},
{
"date": "2019-06-05",
"count": 1
},
{
"date": "2019-07-22",
"count": 1
},
{
"date": "2019-08-22",
"count": 1
},
{
"date": "2019-08-30",
"count": 1
},
{
"date": "2019-09-06",
"count": 1
},
{
"date": "2019-10-09",
"count": 1
},
{
"date": "2020-01-14",
"count": 1
},
{
"date": "2020-02-23",
"count": 1
},
{
"date": "2020-03-11",
"count": 1
},
{
"date": "2020-06-04",
"count": 1
},
{
"date": "2020-08-27",
"count": 1
},
{
"date": "2020-11-17",
"count": 1
},
{
"date": "2021-01-15",
"count": 1
},
{
"date": "2021-02-18",
"count": 1
},
{
"date": "2021-03-04",
"count": 1
},
{
"date": "2021-04-22",
"count": 1
},
{
"date": "2021-06-04",
"count": 1
},
{
"date": "2021-07-19",
"count": 1
},
{
"date": "2021-08-10",
"count": 1
},
{
"date": "2021-09-01",
"count": 1
},
{
"date": "2021-10-28",
"count": 1
},
{
"date": "2021-11-04",
"count": 1
},
{
"date": "2021-11-19",
"count": 1
},
{
"date": "2022-03-21",
"count": 1
},
{
"date": "2022-05-12",
"count": 1
},
{
"date": "2022-05-14",
"count": 1
},
{
"date": "2022-05-30",
"count": 1
},
{
"date": "2022-05-31",
"count": 1
},
{
"date": "2022-07-05",
"count": 1
},
{
"date": "2022-08-22",
"count": 1
},
{
"date": "2022-10-07",
"count": 1
},
{
"date": "2022-11-20",
"count": 1
},
{
"date": "2022-12-09",
"count": 1
},
{
"date": "2023-01-12",
"count": 1
},
{
"date": "2023-02-23",
"count": 1
},
{
"date": "2023-04-11",
"count": 1
},
{
"date": "2023-05-11",
"count": 1
},
{
"date": "2023-07-07",
"count": 1
},
{
"date": "2023-08-12",
"count": 1
},
{
"date": "2023-11-02",
"count": 1
},
{
"date": "2023-11-07",
"count": 1
},
{
"date": "2024-03-20",
"count": 1
},
{
"date": "2024-05-05",
"count": 1
},
{
"date": "2024-05-27",
"count": 1
},
{
"date": "2024-06-13",
"count": 1
},
{
"date": "2024-07-05",
"count": 1
},
{
"date": "2024-09-15",
"count": 1
},
{
"date": "2024-10-18",
"count": 1
},
{
"date": "2024-12-10",
"count": 1
},
{
"date": "2024-12-30",
"count": 1
},
{
"date": "2025-01-23",
"count": 1
},
{
"date": "2025-02-22",
"count": 1
},
{
"date": "2025-02-28",
"count": 1
},
{
"date": "2025-03-14",
"count": 1
},
{
"date": "2025-04-12",
"count": 1
},
{
"date": "2025-06-15",
"count": 1
},
{
"date": "2025-09-15",
"count": 1
},
{
"date": "2025-09-19",
"count": 1
},
{
"date": "2025-10-13",
"count": 1
},
{
"date": "2026-01-29",
"count": 1
},
{
"date": "2026-02-09",
"count": 1
},
{
"date": "2026-03-07",
"count": 1
},
{
"date": "2026-03-13",
"count": 1
},
{
"date": "2026-03-20",
"count": 1
},
{
"date": "2026-03-24",
"count": 1
},
{
"date": "2026-05-09",
"count": 1
},
{
"date": "2026-05-30",
"count": 1
},
{
"date": "2026-06-06",
"count": 1
}
],
"complete": true,
"collected": 98,
"total_forks": 98
},
"star_history": null,
"open_issues_and_prs": 17
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [
"examples"
],
"has_llms_txt": false,
"has_dockerfile": false,
"has_mcp_signal": false,
"bootstrap_files": [
"Makefile",
"scratch/haskell/Makefile",
"scratch/lua/Makefile"
],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [
"libpyclingo/clingo/py.typed"
],
"toolchain_manifests": [],
"largest_source_bytes": 759949,
"source_files_sampled": 165,
"oversized_source_files": 12,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"dependencies": {
"manifests": [
"libpyclingo/pyproject.toml",
"libpyclingo/setup.py",
"pyproject.toml",
"scratch/setup.py",
"setup.py"
],
"advisories": {
"error": null,
"scope": "published_package",
"source": "osv",
"findings": [],
"collected": true,
"malicious": [],
"truncated": false,
"by_severity": {},
"advisory_count": 0,
"affected_count": 0,
"assessed_count": 2,
"malicious_count": 0,
"assessed_package": "pypi:clingo@5.8.0",
"unassessed_count": 0,
"direct_affected_count": 0
},
"ecosystems": [
"pypi"
],
"dependencies": [],
"all_dependencies": {
"error": null,
"source": "github-sbom",
"packages": [
{
"name": "cffi",
"direct": false,
"version": null,
"ecosystem": "pypi"
},
{
"name": "jekyll",
"direct": false,
"version": null,
"ecosystem": "rubygems"
},
{
"name": "jekyll-feed",
"direct": false,
"version": null,
"ecosystem": "rubygems"
},
{
"name": "listen",
"direct": false,
"version": null,
"ecosystem": "rubygems"
},
{
"name": "minima",
"direct": false,
"version": null,
"ecosystem": "rubygems"
},
{
"name": "tzinfo-data",
"direct": false,
"version": null,
"ecosystem": "rubygems"
}
],
"collected": true,
"truncated": false,
"total_count": 6,
"direct_count": 0,
"indirect_count": 6
}
},
"maintainership": {
"issues": {
"open_prs": 4,
"merged_prs": 176,
"open_issues": 13,
"closed_ratio": 0.968,
"closed_issues": 398,
"closed_unmerged_prs": 37
},
"bus_factor": 1,
"bot_contributors": 0,
"top_contributors": [
{
"type": "User",
"login": "rkaminsk",
"commits": 1830,
"avatar_url": "https://avatars.githubusercontent.com/u/1175198?v=4"
},
{
"type": "User",
"login": "BenKaufmann",
"commits": 123,
"avatar_url": "https://avatars.githubusercontent.com/u/1936072?v=4"
},
{
"type": "User",
"login": "pluehne",
"commits": 18,
"avatar_url": "https://avatars.githubusercontent.com/u/3244280?v=4"
},
{
"type": "User",
"login": "MaxOstrowski",
"commits": 8,
"avatar_url": "https://avatars.githubusercontent.com/u/18141503?v=4"
},
{
"type": "User",
"login": "sthiele",
"commits": 4,
"avatar_url": "https://avatars.githubusercontent.com/u/1641315?v=4"
},
{
"type": "User",
"login": "javier-romero",
"commits": 4,
"avatar_url": "https://avatars.githubusercontent.com/u/20420979?v=4"
},
{
"type": "User",
"login": "domoritz",
"commits": 3,
"avatar_url": "https://avatars.githubusercontent.com/u/589034?v=4"
},
{
"type": "User",
"login": "haampie",
"commits": 2,
"avatar_url": "https://avatars.githubusercontent.com/u/194764?v=4"
},
{
"type": "User",
"login": "bartbog",
"commits": 1,
"avatar_url": "https://avatars.githubusercontent.com/u/1227597?v=4"
},
{
"type": "User",
"login": "trws",
"commits": 1,
"avatar_url": "https://avatars.githubusercontent.com/u/660149?v=4"
}
],
"contributors_sampled": 20,
"top_contributor_share": 0.913
},
"quality_signals": {
"has_ci": true,
"has_tests": true,
"ci_workflows": [
"cibuildwheel.yml",
"conda-dev.yml",
"ppa-dev.yml",
"test.yml"
],
"has_docs_dir": true,
"linter_configs": [
".pylintrc"
],
"has_editorconfig": false,
"has_linter_config": true,
"has_precommit_config": true
},
"security_signals": {
"lockfiles": [],
"scorecard": {
"checks": [
{
"name": "Binary-Artifacts",
"score": 10,
"reason": "no binaries found in the repo",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
},
{
"name": "Branch-Protection",
"score": null,
"reason": "internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": 0,
"reason": "0 out of 9 merged PRs checked by a CI test -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
},
{
"name": "CII-Best-Practices",
"score": 0,
"reason": "no effort to earn an OpenSSF best practices badge detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
},
{
"name": "Code-Review",
"score": 6,
"reason": "Found 6/9 approved changesets -- score normalized to 6",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 10,
"reason": "project has 4 contributing companies or organizations",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": 10,
"reason": "no dangerous workflow patterns detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
},
{
"name": "Dependency-Update-Tool",
"score": 0,
"reason": "no update tool detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
},
{
"name": "Fuzzing",
"score": 0,
"reason": "project is not fuzzed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
},
{
"name": "License",
"score": 10,
"reason": "license file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
},
{
"name": "Maintained",
"score": 5,
"reason": "0 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 5",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
},
{
"name": "Packaging",
"score": 10,
"reason": "packaging workflow detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
},
{
"name": "Pinned-Dependencies",
"score": 0,
"reason": "dependency not pinned by hash detected -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 0,
"reason": "SAST tool is not run on all commits -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
},
{
"name": "Security-Policy",
"score": 0,
"reason": "security policy file not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
},
{
"name": "Signed-Releases",
"score": null,
"reason": "no releases found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
},
{
"name": "Token-Permissions",
"score": 0,
"reason": "detected GitHub workflow tokens with excessive permissions",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 10,
"reason": "0 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "920d06bcda7dd420814ce50953feff260a60fd8b",
"ran_at": "2026-07-28T14:38:01Z",
"aggregate_score": 4.8,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": false,
"has_dependabot_config": false
},
"contribution_flow": {
"collected": true,
"ci_last_run_at": "2025-09-15T07:17:50Z",
"oldest_open_prs": [
{
"number": 617,
"created_at": "2026-03-24T12:57:41Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 619,
"created_at": "2026-03-26T13:43:40Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 620,
"created_at": "2026-03-26T21:23:32Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 621,
"created_at": "2026-03-30T15:17:48Z",
"last_comment_at": null,
"last_comment_author": null
}
],
"last_merged_pr_at": "2026-05-18T08:42:56Z",
"ci_last_conclusion": "SUCCESS",
"oldest_open_issues": [
{
"number": 121,
"created_at": "2018-08-13T07:28:08Z",
"last_comment_at": "2019-02-28T10:17:45Z",
"last_comment_author": "MaxOstrowski"
},
{
"number": 155,
"created_at": "2019-07-02T12:40:23Z",
"last_comment_at": "2019-07-11T08:42:07Z",
"last_comment_author": "rkaminsk"
},
{
"number": 164,
"created_at": "2019-08-14T10:32:48Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 315,
"created_at": "2021-06-04T18:10:53Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 467,
"created_at": "2023-11-14T15:12:46Z",
"last_comment_at": "2023-11-23T11:40:24Z",
"last_comment_author": "rkaminsk"
},
{
"number": 468,
"created_at": "2023-11-15T10:41:02Z",
"last_comment_at": "2023-11-23T11:45:14Z",
"last_comment_author": "rkaminsk"
},
{
"number": 473,
"created_at": "2023-12-11T21:37:56Z",
"last_comment_at": "2024-02-08T18:51:17Z",
"last_comment_author": "BenKaufmann"
},
{
"number": 583,
"created_at": "2025-11-13T08:20:32Z",
"last_comment_at": "2025-11-24T09:12:08Z",
"last_comment_author": "rkaminsk"
},
{
"number": 593,
"created_at": "2026-01-12T13:51:40Z",
"last_comment_at": "2026-02-11T17:59:19Z",
"last_comment_author": "rkaminsk"
},
{
"number": 613,
"created_at": "2026-03-22T21:08:15Z",
"last_comment_at": "2026-07-23T04:32:23Z",
"last_comment_author": "samutoljamo"
},
{
"number": 631,
"created_at": "2026-05-02T12:31:17Z",
"last_comment_at": "2026-05-04T13:15:59Z",
"last_comment_author": "rkaminsk"
},
{
"number": 636,
"created_at": "2026-06-05T17:55:32Z",
"last_comment_at": "2026-06-05T19:05:04Z",
"last_comment_author": "edmcman"
},
{
"number": 637,
"created_at": "2026-06-06T12:38:53Z",
"last_comment_at": "2026-06-08T09:17:33Z",
"last_comment_author": "rkaminsk"
}
]
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/potassco/clingo",
"host": "github.com",
"name": "clingo",
"owner": "potassco"
},
"metrics": {
"overall": {
"key": "overall",
"band": "moderate",
"name": "Overall health",
"note": null,
"notes": [],
"value": 65,
"inputs": {
"security": 58,
"vitality": 41,
"community": 74,
"governance": 69,
"engineering": 84
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "at_risk",
"name": "Vitality",
"value": 41,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "at_risk",
"name": "Development activity",
"note": null,
"notes": [],
"value": 34,
"inputs": {
"commits_last_year": 0,
"human_commit_share": 1,
"days_since_last_push": 19,
"active_weeks_last_year": 0
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 19 days ago",
"points": 28.8,
"status": "partial",
"details": [
{
"code": "push_recency",
"params": {
"days": 19
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "0/52 weeks with commits",
"points": 0,
"status": "missed",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 0
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "0 commits in the last year",
"points": 0,
"status": "missed",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 0
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "0 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 5",
"points": 5,
"status": "partial",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "moderate",
"name": "Release discipline",
"note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"openssf_scorecard_signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 52,
"inputs": {
"releases_count": 18,
"latest_release_tag": "v5.8.0",
"releases_from_tags": false,
"days_since_latest_release": 481,
"mean_days_between_releases": 175.4
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "18 releases published",
"points": 27,
"status": "met",
"details": [
{
"code": "releases_published",
"params": {
"count": 18
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 481 days ago",
"points": 7.2,
"status": "partial",
"details": [
{
"code": "release_recency",
"params": {
"days": 481
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~175.4 days",
"points": 12.6,
"status": "partial",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 175.4
}
}
],
"max_points": 27
},
{
"key": "openssf_scorecard_signed_releases",
"name": "OpenSSF Scorecard: Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
}
]
},
{
"key": "abandonment",
"band": "excellent",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"cap": null,
"state": "dormant",
"guards": [
"maintainer_replying",
"dependencies_clean"
],
"signals": [],
"red_flag": false,
"multiplier_pct": 100,
"declared_reason": null,
"unverified_reason": null,
"unanswered_open_prs": 0,
"unanswered_open_issues": 2,
"days_since_last_merged_pr": 71,
"days_since_last_human_commit": 481,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "no human commit for 481 days, with nothing left unanswered; held at dormant by a maintainer still replying, no affected dependency",
"points": 100,
"status": "met",
"details": [
{
"code": "abandonment_quiet",
"params": {
"days": 481
}
},
{
"code": "abandonment_guarded",
"params": {
"guards": "a maintainer still replying, no affected dependency"
}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "good",
"name": "Community & Adoption",
"value": 74,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "good",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 72,
"inputs": {
"forks": 98,
"stars": 811,
"watchers": 37,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "811 stars",
"points": 47.2,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 811
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "98 forks",
"points": 16.6,
"status": "partial",
"details": [
{
"code": "forks",
"params": {
"count": 98
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "37 watchers",
"points": 8.7,
"status": "partial",
"details": [
{
"code": "watchers",
"params": {
"count": 37
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "good",
"name": "Community health",
"note": null,
"notes": [],
"value": 77,
"inputs": {
"has_readme": true,
"has_license": true,
"has_contributing": true,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 22.5,
"status": "met",
"details": [],
"max_points": 22.5
},
{
"key": "license",
"name": "License",
"detail": "recognized license (MIT)",
"points": 22.5,
"status": "met",
"details": [
{
"code": "license_standard",
"params": {}
},
{
"code": "license_spdx",
"params": {
"spdx": "MIT"
}
}
],
"max_points": 22.5
},
{
"key": "contributing_guide",
"name": "CONTRIBUTING guide",
"detail": null,
"points": 18,
"status": "met",
"details": [],
"max_points": 18
},
{
"key": "code_of_conduct",
"name": "Code of conduct",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 13.5
},
{
"key": "issue_template",
"name": "Issue template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.2
},
{
"key": "pr_template",
"name": "PR template",
"detail": null,
"points": 6.3,
"status": "met",
"details": [],
"max_points": 6.3
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "moderate",
"name": "Sustainability & Governance",
"value": 69,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "at_risk",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 34,
"inputs": {
"bus_factor": 1,
"contributors_sampled": 20,
"top_contributor_share": 0.913
},
"components": [
{
"key": "bus_factor",
"name": "Bus factor",
"detail": "1 contributor(s) cover half of all commits",
"points": 9,
"status": "partial",
"details": [
{
"code": "bus_factor",
"params": {
"count": 1
}
}
],
"max_points": 54
},
{
"key": "commit_distribution",
"name": "Commit distribution",
"detail": "top contributor authored 91% of commits",
"points": 2,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 91
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "20 contributors",
"points": 13.5,
"status": "met",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 20
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 4 contributing companies or organizations",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "excellent",
"name": "Issue & PR responsiveness",
"note": null,
"notes": [],
"value": 86,
"inputs": {
"merged_prs": 176,
"open_issues": 13,
"closed_issues": 398,
"issue_closed_ratio": 0.968,
"closed_unmerged_prs": 37
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "97% of issues closed",
"points": 45.3,
"status": "partial",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 97
}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "176/213 decided PRs merged",
"points": 31.6,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 176,
"decided": 213
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 6/9 approved changesets -- score normalized to 6",
"points": 9,
"status": "partial",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "good",
"name": "Ownership & stewardship",
"note": null,
"notes": [],
"value": 70,
"inputs": {
"followers": 141,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "potassco",
"public_repos": 99,
"account_age_days": 3731
},
"components": [
{
"key": "ownership_backing",
"name": "Ownership backing",
"detail": "organization-owned",
"points": 30,
"status": "met",
"details": [
{
"code": "owner_organization",
"params": {}
}
],
"max_points": 30
},
{
"key": "verified_domain",
"name": "Verified domain",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "owner_reach",
"name": "Owner reach",
"detail": "141 followers of potassco",
"points": 15.5,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 141,
"login": "potassco"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "99 public repos, account ~10 yr old",
"points": 25,
"status": "met",
"details": [
{
"code": "public_repos",
"params": {
"count": 99
}
},
{
"code": "account_age_years",
"params": {
"years": 10
}
}
],
"max_points": 25
}
]
},
{
"key": "package_maintenance",
"band": "excellent",
"name": "Package maintenance",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"packages": [
"clingo"
],
"ecosystems": "pypi",
"any_deprecated": false,
"min_days_since_publish": 104
},
"components": [
{
"key": "published_resolvable",
"name": "Published & resolvable",
"detail": "1 package(s) on pypi",
"points": 25,
"status": "met",
"details": [
{
"code": "packages_published",
"params": {
"count": 1,
"ecosystems": "pypi"
}
}
],
"max_points": 25
},
{
"key": "publish_recency",
"name": "Publish recency",
"detail": "latest publish 104 days ago",
"points": 35,
"status": "met",
"details": [
{
"code": "publish_recency",
"params": {
"days": 104
}
}
],
"max_points": 35
},
{
"key": "version_history",
"name": "Version history",
"detail": "9 published versions",
"points": 20,
"status": "met",
"details": [
{
"code": "published_versions",
"params": {
"count": 9
}
}
],
"max_points": 20
},
{
"key": "not_deprecated",
"name": "Not deprecated",
"detail": "active, not deprecated or yanked",
"points": 20,
"status": "met",
"details": [
{
"code": "package_not_deprecated",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "good",
"name": "Engineering Quality",
"value": 84,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "good",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 74,
"inputs": {
"has_ci": true,
"has_tests": true,
"has_editorconfig": false,
"has_linter_config": true,
"has_precommit_config": true
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": "4 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 4
}
}
],
"max_points": 24
},
{
"key": "tests_present",
"name": "Tests present",
"detail": null,
"points": 24,
"status": "met",
"details": [],
"max_points": 24
},
{
"key": "linter_config",
"name": "Linter config",
"detail": ".pylintrc",
"points": 16,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": ".pylintrc"
}
}
],
"max_points": 16
},
{
"key": "pre_commit_hooks",
"name": "Pre-commit hooks",
"detail": null,
"points": 9.6,
"status": "met",
"details": [],
"max_points": 9.6
},
{
"key": "editorconfig",
"name": ".editorconfig",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.4
},
{
"key": "openssf_scorecard_ci_tests",
"name": "OpenSSF Scorecard: CI-Tests",
"detail": "0 out of 9 merged PRs checked by a CI test -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "excellent",
"name": "Documentation",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"topics": [
"answer-set-programming",
"declarative-programming",
"logic-programming"
],
"has_wiki": true,
"homepage": "https://potassco.org/clingo",
"has_readme": true,
"has_docs_dir": true,
"has_description": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 30,
"status": "met",
"details": [],
"max_points": 30
},
{
"key": "documentation_directory",
"name": "Documentation directory",
"detail": null,
"points": 25,
"status": "met",
"details": [],
"max_points": 25
},
{
"key": "documentation_homepage_site",
"name": "Documentation / homepage site",
"detail": "https://potassco.org/clingo",
"points": 15,
"status": "met",
"details": [],
"max_points": 15
},
{
"key": "repository_description",
"name": "Repository description",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "topics",
"name": "Topics",
"detail": "3 topics",
"points": 10,
"status": "met",
"details": [
{
"code": "topics_count",
"params": {
"count": 3
}
}
],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "moderate",
"name": "Security",
"value": 58,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "at_risk",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): Branch-Protection, Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"branch_protection",
"signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 48,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 16,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 2,
"scorecard_aggregate": 4.8
},
"components": [
{
"key": "binary_artifacts",
"name": "Binary-Artifacts",
"detail": "no binaries found in the repo",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "branch_protection",
"name": "Branch-Protection",
"detail": "internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "0 out of 9 merged PRs checked by a CI test -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "cii_best_practices",
"name": "CII-Best-Practices",
"detail": "no effort to earn an OpenSSF best practices badge detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "code_review",
"name": "Code-Review",
"detail": "Found 6/9 approved changesets -- score normalized to 6",
"points": 4.5,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 4 contributing companies or organizations",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no dangerous workflow patterns detected",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "dependency_update_tool",
"name": "Dependency-Update-Tool",
"detail": "no update tool detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "fuzzing",
"name": "Fuzzing",
"detail": "project is not fuzzed",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "license",
"name": "License",
"detail": "license file detected",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "maintained",
"name": "Maintained",
"detail": "0 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 5",
"points": 3.8,
"status": "partial",
"details": [],
"max_points": 7.5
},
{
"key": "packaging",
"name": "Packaging",
"detail": "packaging workflow detected",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "pinned_dependencies",
"name": "Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "SAST tool is not run on all commits -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file not detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "detected GitHub workflow tokens with excessive permissions",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "0 existing vulnerabilities detected",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
}
]
},
{
"key": "dependency_advisories",
"band": "excellent",
"name": "Dependency advisories",
"note": "Excluded from scoring (no data or not applicable): No advisories left outstanding. Remaining weights renormalized. Matched the pypi:clingo@5.8.0 runtime dependency closure — what installing the published package pulls in — 2 packages. Reachability is not analyzed.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"no_advisories_left_outstanding"
]
}
},
{
"code": "weights_renormalized",
"params": {}
},
{
"code": "advisories_scope_published",
"params": {
"package": "pypi:clingo@5.8.0",
"assessed": 2
}
},
{
"code": "advisories_reachability",
"params": {}
}
],
"value": 100,
"inputs": {
"source": "osv",
"advisories": 0,
"affected_packages": 0,
"assessed_packages": 2,
"unassessed_packages": 0,
"affected_by_severity": "none",
"direct_affected_packages": 0
},
"components": [
{
"key": "direct_dependencies_free_of_known_advisories",
"name": "Direct dependencies free of known advisories",
"detail": "no direct dependency carries a known advisory",
"points": 35,
"status": "met",
"details": [
{
"code": "no_direct_advisories",
"params": {}
}
],
"max_points": 35
},
{
"key": "indirect_dependencies_free_of_known_advisories",
"name": "Indirect dependencies free of known advisories",
"detail": "no indirect dependency carries a known advisory",
"points": 25,
"status": "met",
"details": [
{
"code": "no_indirect_advisories",
"params": {}
}
],
"max_points": 25
},
{
"key": "no_advisories_left_outstanding",
"name": "No advisories left outstanding",
"detail": "no advisory carries a publication date",
"points": 0,
"status": "excluded",
"details": [
{
"code": "advisories_no_publication_date",
"params": {}
}
],
"max_points": 40
}
]
},
{
"key": "malicious_dependencies",
"band": "excellent",
"name": "Malicious dependencies",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"source": "osv",
"meaning": "reported as a malicious package by the OpenSSF corpus; the remedy is removal or moving off the compromised name, never an upgrade of the same artifact. Versions the registry has since pulled are listed but not scored",
"packages": [],
"red_flag": false,
"assessed_packages": 2,
"malicious_packages": 0,
"direct_malicious_packages": 0,
"withdrawn_malicious_packages": 0,
"installable_malicious_packages": 0
},
"components": [
{
"key": "no_dependency_reported_as_a_malicious_package",
"name": "No dependency reported as a malicious package",
"detail": "no dependency is reported as a malicious package",
"points": 100,
"status": "met",
"details": [
{
"code": "no_malicious_dependencies",
"params": {}
}
],
"max_points": 100
}
]
},
{
"key": "high_risk_jurisdiction_exposure",
"band": "excellent",
"name": "High-Risk Jurisdiction Exposure",
"note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
"notes": [
{
"code": "jurisdiction_evidence_limits",
"params": {}
}
],
"value": 100,
"inputs": {
"meaning": "self-published location evidence; not nationality or citizenship",
"red_flag": false,
"exposures": [],
"policy_countries": [
"Russia",
"Iran",
"North Korea"
],
"review_only_matches": 0,
"assessed_self_published_locations": 24
},
"components": [
{
"key": "policy_exposure_multiplier",
"name": "Policy exposure multiplier",
"detail": "no confirmed policy-scope location match",
"points": 100,
"status": "met",
"details": [
{
"code": "jurisdiction_no_match",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
},
{
"key": "ai_readiness",
"band": "moderate",
"name": "AI Readiness",
"value": 50,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "critical",
"name": "Agent context & guidance",
"note": null,
"notes": [],
"value": 16,
"inputs": {
"has_llms_txt": false,
"legible_history_share": 0.29,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": "no CLAUDE.md / AGENTS.md / editor rules",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_instructions",
"params": {}
}
],
"max_points": 45
},
{
"key": "machine_readable_docs_llms_txt",
"name": "Machine-readable docs (llms.txt)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "legible_commit_history",
"name": "Legible commit history",
"detail": "29 of 100 human commits state their intent (structured subject or explanatory body)",
"points": 15.5,
"status": "partial",
"details": [
{
"code": "legible_history",
"params": {
"legible": 29,
"sampled": 100
}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "moderate",
"name": "Verify loop (build / test / typecheck)",
"note": null,
"notes": [],
"value": 62,
"inputs": {
"has_nix": false,
"has_tests": true,
"lockfiles": [],
"has_dockerfile": false,
"typed_language": true,
"bootstrap_files": [
"Makefile",
"scratch/haskell/Makefile",
"scratch/lua/Makefile"
],
"has_devcontainer": false,
"has_linter_config": true,
"typecheck_configs": [
"libpyclingo/clingo/py.typed"
],
"agent_commit_share": 0,
"toolchain_manifests": [],
"dependency_bot_commit_share": 0
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": "Makefile, scratch/haskell/Makefile, scratch/lua/Makefile",
"points": 18,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "Makefile, scratch/haskell/Makefile, scratch/lua/Makefile"
}
}
],
"max_points": 18
},
{
"key": "automated_tests",
"name": "Automated tests",
"detail": null,
"points": 22,
"status": "met",
"details": [],
"max_points": 22
},
{
"key": "lint_format_config",
"name": "Lint / format config",
"detail": ".pylintrc",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": ".pylintrc"
}
}
],
"max_points": 11
},
{
"key": "static_type_checking",
"name": "Static type checking",
"detail": "libpyclingo/clingo/py.typed",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "libpyclingo/clingo/py.typed"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
},
{
"key": "demonstrated_agent_practice",
"name": "Demonstrated agent practice",
"detail": "no agent-authored commits among the last 100",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_authored_commits",
"params": {
"sampled": 100
}
}
],
"max_points": 10
},
{
"key": "automated_maintenance",
"name": "Automated maintenance",
"detail": "no automated dependency updates observed",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_dependency_automation",
"params": {}
}
],
"max_points": 8
},
{
"key": "openssf_scorecard_pinned_dependencies",
"name": "OpenSSF Scorecard: Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "excellent",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 96,
"inputs": {
"primary_language": "C++",
"largest_source_bytes": 759949,
"source_files_sampled": 165,
"oversized_source_files": 12
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "C++ (statically typed)",
"points": 45,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "C++"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "12/165 source files over 60KB",
"points": 51,
"status": "partial",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 165,
"oversized": 12
}
}
],
"max_points": 55
}
]
},
{
"key": "ai_interfaces",
"band": "at_risk",
"name": "Machine-readable interfaces",
"note": null,
"notes": [],
"value": 40,
"inputs": {
"example_dirs": [
"examples"
],
"has_mcp_signal": false,
"api_schema_files": []
},
"components": [
{
"key": "api_schema_openapi_graphql_proto",
"name": "API schema (OpenAPI/GraphQL/proto)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 40
},
{
"key": "mcp_server",
"name": "MCP server",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "runnable_examples",
"name": "Runnable examples",
"detail": "examples",
"points": 40,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "examples"
}
}
],
"max_points": 40
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
}
],
"metrics_version": "1.13.0"
},
"warnings": [
"Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token",
"Could not fetch pypi package 'clingo-cffi-system' from its registry"
],
"report_type": "repository",
"generated_at": "2026-07-28T14:38:26.520125Z",
"schema_version": "0.27.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/p/potassco/clingo.svg",
"full_name": "potassco/clingo",
"license_state": "standard",
"license_spdx": "MIT"
}