Registro públicoModerado
Informe de salud del softwareesquema 0.27.0 · métricas 1.13.0 · 2026-07-28 14:38 UTC
potassco / clingo
🦉 A grounder and solver for logic programs.
potassco/clingo tiene un índice de salud de 65 sobre 100, lo que lo sitúa en la banda Moderado. Su puntuación más alta es Engineering Quality (84/100) y la más baja, Vitality (41/100). Se actualizó por última vez hace 19 días. Una sola persona concentra la mayor parte del trabajo reciente.
65
global / 100Índice de salud del software
Las métricas se agrupan en categorías ponderadas sobre una escala de 1 a 100. El resultado global parte de su media; cuando la evidencia pública activa la Política de Jurisdicciones de Alto Riesgo, la calificación se ajusta y recibe el límite 49 (En riesgo). Preparación para IA queda fuera.
65
Excelente85-100Ejemplar; cumple prácticamente todos los criterios evaluados
Bueno70-84Saludable; carencias menores
Moderado50-69Aceptable con carencias notables; se recomienda revisión
En riesgo30-49Debilidades significativas; su adopción exige cautela
Crítico1-29Problemas graves (proyecto abandonado, un solo mantenedor, sin higiene)
Perfil de puntuación
Cada eje es una categoría. La forma importa más que la media: un proyecto sano llena toda la figura, mientras que un perfil de picos y cráteres indica que la fortaleza en una dimensión enmascara el riesgo en otra.
Titularidad
PotasscoOrganización
141 seguidores99 repositorios públicosdesde may 2016
Este repositorio está respaldado por una organización: una custodia compartida y responsable que puede sobrevivir a cualquier mantenedor individual.
Ecosistemas de paquetes
| Registro | Paquete | Versión | Descargas / mes | Versiones | Última publicación |
|---|---|---|---|---|---|
| PyPI | clingo | 5.8.0 | - | 9 | hace 104 días |
Métricas por categoría
Vitalidad
¿Está vivo el proyecto: se escribe código y se publican versiones?
41
Actividad de desarrollo
34En riesgo
Cómo se puntúa
| 28.8/36 | Recencia de push — último push hace 19 días |
| 0/36 | Cadencia de commits — 0/52 semanas con commits |
| 0/18 | Volumen de commits — 0 commits en el último año |
| 5/10 | OpenSSF Scorecard: Maintained — 0 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 5 |
Datos de entrada utilizados
| commits_last_year | 0 |
| human_commit_share | 1 |
| days_since_last_push | 19 |
| active_weeks_last_year | 0 |
Disciplina de publicación
52Moderado
Cómo se puntúa
| 27/27 | Publica versiones — 18 versiones publicadas |
| 7.2/36 | Recencia de las versiones — última versión hace 481 días |
| 12.6/27 | Cadencia de publicación — una versión cada ~175,4 días |
| 0/10 | OpenSSF Scorecard: Signed-Releases — sin datos |
Datos de entrada utilizados
| releases_count | 18 |
| latest_release_tag | v5.8.0 |
| releases_from_tags | no |
| days_since_latest_release | 481 |
| mean_days_between_releases | 175,4 |
Excluidos de la puntuación (sin datos o no aplicable): OpenSSF Scorecard: Signed-Releases. Los pesos restantes se han renormalizado.
Comunidad y Adopción
¿Tiene el proyecto usuarios, descargas, atención y unas condiciones acogedoras para quienes contribuyen?
74
Popularidad y adopción
72Bueno
Cómo se puntúa
| 47.2/60 | Estrellas — 811 estrellas |
| 16.6/25 | Forks — 98 forks |
| 8.7/15 | Observadores — 37 observadores |
Datos de entrada utilizados
| forks | 98 |
| stars | 811 |
| watchers | 37 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Salud de la comunidad
77Bueno
Cómo se puntúa
| 22.5/22.5 | README |
| 22.5/22.5 | Licencia — licencia reconocida (MIT) |
| 18/18 | Guía CONTRIBUTING |
| 0/13.5 | Código de conducta |
| 0/7.2 | Plantilla de issues |
| 6.3/6.3 | Plantilla de PR |
Datos de entrada utilizados
| has_readme | sí |
| has_license | sí |
| has_contributing | sí |
| has_issue_template | no |
| has_code_of_conduct | no |
| has_pull_request_template | sí |
Sostenibilidad y Gobernanza
¿Sobrevivirá el proyecto a sus personas: factor bus, capacidad de respuesta, quién lo respalda y mantenimiento del paquete?
69
Resiliencia de mantenedores (factor bus)
34En riesgo
Cómo se puntúa
| 9/54 | Factor bus — la mitad de los commits recae en 1 contribuyente(s) |
| 2/22.5 | Distribución de commits — el principal contribuyente firma el 91% de los commits |
| 13.5/13.5 | Amplitud de contribuyentes — 20 contribuyentes |
| 10/10 | OpenSSF Scorecard: Contributors — project has 4 contributing companies or organizations |
Datos de entrada utilizados
| bus_factor | 1 |
| contributors_sampled | 20 |
| top_contributor_share | 0,913 |
Capacidad de respuesta a issues y PR
86Excelente
Cómo se puntúa
| 45.3/46.8 | Resolución de issues — 97% de issues cerradas |
| 31.6/38.3 | Aceptación de PR — 176/213 PR decididos fusionados |
| 9/15 | OpenSSF Scorecard: Code-Review — Found 6/9 approved changesets -- score normalized to 6 |
Datos de entrada utilizados
| merged_prs | 176 |
| open_issues | 13 |
| closed_issues | 398 |
| issue_closed_ratio | 0,968 |
| closed_unmerged_prs | 37 |
Propiedad y custodia
70Bueno
Cómo se puntúa
| 30/30 | Respaldo de la propiedad — propiedad de una organización |
| 0/20 | Dominio verificado |
| 15.5/25 | Alcance del propietario — 141 seguidores de potassco |
| 25/25 | Trayectoria — 99 repos públicos, cuenta de ~10 años |
Datos de entrada utilizados
| followers | 141 |
| owner_type | Organization |
| is_verified | — |
| owner_login | potassco |
| public_repos | 99 |
| account_age_days | 3731 |
Mantenimiento de paquetes
100Excelente
Cómo se puntúa
| 25/25 | Publicado y resoluble — 1 paquete(s) en pypi |
| 35/35 | Recencia de publicación — última publicación hace 104 días |
| 20/20 | Historial de versiones — 9 versiones en el registro |
| 20/20 | No obsoleto — activo, ni obsoleto ni retirado |
Datos de entrada utilizados
| packages | clingo |
| ecosystems | pypi |
| any_deprecated | no |
| min_days_since_publish | 104 |
Calidad de Ingeniería
¿Existen unas prácticas mínimas de ingeniería y documentación?
84
Prácticas de ingeniería
74Bueno
Cómo se puntúa
| 24/24 | Flujos de trabajo de CI — 4 flujo(s) de trabajo |
| 24/24 | Pruebas presentes |
| 16/16 | Configuración de linter — .pylintrc |
| 9.6/9.6 | Hooks de 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 |
Datos de entrada utilizados
| has_ci | sí |
| has_tests | sí |
| has_editorconfig | no |
| has_linter_config | sí |
| has_precommit_config | sí |
Documentación
100Excelente
Cómo se puntúa
| 30/30 | README |
| 25/25 | Directorio de documentación |
| 15/15 | Sitio de documentación / página del proyecto — https://potassco.org/clingo |
| 10/10 | Descripción del repositorio |
| 10/10 | Topics — 3 topics |
| 10/10 | Wiki |
Datos de entrada utilizados
| topics | answer-set-programming, declarative-programming, logic-programming |
| has_wiki | sí |
| homepage | https://potassco.org/clingo |
| has_readme | sí |
| has_docs_dir | sí |
| has_description | sí |
Seguridad
¿Son sólidas las prácticas visibles de seguridad y de cadena de suministro, sin exposición jurisdiccional de alto riesgo sin resolver?
58
Postura de seguridad
48En riesgo
Cómo se puntúa
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — sin datos |
| 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 | Licencia — 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 — sin datos |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
Datos de entrada utilizados
| source | openssf_scorecard |
| checks_evaluated | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 4,8 |
Excluidos de la puntuación (sin datos o no aplicable): branch_protection, signed_releases. Los pesos restantes se han renormalizado.
Avisos de dependencias
100Excelente
Cómo se puntúa
| 35/35 | Dependencias directas libres de avisos conocidos — ninguna dependencia directa tiene un aviso conocido |
| 25/25 | Dependencias indirectas libres de avisos conocidos — ninguna dependencia indirecta tiene un aviso conocido |
| 0/40 | Sin avisos pendientes — ningún aviso tiene fecha de publicación |
Datos de entrada utilizados
| source | osv |
| advisories | 0 |
| affected_packages | 0 |
| assessed_packages | 2 |
| unassessed_packages | 0 |
| affected_by_severity | none |
| direct_affected_packages | 0 |
Excluidos de la puntuación (sin datos o no aplicable): Sin avisos pendientes. Los pesos restantes se han renormalizado. Se cotejó el cierre de dependencias en tiempo de ejecución de pypi:clingo@5.8.0 —lo que arrastra la instalación del paquete publicado—: 2 paquetes. No se analiza la alcanzabilidad.
Preparación para IA
¿Hasta qué punto está el repositorio preparado para desarrollarse y mantenerse con agentes de codificación de IA? Es una insignia independiente y experimental — peso 0,0, de modo que se presenta por separado y no afecta a la puntuación de salud global.
50
Contexto y guía para agentes
16Crítico
Cómo se puntúa
| 0/45 | Instrucciones para agentes — sin CLAUDE.md / AGENTS.md / reglas de editor |
| 0/15 | Documentación legible por máquinas (llms.txt) |
| 15.5/40 | Historial de commits legible — 29 de 100 commits humanos declaran su intención (asunto estructurado o cuerpo explicativo) |
Datos de entrada utilizados
| has_llms_txt | no |
| legible_history_share | 0,29 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Cómo se puntúa
| 18/18 | Arranque con un solo comando — Makefile, scratch/haskell/Makefile, scratch/lua/Makefile |
| 22/22 | Pruebas automatizadas |
| 11/11 | Configuración de lint / formato — .pylintrc |
| 11/11 | Verificación estática de tipos — libpyclingo/clingo/py.typed |
| 0/10 | Entorno reproducible |
| 0/10 | Práctica demostrada con agentes — ningún commit con autoría de agente entre los últimos 100 |
| 0/8 | Mantenimiento automatizado — no se observan actualizaciones automáticas de dependencias |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
Datos de entrada utilizados
| has_nix | no |
| has_tests | sí |
| lockfiles | — |
| has_dockerfile | no |
| typed_language | sí |
| bootstrap_files | Makefile, scratch/haskell/Makefile, scratch/lua/Makefile |
| has_devcontainer | no |
| has_linter_config | sí |
| typecheck_configs | libpyclingo/clingo/py.typed |
| agent_commit_share | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Legibilidad del código para modelos
96Excelente
Cómo se puntúa
| 45/45 | Código verificable por tipos — C++ (tipado estático) |
| 51/55 | Tamaños de archivo manejables — 12/165 archivos fuente de más de 60 KB |
Datos de entrada utilizados
| primary_language | C++ |
| largest_source_bytes | 759.949 |
| source_files_sampled | 165 |
| oversized_source_files | 12 |
Interfaces legibles por máquina
40En riesgo
Cómo se puntúa
| 0/40 | Esquema de API (OpenAPI/GraphQL/proto) |
| 0/20 | Servidor MCP |
| 40/40 | Ejemplos ejecutables — examples |
Datos de entrada utilizados
| example_dirs | examples |
| has_mcp_signal | no |
| api_schema_files | — |
Datos clave
811estrellas de GitHub
20contribuidores
0commits en los últimos 12 meses
19días desde el último push
18versiones publicadas
1factor bus
13issues abiertas
PyPIecosistemas de paquetes
Advertencias de recopilación de datos
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- Could not fetch pypi package 'clingo-cffi-system' from its registry
Más detalle
Historial de estrellas y forks 0 ★ / 98 ⇿
0Estrellas
98Forks
18Versiones
Cuándo se añadió cada estrella y fork, recopilado de GitHub y agrupado por día. El crecimiento acumulado se sitúa justo encima de las adiciones diarias que lo componen, de modo que ambos se leen en conjunto: la acumulación orgánica sostenida no se parece en nada a un pico abrupto y efímero. Cuando esa diferencia es medible, se informa como autenticidad del crecimiento.
Mayor 1Menor 8Parche 9
Cada punto abarca 9 días.
OpenSSF Scorecard 4.8 / 10
4.8agregado
Evaluación de seguridad independiente y agnóstica en cuanto a herramientas, procedente del proyecto de código abierto OpenSSF Scorecard. Cada comprobación premia una práctica de seguridad, no la herramienta de un proveedor concreto. Las comprobaciones que Scorecard no pudo determinar se marcan como n/d y se excluyen de la puntuación de seguridad (nunca se cuentan como cero).
| 10 | Binary-Artifacts | no binaries found in the repo |
| n/d | 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 |
| n/d | Signed-Releases | no releases found |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
Todas las dependencias 6
Conjunto completo de dependencias resueltas según el grafo de dependencias de GitHub: 0 paquetes directos y 6 indirectos (transitivos). El cierre transitivo es completo cuando el repositorio incluye un lockfile.
| Registro | Paquete | Versión | Relación |
|---|---|---|---|
| PyPI | cffi | — | indirecta |
| RubyGems | jekyll | — | indirecta |
| RubyGems | jekyll-feed | — | indirecta |
| RubyGems | listen | — | indirecta |
| RubyGems | minima | — | indirecta |
| RubyGems | tzinfo-data | — | indirecta |
Avisos de dependencias 0
Instalar pypi:clingo@5.8.0 arrastra 2 paquetes, directos y transitivos: 0 tienen avisos conocidos, de los cuales 0 son dependencias directas.
Ningún aviso conocido afecta a las dependencias evaluadas.
Un aviso significa que la versión registrada en el grafo de dependencias cae dentro del rango afectado de un aviso. No se analiza la alcanzabilidad, y el grafo incluye fijaciones de desarrollo y prueba: un hallazgo puede referirse al utillaje y no al software distribuido.
Informe JSON sin procesar legible por máquina
{
"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"
}Las puntuaciones son señales, no garantías. Reflejan prácticas públicamente visibles en GitHub; no son una auditoría de código ni una garantía de seguridad.
Los datos ausentes se excluyen y los pesos se renormalizan; nunca se puntúan como cero. La metodología es versionada y abierta: métricas v1.13.0, esquema v0.27.0 — metodología completa · wiki de métricas.
Cómo se sitúa un resultado dentro del registro general: estadísticas agregadas — PyPI.