Registro público
Informe de salud del softwareesquema 0.27.0 · métricas 1.13.0 · 2026-07-24 13:41 UTC

de-tu-dresden-inf-lat / evee

Library and Protégé plugin for generating Description Logic explanations

JavaMIT★ 17 estrellas⑂ 1 forkdesde abr 2022Ver en GitHub ↗

de-tu-dresden-inf-lat/evee tiene un índice de salud de 55 sobre 100, lo que lo sitúa en la banda Moderado. Su puntuación más alta es Vitality (77/100) y la más baja, Community & Adoption (35/100). Se actualizó por última vez hoy. 2 personas concentran la mayor parte del trabajo reciente.

55
global / 100
Moderado

Í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.

55
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)
VitalidadComunidad yAdopciónSostenibilidady GobernanzaCalidad deIngenieríaSeguridadPreparaciónpara IA

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

7 seguidores19 repositorios públicosdesde abr 2021

Este repositorio está respaldado por una organización: una custodia compartida y responsable que puede sobrevivir a cualquier mantenedor individual.

Ecosistemas de paquetes

Métricas por categoría

Vitalidad

¿Está vivo el proyecto: se escribe código y se publican versiones?

77Bueno · 22% del índice global
Cómo se puntúa
36/36Recencia de push — último push hace 0 días
14.5/36Cadencia de commits — 21/52 semanas con commits
16.6/18Volumen de commits — 70 commits en el último año
10/10OpenSSF Scorecard: Maintained — 23 commit(s) and 1 issue activity found in the last 90 days -- score normalized to 10
Datos de entrada utilizados
commits_last_year70
human_commit_share1
days_since_last_push0
active_weeks_last_year21
Cómo se puntúa
27/27Publica versiones — 3 versiones publicadas
36/36Recencia de las versiones — última versión hace 7 días
12.6/27Cadencia de publicación — una versión cada ~160,6 días
0/10OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases.
Datos de entrada utilizados
releases_count3
latest_release_tagv0.6
releases_from_tagsno
days_since_latest_release7
mean_days_between_releases160,6

Comunidad y Adopción

¿Tiene el proyecto usuarios, descargas, atención y unas condiciones acogedoras para quienes contribuyen?

35En riesgo · 18% del índice global
Cómo se puntúa
19.5/60Estrellas — 17 estrellas
0/25Forks — 1 forks
2.7/15Observadores — 4 observadores
Datos de entrada utilizados
forks1
stars17
watchers4
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history
Cómo se puntúa
22.5/22.5README
22.5/22.5Licencia — licencia reconocida (MIT)
0/18Guía CONTRIBUTING
0/13.5Código de conducta
0/7.2Plantilla de issues
0/6.3Plantilla de PR
Datos de entrada utilizados
has_readme
has_license
has_contributingno
has_issue_templateno
has_code_of_conductno
has_pull_request_templateno

Sostenibilidad y Gobernanza

¿Sobrevivirá el proyecto a sus personas: factor bus, capacidad de respuesta, quién lo respalda y mantenimiento del paquete?

59Moderado · 24% del índice global
Cómo se puntúa
25.2/54Factor bus — la mitad de los commits recae en 2 contribuyente(s)
12.7/22.5Distribución de commits — el principal contribuyente firma el 44% de los commits
9.5/13.5Amplitud de contribuyentes — 7 contribuyentes
6/10OpenSSF Scorecard: Contributors — project has 2 contributing companies or organizations -- score normalized to 6
Datos de entrada utilizados
bus_factor2
contributors_sampled7
top_contributor_share0,437
Cómo se puntúa
12.8/46.8Resolución de issues — 27% de issues cerradas
31.3/38.3Aceptación de PR — 9/11 PR decididos fusionados
0/15OpenSSF Scorecard: Code-Review — Found 0/9 approved changesets -- score normalized to 0
Datos de entrada utilizados
merged_prs9
open_issues32
closed_issues12
issue_closed_ratio0,273
closed_unmerged_prs2
Cómo se puntúa
30/30Respaldo de la propiedad — propiedad de una organización
0/20Dominio verificado
6.5/25Alcance del propietario — 7 seguidores de de-tu-dresden-inf-lat
20/25Trayectoria — 19 repos públicos, cuenta de ~5 años
Datos de entrada utilizados
followers7
owner_typeOrganization
is_verified
owner_loginde-tu-dresden-inf-lat
public_repos19
account_age_days1915
Cómo se puntúa
25/25Publicado y resoluble — 6 paquete(s) en maven
35/35Recencia de publicación — última publicación hace 7 días
12/20Historial de versiones — 2 versiones en el registro
20/20No obsoleto — activo, ni obsoleto ni retirado
Datos de entrada utilizados
packagesio.github.de-tu-dresden-inf-lat:evee-data, io.github.de-tu-dresden-inf-lat:evee-libs, io.github.de-tu-dresden-inf-lat:evee-elk-proof-extractor, io.github.de-tu-dresden-inf-lat:evee-nemo-proof-extractor, io.github.de-tu-dresden-inf-lat:evee-lethe-proof-extractor, io.github.de-tu-dresden-inf-lat:evee-small-model-generator
ecosystemsmaven
any_deprecatedno
min_days_since_publish7

Calidad de Ingeniería

¿Existen unas prácticas mínimas de ingeniería y documentación?

61Moderado · 20% del índice global
Cómo se puntúa
24/24Flujos de trabajo de CI — 2 flujo(s) de trabajo
24/24Pruebas presentes
0/16Configuración de linter
0/9.6Hooks de pre-commit
0/6.4.editorconfig
20/20OpenSSF Scorecard: CI-Tests — 5 out of 5 merged PRs checked by a CI test -- score normalized to 10
Datos de entrada utilizados
has_ci
has_tests
has_editorconfigno
has_linter_configno
has_precommit_configno

Documentación

50Moderado
Cómo se puntúa
30/30README
0/25Directorio de documentación
0/15Sitio de documentación / página del proyecto
10/10Descripción del repositorio
0/10Topics
10/10Wiki
Datos de entrada utilizados
topics
has_wiki
homepage
has_readme
has_docs_dirno
has_description

Seguridad

¿Son sólidas las prácticas visibles de seguridad y de cadena de suministro, sin exposición jurisdiccional de alto riesgo sin resolver?

36En riesgo · 16% del índice global
Cómo se puntúa
7.5/7.5Binary-Artifacts — no binaries found in the repo
3/7.5Branch-Protection — branch protection is not maximal on development and all release branches
2.5/2.5CI-Tests — 5 out of 5 merged PRs checked by a CI test -- score normalized to 10
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
0/7.5Code-Review — Found 0/9 approved changesets -- score normalized to 0
1.5/2.5Contributors — project has 2 contributing companies or organizations -- score normalized to 6
10/10Dangerous-Workflow — no dangerous workflow patterns detected
0/7.5Dependency-Update-Tool — no update tool detected
0/5Fuzzing — project is not fuzzed
2.5/2.5Licencia — license file detected
7.5/7.5Maintained — 23 commit(s) and 1 issue activity found in the last 90 days -- score normalized to 10
5/5Packaging — packaging workflow detected
0/5Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
0/5SAST — SAST tool is not run on all commits -- score normalized to 0
0/5Security-Policy — security policy file not detected
0/7.5Signed-Releases — Project has not signed or included provenance with any releases.
0/7.5Token-Permissions — detected GitHub workflow tokens with excessive permissions
0/7.5Vulnerabilities — 98 existing vulnerabilities detected
Datos de entrada utilizados
sourceopenssf_scorecard
checks_evaluated18
scorecard_versionv5.5.0
checks_inconclusive0
scorecard_aggregate3,8
Cómo se puntúa
6.4/35Dependencias directas libres de avisos conocidos — 2 afectados: com.fasterxml.jackson.core:jackson-databind 2.9.8 (critical 9.8), ch.qos.logback:logback-classic 1.2.6 (high 7.1)
5.7/25Dependencias indirectas libres de avisos conocidos — 6 afectados: ch.qos.logback:logback-core 1.2.6 (high 7.1), com.fasterxml.jackson.core:jackson-core 2.9.10 (high 7.5), commons-io:commons-io 2.7 (high 7.5), +3 más
16.8/40Sin avisos pendientes — 8 paquete(s) con avisos sin atender más allá de 90 días; el más antiguo publicado hace 2619 días
Datos de entrada utilizados
sourceosv
advisories73
affected_packages8
assessed_packages80
unassessed_packages0
affected_by_severitycritical 1, high 4, moderate 3
direct_affected_packages2
Se cotejó el cierre de dependencias en tiempo de ejecución de maven:io.github.de-tu-dresden-inf-lat:evee-data@0.6 —lo que arrastra la instalación del paquete publicado—: 80 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.

42En riesgo · 0% del índice global
Cómo se puntúa
0/45Instrucciones para agentes — sin CLAUDE.md / AGENTS.md / reglas de editor
0/15Documentación legible por máquinas (llms.txt)
8/40Historial de commits legible — 15 de 100 commits humanos declaran su intención (asunto estructurado o cuerpo explicativo)
Datos de entrada utilizados
has_llms_txtno
legible_history_share0,15
agent_instruction_files
agent_instruction_max_bytes
Cómo se puntúa
12.6/18Arranque con un solo comando — evee-data/pom.xml, evee-elimination-proofs/evee-elimination-proofs-core_2.12/pom.xml, evee-elimination-proofs/evee-elimination-proofs-fame_2.12/pom.xml (convención del toolchain, sin ejecutor de tareas)
22/22Pruebas automatizadas
0/11Configuración de lint / formato
11/11Verificación estática de tipos — Java (tipado estático)
0/10Entorno reproducible
0/10Práctica demostrada con agentes — ningún commit con autoría de agente entre los últimos 100
0/8Mantenimiento automatizado — no se observan actualizaciones automáticas de dependencias
0/10OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
Datos de entrada utilizados
has_nixno
has_tests
lockfiles
has_dockerfileno
typed_language
bootstrap_files
has_devcontainerno
has_linter_configno
typecheck_configs
agent_commit_share0
toolchain_manifestsevee-data/pom.xml, evee-elimination-proofs/evee-elimination-proofs-core_2.12/pom.xml, evee-elimination-proofs/evee-elimination-proofs-fame_2.12/pom.xml, evee-elimination-proofs/evee-elimination-proofs-lethe_2.12/pom.xml, evee-elimination-proofs/pom.xml, evee-elk-proof-extractor/pom.xml, evee-lethe-proof-extractor/pom.xml, evee-libs/pom.xml, evee-nemo-proof-extractor/pom.xml, evee-protege-release/pom.xml, evee-protege/evee-protege-abduction-capi/pom.xml, evee-protege/evee-protege-abduction-lethe/pom.xml, evee-protege/evee-protege-core/pom.xml, evee-protege/evee-protege-counterexample-EL/pom.xml, evee-protege/evee-protege-counterexample-ELKRelevant/pom.xml, evee-protege/evee-protege-elimination-proofs-fame/pom.xml, evee-protege/evee-protege-elimination-proofs-lethe/pom.xml, evee-protege/evee-protege-elk-proof-extractor/pom.xml, evee-protege/evee-protege-lethe-proof-extractor/pom.xml, evee-protege/evee-protege-nemo-proof-extractor/pom.xml, evee-protege/pom.xml, evee-relevant-counterexample/counterExampleProvider/pom.xml, evee-relevant-counterexample/model-datastructures/pom.xml, evee-relevant-counterexample/pom.xml, evee-small-model-generator/pom.xml, pom.xml
dependency_bot_commit_share0
Cómo se puntúa
45/45Código verificable por tipos — Java (tipado estático)
54.9/55Tamaños de archivo manejables — 1/418 archivos fuente de más de 60 KB
Datos de entrada utilizados
primary_languageJava
largest_source_bytes72.384
source_files_sampled418
oversized_source_files1
Cómo se puntúa
0/40Esquema de API (OpenAPI/GraphQL/proto)
0/20Servidor MCP
40/40Ejemplos ejecutables — examples
Datos de entrada utilizados
example_dirsexamples
has_mcp_signalno
api_schema_files

Datos clave

17estrellas de GitHub
7contribuidores
70commits en los últimos 12 meses
0días desde el último push
3versiones publicadas
2factor bus
32issues abiertas
Mavenecosistemas de paquetes

Advertencias de recopilación de datos

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
  • Could not fetch maven package 'io.github.de-tu-dresden-inf-lat:evee-protege-release' from its registry

Más detalle

OpenSSF Scorecard 3.8 / 10
3.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).Scorecard v5.5.0 · 2026-07-24 13:41 UTC

10Binary-Artifactsno binaries found in the repo
4Branch-Protectionbranch protection is not maximal on development and all release branches
10CI-Tests5 out of 5 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
0Code-ReviewFound 0/9 approved changesets -- score normalized to 0
6Contributorsproject has 2 contributing companies or organizations -- score normalized to 6
10Dangerous-Workflowno dangerous workflow patterns detected
0Dependency-Update-Toolno update tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
10Maintained23 commit(s) and 1 issue activity found in the last 90 days -- score normalized to 10
10Packagingpackaging workflow detected
0Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
0SASTSAST tool is not run on all commits -- score normalized to 0
0Security-Policysecurity policy file not detected
0Signed-ReleasesProject has not signed or included provenance with any releases.
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
0Vulnerabilities98 existing vulnerabilities detected
Dependencias directas 52
RegistroPaqueteRestricción de versiónManifiesto
Mavennet.sourceforge.owlapi:owlapi-distribution${owl5version}evee-data/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:lat-scala-dl-tools-owlapi5${LatScalaDlTools.Version}evee-data/pom.xml
Mavennet.sourceforge.owlapi:org.semanticweb.hermit1.4.3.517evee-data/pom.xml
Mavenjunit:junit4.13.2evee-data/pom.xml
Mavenjavax.persistence:javax.persistence-api2.2evee-data/pom.xml
Mavencom.fasterxml.jackson.core:jackson-databind2.9.8evee-data/pom.xml
Mavencom.fasterxml.jackson.core:jackson-annotations2.9.8evee-data/pom.xml
Mavench.qos.logback:logback-classic1.2.6evee-data/pom.xml
Mavenorg.scala-lang:scala-library${scala.version}evee-data/pom.xml
Mavenorg.apache.commons:commons-math33.6.1evee-data/pom.xml
Mavenguru.nidi:graphviz-java0.18.1evee-elimination-proofs/pom.xml
Mavench.qos.logback:logback-classic1.2.3evee-elimination-proofs/pom.xml
Mavencom.typesafe.scala-logging:scala-logging_2.123.9.2evee-elimination-proofs/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-data${project.version}evee-elk-proof-extractor/pom.xml
Mavenio.github.liveontologies:elk-owlapi0.6.0evee-elk-proof-extractor/pom.xml
Mavenjunit:junit4.4evee-elk-proof-extractor/pom.xml
Mavenorg.junit.jupiter:junit-jupiter-engine5.8.2evee-lethe-proof-extractor/pom.xml
Mavennet.sourceforge.owlapi:owlapi-distribution${owl5version}evee-lethe-proof-extractor/pom.xml
Mavennet.sourceforge.owlapi:org.semanticweb.hermit1.4.3.517evee-lethe-proof-extractor/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:lethe-owlapi5${LETHE.Version}evee-lethe-proof-extractor/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-data${project.version}evee-lethe-proof-extractor/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-data${project.version}evee-libs/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-elimination-proofs-core_2.12${project.version}evee-libs/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-elimination-proofs-fame_2.12${project.version}evee-libs/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-elimination-proofs-lethe_2.12${project.version}evee-libs/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-elk-proof-extractor${project.version}evee-libs/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-lethe-proof-extractor${project.version}evee-libs/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-small-model-generator${project.version}evee-libs/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:counterExampleProvider${project.version}evee-libs/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-nemo-proof-extractor${project.version}evee-libs/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-data${project.version}evee-nemo-proof-extractor/pom.xml
Mavenlog4j:log4j1.2.17evee-nemo-proof-extractor/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-core${revision}evee-protege-release/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-elimination-proofs-fame${revision}evee-protege-release/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-elimination-proofs-lethe${revision}evee-protege-release/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-elk-proof-extractor${revision}evee-protege-release/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-lethe-proof-extractor${revision}evee-protege-release/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-nemo-proof-extractor${revision}evee-protege-release/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-counterexample-small-model${revision}evee-protege-release/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-counterexample-ELKRelevant${revision}evee-protege-release/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-abduction-capi${revision}evee-protege-release/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-abduction-lethe${revision}evee-protege-release/pom.xml
Mavenjunit:junit4.4evee-relevant-counterexample/pom.xml
Mavencommons-cli:commons-cli1.3.1evee-relevant-counterexample/pom.xml
Mavenorg.apache.commons:commons-csv1.4evee-relevant-counterexample/pom.xml
Mavenlog4j:log4j1.2.17evee-relevant-counterexample/pom.xml
Mavencom.fasterxml.jackson.core:jackson-databind2.16.1evee-relevant-counterexample/pom.xml
Mavencom.fasterxml.jackson.core:jackson-core2.16.1evee-relevant-counterexample/pom.xml
Mavencom.fasterxml.jackson.core:jackson-annotations2.16.1evee-relevant-counterexample/pom.xml
Mavennet.sourceforge.owlapi:owlapi-distribution${owl5version}evee-small-model-generator/pom.xml
Mavenorg.slf4j:slf4j-api1.7.30evee-small-model-generator/pom.xml
Mavenio.github.de-tu-dresden-inf-lat:evee-data${project.version}evee-small-model-generator/pom.xml
Todas las dependencias 82

Conjunto completo de dependencias resueltas según el grafo de dependencias de GitHub: 48 paquetes directos y 34 indirectos (transitivos). El cierre transitivo es completo cuando el repositorio incluye un lockfile.

RegistroPaqueteVersiónRelación
Mavench.qos.logback:logback-classicdirecta
Mavench.qos.logback:logback-classic1.2.3directa
Mavench.qos.logback:logback-classic1.2.6directa
Mavencom.fasterxml.jackson.core:jackson-annotations2.13.3directa
Mavencom.fasterxml.jackson.core:jackson-annotations2.16.1directa
Mavencom.fasterxml.jackson.core:jackson-annotations2.9.8directa
Mavencom.fasterxml.jackson.core:jackson-core2.13.3directa
Mavencom.fasterxml.jackson.core:jackson-core2.16.1directa
Mavencom.fasterxml.jackson.core:jackson-databind2.13.3directa
Mavencom.fasterxml.jackson.core:jackson-databind2.16.1directa
Mavencom.fasterxml.jackson.core:jackson-databind2.9.8directa
Mavencom.typesafe.scala-logging:scala-logging_2.123.9.2directa
Mavencommons-cli:commons-cli1.3.1directa
Mavenguru.nidi:graphviz-java0.18.1directa
Mavenio.github.de-tu-dresden-inf-lat:counterExampleProviderdirecta
Mavenio.github.de-tu-dresden-inf-lat:evee-datadirecta
Mavenio.github.de-tu-dresden-inf-lat:evee-elimination-proofs-core_2.12directa
Mavenio.github.de-tu-dresden-inf-lat:evee-elimination-proofs-fame_2.12directa
Mavenio.github.de-tu-dresden-inf-lat:evee-elimination-proofs-lethe_2.12directa
Mavenio.github.de-tu-dresden-inf-lat:evee-elk-proof-extractordirecta
Mavenio.github.de-tu-dresden-inf-lat:evee-lethe-proof-extractordirecta
Mavenio.github.de-tu-dresden-inf-lat:evee-nemo-proof-extractordirecta
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-abduction-capidirecta
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-abduction-lethedirecta
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-coredirecta
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-counterexample-ELKRelevantdirecta
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-counterexample-small-modeldirecta
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-elimination-proofs-famedirecta
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-elimination-proofs-lethedirecta
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-elk-proof-extractordirecta
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-lethe-proof-extractordirecta
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-nemo-proof-extractordirecta
Mavenio.github.de-tu-dresden-inf-lat:evee-small-model-generatordirecta
Mavenio.github.de-tu-dresden-inf-lat:lat-scala-dl-tools-owlapi5directa
Mavenio.github.de-tu-dresden-inf-lat:lat-scala-dl-tools-owlapi50.4.1directa
Mavenio.github.de-tu-dresden-inf-lat:lethe-owlapi5directa
Mavenio.github.liveontologies:elk-owlapi0.6.0directa
Mavenjavax.persistence:javax.persistence-api2.2directa
Mavenjunit:junit4.13.2directa
Mavenjunit:junit4.4directa
Mavenlog4j:log4j1.2.17directa
Mavennet.sourceforge.owlapi:org.semanticweb.hermit1.4.3.517directa
Mavennet.sourceforge.owlapi:owlapi-distributiondirecta
Mavenorg.apache.commons:commons-csv1.4directa
Mavenorg.apache.commons:commons-math33.6.1directa
Mavenorg.junit.jupiter:junit-jupiter-engine5.8.2directa
Mavenorg.scala-lang:scala-librarydirecta
Mavenorg.slf4j:slf4j-api1.7.30directa
Mavench.qos.logback:logback-coreindirecta
Mavencom.google.code.sbt-compiler-maven-plugin:sbt-compiler-maven-plugin1.0.0indirecta
Mavencom.google.guava:guava18.0indirecta
Mavencom.google.guava:guava21.0indirecta
Mavencom.novocode:junit-interface0.11indirecta
Mavenedu.stanford.protege:protege-common5.6.4indirecta
Mavenedu.stanford.protege:protege-editor-core5.6.4indirecta
Mavenedu.stanford.protege:protege-editor-owl5.6.4indirecta
Mavenio.github.de-tu-dresden-inf-lat:capi0.2.1indirecta
Mavenio.github.de-tu-dresden-inf-lat:FamePlus1.0indirecta
Mavenio.github.de-tu-dresden-inf-lat:gs-core2.2indirecta
Mavenio.github.de-tu-dresden-inf-lat:gs-ui-swing2.2indirecta
Mavenio.github.de-tu-dresden-inf-lat:lethe-abduction-owlapi5indirecta
Mavenio.github.de-tu-dresden-inf-lat:model-datastructuresindirecta
Mavennet.alchim31.maven:scala-maven-plugin4.9.9indirecta
Mavennet.sourceforge.owlapi:owlapi-api4.5.29indirecta
Mavennet.sourceforge.owlapi:owlapi-osgidistribution4.5.29indirecta
Mavenorg.apache.commons:commons-lang33.6indirecta
Mavenorg.apache.felix:maven-bundle-plugin5.1.9indirecta
Mavenorg.apache.maven.plugins:maven-assembly-plugin3.1.1indirecta
Mavenorg.apache.maven.plugins:maven-assembly-plugin3.3.0indirecta
Mavenorg.apache.maven.plugins:maven-compiler-plugin3.13.0indirecta
Mavenorg.apache.maven.plugins:maven-dependency-plugin3.6.0indirecta
Mavenorg.apache.maven.plugins:maven-gpg-plugin3.2.7indirecta
Mavenorg.apache.maven.plugins:maven-jar-plugin3.2.2indirecta
Mavenorg.apache.maven.plugins:maven-javadoc-plugin3.10.1indirecta
Mavenorg.apache.maven.plugins:maven-source-plugin3.2.1indirecta
Mavenorg.apache.maven.plugins:maven-surefire-plugin3.0.0-M5indirecta
Mavenorg.apache.maven.plugins:maven-surefire-plugin3.0.0-M6indirecta
Mavenorg.codehaus.mojo:flatten-maven-plugin1.1.0indirecta
Mavenorg.eclipse.swt.win32.win32:x863.3.0-v3346indirecta
Mavenorg.liveontologies:protege-proof-explanation0.1.0indirecta
Mavenorg.scalatest:scalatest_2.123.0.5indirecta
Mavenorg.sonatype.central:central-publishing-maven-plugin0.6.0indirecta
Avisos de dependencias 8

Instalar maven:io.github.de-tu-dresden-inf-lat:evee-data@0.6 arrastra 80 paquetes, directos y transitivos: 8 tienen avisos conocidos, de los cuales 2 son dependencias directas.

PaqueteVersiónRelaciónGravedadAvisosCorregido en
com.fasterxml.jackson.core:jackson-databind2.9.8directacrítica553.1.4
ch.qos.logback:logback-classic1.2.6directaalta11.4.12
ch.qos.logback:logback-core1.2.6indirectaalta81.5.34
com.fasterxml.jackson.core:jackson-core2.9.10indirectaalta43.2.1
commons-io:commons-io2.7indirectaalta12.14.0
com.google.guava:guava30.0-jreindirectamoderada232.0.0-android
org.apache.httpcomponents:httpclient4.5.10indirectamoderada15.0.3
org.apache.james:apache-mime4j-core0.7.2indirectamoderada10.8.10

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": [],
      "is_fork": false,
      "size_kb": 135104,
      "has_wiki": true,
      "homepage": null,
      "languages": {
        "Java": 1304285,
        "Scala": 144297
      },
      "pushed_at": "2026-07-24T11:21:00Z",
      "created_at": "2022-04-22T07:17:01Z",
      "owner_type": "Organization",
      "updated_at": "2026-07-16T14:32:23Z",
      "description": "Library and Protégé plugin for generating Description Logic explanations",
      "is_archived": false,
      "is_disabled": false,
      "license_spdx": "MIT",
      "default_branch": "main",
      "license_spdx_raw": "MIT",
      "primary_language": "Java",
      "significant_languages": [
        "Java"
      ]
    },
    "owner": {
      "blog": "https://lat.inf.tu-dresden.de/",
      "name": "Technische Universität Dresden, Fakultät Informatik, Lehrstuhl für Automatentheorie",
      "type": "Organization",
      "login": "de-tu-dresden-inf-lat",
      "company": null,
      "location": "Dresden, Germany",
      "followers": 7,
      "avatar_url": "https://avatars.githubusercontent.com/u/83215825?v=4",
      "created_at": "2021-04-26T10:10:45Z",
      "is_verified": null,
      "public_repos": 19,
      "account_age_days": 1915
    },
    "license": {
      "state": "standard",
      "spdx_id": "MIT",
      "raw_spdx": "MIT",
      "file_present": true,
      "scorecard_found": true,
      "profile_has_license": true
    },
    "activity": {
      "releases": [
        {
          "tag": "v0.6",
          "kind": "other",
          "published_at": "2026-07-16T14:12:08Z"
        },
        {
          "tag": "v0.5",
          "kind": "other",
          "published_at": "2026-02-19T17:11:23Z"
        },
        {
          "tag": "v0.4",
          "kind": "other",
          "published_at": "2025-08-29T11:17:17Z"
        }
      ],
      "recent_commits": [
        {
          "oid": "4ace49cb1c00a9a8b3c49998e22b5ecfc336d263",
          "body": "Fix poms for maven",
          "is_bot": false,
          "headline": "Merge pull request #55 from de-tu-dresden-inf-lat/development",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-07-16T14:09:58Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "059479e3dde13ed26f91d87a38b4d9e8166da66a",
          "body": "* update README\n\n* bump up version\n\n* HOTFIX missing entailments tab\n\n* bump up version",
          "is_bot": false,
          "headline": "HOTFIX: missing entailment tab (#54)",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-07-16T12:44:27Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "2d0ac3fe3d5ad6b3c976d0b73c7ca302e2c67f80",
          "body": null,
          "is_bot": false,
          "headline": "Merge branch 'main' into development",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-07-16T12:38:04Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6ff38f501c3906301002ef15cd29083cf0f4cbc9",
          "body": null,
          "is_bot": false,
          "headline": "bump up version",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-07-16T12:37:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "db99584913ef92058567f4022a6180e70ac9430c",
          "body": null,
          "is_bot": false,
          "headline": "HOTFIX missing entailments tab",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-07-16T12:34:49Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b7326864a9d2da2547932570f62ed5031434d978",
          "body": null,
          "is_bot": false,
          "headline": "bump up version",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-07-15T11:49:14Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5263b9f9fac01c45f3d578fcf79741102d76b287",
          "body": null,
          "is_bot": false,
          "headline": "update README (#53)",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-07-15T11:48:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b0ba2e2d1167c26ddb88c183e933c186a928efdb",
          "body": null,
          "is_bot": false,
          "headline": "Merge branch 'main' into development",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-07-15T11:39:36Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3a36e543de0a6f6c40af246f03ec4b2ab05ded07",
          "body": null,
          "is_bot": false,
          "headline": "update README",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-07-15T11:32:22Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b9200a36de08f8f4424b3f5ae252d9603b8e7f78",
          "body": "v0.6",
          "is_bot": false,
          "headline": "Merge pull request #52 from de-tu-dresden-inf-lat/development",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-07-09T14:14:58Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8fc17d3185b76ff4983898947b6561237dfe5d7e",
          "body": null,
          "is_bot": false,
          "headline": "fix elk-extractor pom",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-07-09T14:08:32Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f25bdb0e5b103dd374b2013fd77d148863bc1b09",
          "body": null,
          "is_bot": false,
          "headline": "bump up version",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-07-09T14:01:15Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "33b115f6202ec8fa7548906b0da34458af48fc90",
          "body": null,
          "is_bot": false,
          "headline": "Merge branch 'main' into development",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-07-09T13:54:06Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "273362de8fe2b8d5adb9c9d06d7ca6bb00f68e5b",
          "body": "…nto development",
          "is_bot": false,
          "headline": "Merge branch 'development' of github.com:de-tu-dresden-inf-lat/evee i…",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2026-06-03T12:19:08Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "aa7478d61e5ae842a2c827d92ee61389f66b99de",
          "body": null,
          "is_bot": false,
          "headline": "mvn sbt plugin",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2026-06-03T12:18:49Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "34c6a1c763a712c286559d7e01585f5ce8101495",
          "body": "…t/evee into development\n\nmerge",
          "is_bot": false,
          "headline": "Merge branch 'development' of https://github.com/de-tu-dresden-inf-la…",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-06-03T09:13:58Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7a1f11e12d47a13f707ebc1cf2a2dddf4baec0b6",
          "body": null,
          "is_bot": false,
          "headline": "fix capi #50",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-06-03T09:13:41Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "827b4ce64385f605ac2a4d4c16d88727efd40112",
          "body": "…nto development",
          "is_bot": false,
          "headline": "Merge branch 'development' of github.com:de-tu-dresden-inf-lat/evee i…",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2026-05-28T17:11:31Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "93542a1a71a6d4ba88c81884e37bcf128812e218",
          "body": null,
          "is_bot": false,
          "headline": "modified Import-Package for elk-proof-extractor",
          "author_name": "Stefan Borgwardt",
          "author_login": "stefborg",
          "committed_at": "2026-05-27T12:28:50Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4bfec1f044512f0916193e1a5191ba94e49677df",
          "body": null,
          "is_bot": false,
          "headline": "_",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2026-05-19T14:16:20Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "cd7534b4ed9d45e505a908d5e6f4a7d1a972a3c9",
          "body": null,
          "is_bot": false,
          "headline": "relevant counterexample",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2026-05-19T14:07:35Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "13cf89f47ca061c02bcc4fb8f96af6e316f70b12",
          "body": "Clarify dependency usage for Evee library",
          "is_bot": false,
          "headline": "Merge pull request #51 from de-tu-dresden-inf-lat/stefborg-patch-1",
          "author_name": "Stefan Borgwardt",
          "author_login": "stefborg",
          "committed_at": "2026-04-29T06:54:40Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5ac2578d88675ace66aa5c67fceb7be40587e884",
          "body": "Updated dependency instructions for using Evee as a library to specify 'evee-libs-owlapiX' instead of 'evee-libs'.",
          "is_bot": false,
          "headline": "Clarify dependency usage for Evee library",
          "author_name": "Stefan Borgwardt",
          "author_login": "stefborg",
          "committed_at": "2026-04-29T06:51:04Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "1a080cc46d2025e51b63f9a9d0f851d8eb606f14",
          "body": null,
          "is_bot": false,
          "headline": "replace asOWLSubClassOfAxioms() calls & other fixes",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-04-22T15:42:13Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ab19ae03192f2b2a218f56c021cc2926388b9d6a",
          "body": null,
          "is_bot": false,
          "headline": "new project structure",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-03-26T16:10:56Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ac7f802dcd62a8d365cb07f9d9eb3bfd05fec157",
          "body": null,
          "is_bot": false,
          "headline": "bump up version",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-02-26T13:08:28Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "cb0558a401e6bcc9853af597a7f71332d86ec5f7",
          "body": null,
          "is_bot": false,
          "headline": "Small modifications to README",
          "author_name": "Stefan Borgwardt",
          "author_login": "stefborg",
          "committed_at": "2026-02-20T06:11:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3fe6d9df75337e541f80ff5a8fcda23e1ff4c8dc",
          "body": null,
          "is_bot": false,
          "headline": "added pom info to protege-core",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-02-19T17:10:38Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "80e3d9097f0c7807c759b044baab8b6940ca19dc",
          "body": null,
          "is_bot": false,
          "headline": "fix bundle name protege-core",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-02-19T16:46:10Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "26dff3170e656e7c46dc0b308ddb0be43d2d8dc0",
          "body": null,
          "is_bot": false,
          "headline": "Merge branch 'main' of https://github.com/de-tu-dresden-inf-lat/evee",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-02-19T16:28:51Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "33d88c737f1d93e22c7cd920f58386d3d0eee511",
          "body": null,
          "is_bot": false,
          "headline": "add req pom fields",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-02-19T16:27:53Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7e272927c2248e6c55fb7838abe758c86db696a7",
          "body": null,
          "is_bot": false,
          "headline": "update README",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-02-19T15:21:10Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "daf23409754db44735df2db31ab72843d2adbc67",
          "body": "* fix elimination-core-owl5 build\n\n* proof-explanation protege version\n\n* clean up actions\n\n* other fixes",
          "is_bot": false,
          "headline": "Release action (#48)",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-02-19T15:16:09Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "593f855ec0fc78b97cfc6e5685d5cca2bba5c641",
          "body": null,
          "is_bot": false,
          "headline": "clean up actions",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-02-19T15:10:01Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5c1c964dca7d4929622f711b2407b90b45c7277d",
          "body": null,
          "is_bot": false,
          "headline": "proof-explanation protege version",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-02-19T12:21:41Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "302d102303d2e73bf80406906e2374d8fc410e53",
          "body": null,
          "is_bot": false,
          "headline": "fix pom",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-02-19T11:50:59Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5a6db6502c1ad7da39160c653062ffe97da8816f",
          "body": null,
          "is_bot": false,
          "headline": "fix elimination-core-owl5 build",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-02-19T11:45:56Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ed20b366de7bf9625a12651da0314e601b6efea2",
          "body": null,
          "is_bot": false,
          "headline": "fix2",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-02-13T16:41:15Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "869ec56dd3ec37e2012048626a4f0f4a16c2b7e7",
          "body": null,
          "is_bot": false,
          "headline": "fix2",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-02-13T16:35:03Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "82abc6c0ce23bb9c11bb16cb5f5a6362c76b0642",
          "body": null,
          "is_bot": false,
          "headline": "fix release action",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-02-13T16:29:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "eb9f30e478428ef6dd995515001b39cd4cc5e5cf",
          "body": "new workflows and dependency management",
          "is_bot": false,
          "headline": "Merge pull request #47 from de-tu-dresden-inf-lat/development",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-02-13T16:10:58Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "04fc60df90df9a77d7a55c2af58c406d06f0a348",
          "body": null,
          "is_bot": false,
          "headline": "new workflows and dependency management",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2026-02-13T16:04:41Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5dcd8eb73a5941861c871ceb22e1ad4c4995b8a0",
          "body": null,
          "is_bot": false,
          "headline": "bump up mvn compiler plugin version",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2025-12-16T13:20:38Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "108b0d7b9c56e3f34363eef9738d47b191dcc4b6",
          "body": null,
          "is_bot": false,
          "headline": "upgrade java version build check",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2025-12-12T13:05:37Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "00d67931a396913fbbb7ce32f3e9b12fa6c9b1b9",
          "body": null,
          "is_bot": false,
          "headline": "fix FAME dependency clash",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2025-12-12T12:56:48Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9b9392e84450d1e1f01e81bedc360f357899d9db",
          "body": null,
          "is_bot": false,
          "headline": "bug fixes",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2025-12-04T14:29:39Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b67329a9e07c3a2c39fdcb774d3712bddcb0f365",
          "body": "* compile evee for Protege 5.6.1 using JDK 11; also requires updates to protege, protege-proof-explanation, elk\n\n* progress towards 5.6.4\n\n* more updated dependencies\n\n* merge development\n\n* fix pom files\n\n---------\n\nCo-authored-by: Stefan Borgwardt <stefan.borgwardt@tu-dresden.de>",
          "is_bot": false,
          "headline": "Protege 5.6.4 (#45)",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2025-11-25T14:22:37Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "046acb7aa328af793406c0e13428f581b785d935",
          "body": null,
          "is_bot": false,
          "headline": "CAPI with java 8",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2025-11-20T14:29:37Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "53e436c955cf6bdbd7940ef7ababc6b35924b6e1",
          "body": null,
          "is_bot": false,
          "headline": "rollback data constr. & better error handling",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2025-11-18T15:19:54Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8aaf42b2ee692dc15b949f3e41c7e6a9a7995fae",
          "body": null,
          "is_bot": false,
          "headline": "data constructors",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2025-11-11T14:13:33Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "268ef8fcc16334a7d566472cec4d3be44475f166",
          "body": null,
          "is_bot": false,
          "headline": "Merge branch 'development' into NonELConstructors",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2025-10-28T13:32:10Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c35a797fcb24873e5c3ea958246ffe156facc640",
          "body": null,
          "is_bot": false,
          "headline": "number restriction parsing",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2025-10-28T13:29:31Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "eea2f234b7808aafb25611a763a08730bbc84a2a",
          "body": null,
          "is_bot": false,
          "headline": "_",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2025-10-27T18:10:07Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5d20035a2b4e4d10ac57691769f199eea1a926fc",
          "body": null,
          "is_bot": false,
          "headline": "updated and complete capi version",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2025-10-27T17:46:16Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5d60b32ac9052829636b8016435d9d069986d1cc",
          "body": null,
          "is_bot": false,
          "headline": "updated installation of CAPI in lib",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2025-10-22T14:51:47Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7be52382c58694ee7ef750cd760cb605f017285d",
          "body": null,
          "is_bot": false,
          "headline": "Upgrade to ELK 0.6.0",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2025-10-22T13:02:37Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3d4ad44f5d888bb521a18cd971305fa432d9044f",
          "body": null,
          "is_bot": false,
          "headline": "_",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2025-10-22T10:57:47Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "46c8e0b3e556032a1033e336c5ab62d19d59ca63",
          "body": null,
          "is_bot": false,
          "headline": "linearity evaluators",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2025-10-22T10:54:26Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d1ddce9851b1a106e7b801651def36187c6b37ff",
          "body": null,
          "is_bot": false,
          "headline": "OneOf & hasSelf constujr",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2025-10-16T13:18:50Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5e57d267d35df8195bb5e4dbccdbecb04527c8eb",
          "body": null,
          "is_bot": false,
          "headline": "added disjunctions and number & universal restr",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2025-10-09T13:34:20Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "89df31eedf1b1f74c6231d8b137795fb167cf043",
          "body": "…eeProofPreferencesManager",
          "is_bot": false,
          "headline": "update evee-protege-nemo-proof-extractor to new version of AbstractEv…",
          "author_name": "Stefan Borgwardt",
          "author_login": "stefborg",
          "committed_at": "2025-09-10T09:45:45Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "315d24172e16b9199867a8a350889c905101e6b4",
          "body": "# Conflicts:\n#\tevee-data/evee-data-owlapi4/pom.xml\n#\tevee-data/evee-data-owlapi5/pom.xml\n#\tevee-protege/evee-protege-abduction-capi/src/main/java/de/tu_dresden/inf/lat/evee/protege/abduction/capiBasedNonEntailmentExplanationService/CapiAbductionSolver.java\n#\tevee-protege/evee-protege-core/pom.xml\n#\tevee-protege/evee-protege-counterexample-ELKRelevant/src/main/resources/plugin.xml\n#\tpom.xml",
          "is_bot": false,
          "headline": "Merge branch 'main' into development",
          "author_name": "Stefan Borgwardt",
          "author_login": "stefborg",
          "committed_at": "2025-09-09T12:01:12Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "315a24aaf8f8089c0958e8ec1ea8bface6ca7477",
          "body": null,
          "is_bot": false,
          "headline": "fix logging and C11LaconicGCICountEvaluator",
          "author_name": "Stefan Borgwardt",
          "author_login": "stefborg",
          "committed_at": "2025-09-09T11:43:11Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "65ab9f8d15083d91115e16b436602e9776d0a744",
          "body": null,
          "is_bot": false,
          "headline": "Merge branch 'main' of github.com:de-tu-dresden-inf-lat/evee",
          "author_name": "Stefan Borgwardt",
          "author_login": "stefborg",
          "committed_at": "2025-09-09T11:31:54Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d9e767b208798a0510dbde1dea79d74417169003",
          "body": null,
          "is_bot": false,
          "headline": "Update README.md for v0.4",
          "author_name": "Stefan Borgwardt",
          "author_login": "stefborg",
          "committed_at": "2025-09-02T12:04:48Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5d3529f8fc7cdfd51f062beb29390905531de935",
          "body": null,
          "is_bot": false,
          "headline": "Create build pipeline",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2025-08-29T14:24:56Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f4d34593edd39fa4b6d8da7623d09513a5f64951",
          "body": null,
          "is_bot": false,
          "headline": "0.4 release",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2025-08-29T12:48:38Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0bd8cc25b9c602d56625561e13d1152d42d48186",
          "body": "Nemo extractor\n\nSee merge request tofr961c/evee-internal!1",
          "is_bot": false,
          "headline": "Merge branch 'nemo-extractor' into 'main'",
          "author_name": "Philipp Herrmann",
          "author_login": null,
          "committed_at": "2025-08-29T12:32:42Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "29896013fe01b220ce19a1a50501439f8b1bedd9",
          "body": null,
          "is_bot": false,
          "headline": "Nemo extractor",
          "author_name": "Philipp Herrmann",
          "author_login": null,
          "committed_at": "2025-08-29T12:32:42Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f10e44c0561d19ea55e065215aa9a7caa0f6fc7d",
          "body": "* added NEMO engine for proof generation\n\n* added nemo extractor to evee-protege\n\n* hotfix: nemo v0.8",
          "is_bot": false,
          "headline": "Nemo extractor (#40)",
          "author_name": "maphih",
          "author_login": "maphih",
          "committed_at": "2025-08-29T11:13:05Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ce549755494b43bab070a6fb611b006137a454c4",
          "body": null,
          "is_bot": false,
          "headline": "Merge branch 'main' of github.com:de-tu-dresden-inf-lat/evee",
          "author_name": "Patrick Koopmann",
          "author_login": "PKoopmann",
          "committed_at": "2025-05-09T16:04:38Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b0a55c49d538732bc0cc0f144358b5945936da7d",
          "body": null,
          "is_bot": false,
          "headline": "command line options for generating and minimizing proofs",
          "author_name": "Patrick Koopmann",
          "author_login": "PKoopmann",
          "committed_at": "2025-05-09T16:04:32Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6f562de37066546c887394333dbe22bd94ccb382",
          "body": null,
          "is_bot": false,
          "headline": "extended also RecursiveProof",
          "author_name": "Stefan Borgwardt",
          "author_login": "stefborg",
          "committed_at": "2025-02-25T10:55:34Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "32c0ab7bf80ee5c4a8517e9dfc4f79cabad8d29d",
          "body": "…py of a proof",
          "is_bot": false,
          "headline": "added 'withoutDuplicateInferences' method to create a deduplicated co…",
          "author_name": "Stefan Borgwardt",
          "author_login": "stefborg",
          "committed_at": "2025-02-25T10:13:47Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "10edce1e651d28d562917878ef02973b575addc8",
          "body": null,
          "is_bot": false,
          "headline": "main branch is now on version 0.4-SNAPSHOT",
          "author_name": "Stefan Borgwardt",
          "author_login": "stefborg",
          "committed_at": "2024-11-06T13:13:43Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6ae8902c5e6986562127e68195326764df14ddf0",
          "body": null,
          "is_bot": false,
          "headline": "development branch is now on version 0.4-SNAPSHOT",
          "author_name": "Stefan Borgwardt",
          "author_login": "stefborg",
          "committed_at": "2024-11-05T14:59:33Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9441316ed829e0acc05a892b4e43237a92d577e3",
          "body": "…ent prepared",
          "is_bot": false,
          "headline": "maven plugins aligned between sub-projects; maven plugins for deploym…",
          "author_name": "Tom Friese",
          "author_login": "tomfriese",
          "committed_at": "2024-11-03T14:38:06Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b718ddf6d43fdf09c91eb7552dba9c2547181879",
          "body": "…fr961c/evee-internal into development",
          "is_bot": false,
          "headline": "Merge branch 'development' of https://gitlab.tcs.inf.tu-dresden.de/to…",
          "author_name": "Tom Friese",
          "author_login": "tomfriese",
          "committed_at": "2024-09-25T08:02:51Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "1a47e4b95d755db89258ed44abb57240785fec1b",
          "body": "…t/evee into development",
          "is_bot": false,
          "headline": "Merge branch 'development' of https://github.com/de-tu-dresden-inf-la…",
          "author_name": "Tom Friese",
          "author_login": "tomfriese",
          "committed_at": "2024-09-25T08:01:39Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "1a6e5283e70863a19e43a3dda385810d513354fa",
          "body": null,
          "is_bot": false,
          "headline": "mult domain: greater --> less",
          "author_name": "Patrick Koopmann",
          "author_login": "PKoopmann",
          "committed_at": "2024-09-20T11:06:46Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "bc48ebc618245a59d79ab1b92e2011b95d2287c5",
          "body": "…fr961c/evee-internal into development",
          "is_bot": false,
          "headline": "Merge branch 'development' of https://gitlab.tcs.inf.tu-dresden.de/to…",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2024-09-13T13:54:28Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "31c7a4aa463d3b8a64932897892b66f5e54b3253",
          "body": null,
          "is_bot": false,
          "headline": "elEplicator profile in pom",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2024-09-13T13:54:12Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "71cbe0fba0969ea16bd0c839fb0dc750f4ad9b0a",
          "body": "… missing entailment",
          "is_bot": false,
          "headline": "bugfix issue #129: ontology imports considered when adding axioms for…",
          "author_name": "Tom Friese",
          "author_login": "tomfriese",
          "committed_at": "2024-09-11T14:43:08Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "be7d03a78479f29d0c7d3b35764997302ba764eb",
          "body": null,
          "is_bot": false,
          "headline": "removed redundant dependencies",
          "author_name": "Tom Friese",
          "author_login": "tomfriese",
          "committed_at": "2024-09-11T13:18:03Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "1d3ce89e897496c8633716ae64e9c62afeaa69ff",
          "body": null,
          "is_bot": false,
          "headline": "changed to snapshot version",
          "author_name": "Patrick Koopmann",
          "author_login": "PKoopmann",
          "committed_at": "2024-08-29T15:48:39Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f2fe863dd3d399bede47095e08511527bb2e2d24",
          "body": null,
          "is_bot": false,
          "headline": "..",
          "author_name": "Patrick Koopmann",
          "author_login": "PKoopmann",
          "committed_at": "2024-08-29T14:15:47Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "388238292c588a5c96815ca5147b0d4207d74d30",
          "body": "…fr961c/evee-internal into development",
          "is_bot": false,
          "headline": "Merge branch 'development' of https://gitlab.tcs.inf.tu-dresden.de/to…",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2024-08-28T15:25:36Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4e93c3142a20c8281bb10b0c1c35d686b4a9b5ae",
          "body": null,
          "is_bot": false,
          "headline": "added elExplicator profile",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2024-08-28T15:25:11Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9f35b633f38520eb94d2751d7539363f066f3558",
          "body": null,
          "is_bot": false,
          "headline": "new concrete domain",
          "author_name": "Patrick Koopmann",
          "author_login": "PKoopmann",
          "committed_at": "2024-08-27T12:52:56Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6b447b07384b7e6ec03d982d0b519d346c5e2bc8",
          "body": "…fr961c/evee-internal into development",
          "is_bot": false,
          "headline": "Merge branch 'development' of https://gitlab.tcs.inf.tu-dresden.de/to…",
          "author_name": "Tom Friese",
          "author_login": "tomfriese",
          "committed_at": "2024-08-25T16:35:43Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0d0c0c9f5cfab90b59d4373f2281008fff71d344",
          "body": null,
          "is_bot": false,
          "headline": "plugin: counterexample plugin IDs renamed for better readability",
          "author_name": "Tom Friese",
          "author_login": "tomfriese",
          "committed_at": "2024-08-25T16:35:38Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5a15bf9edf27a87dd86356d473a8714bc2871610",
          "body": null,
          "is_bot": false,
          "headline": "model datastructures ToOWLTools",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2024-08-23T13:06:29Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "1ae591bd2927579bee0a5f47938e01e9a44ed1cd",
          "body": "…fr961c/evee-internal into development",
          "is_bot": false,
          "headline": "Merge branch 'development' of https://gitlab.tcs.inf.tu-dresden.de/to…",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2024-08-22T12:02:04Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8f8b38b20bb28f918fa8a665bf2625fe532eff5b",
          "body": null,
          "is_bot": false,
          "headline": "adjusted ProofType enum",
          "author_name": "Christian Al-rabaa (Student of Lukas)",
          "author_login": "ChristianAlrabbaa",
          "committed_at": "2024-08-22T12:01:48Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f0290fd82dc3712aaff014da80c397813e9c9cc9",
          "body": null,
          "is_bot": false,
          "headline": "change to proof preferences manager related to commit 87259043",
          "author_name": "Tom Friese",
          "author_login": "tomfriese",
          "committed_at": "2024-08-21T14:41:51Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a03676393ffa08bc09f084e07d18c79ad8a50cee",
          "body": "…ervice; bugfix: abduction result is now reset correctly on active ontology change",
          "is_bot": false,
          "headline": "refactoring; removed componentSetting from INonEntailmentExplanationS…",
          "author_name": "Tom Friese",
          "author_login": "tomfriese",
          "committed_at": "2024-08-21T14:41:14Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "fcb0e9ba2c488282814ac8c82be6e1457ef6c910",
          "body": null,
          "is_bot": false,
          "headline": "updated lat-scala-dl-tools to newest version",
          "author_name": "Tom Friese",
          "author_login": "tomfriese",
          "committed_at": "2024-08-21T14:33:59Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "872590438dc328386c42d16a481e305538b9baa8",
          "body": null,
          "is_bot": false,
          "headline": "proof services: changes to saving preferences",
          "author_name": "Tom Friese",
          "author_login": "tomfriese",
          "committed_at": "2024-08-21T14:33:36Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ed8a1ac44c2507c2add6a266095c884ba209d524",
          "body": null,
          "is_bot": false,
          "headline": "code cleanup",
          "author_name": "Tom Friese",
          "author_login": "tomfriese",
          "committed_at": "2024-08-21T14:28:26Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "fccc7df5bca8a5e269a4915958257b832e739e79",
          "body": null,
          "is_bot": false,
          "headline": "small model generator owlapi5 added to evee libs",
          "author_name": "Tom Friese",
          "author_login": "tomfriese",
          "committed_at": "2024-08-21T14:27:53Z",
          "body_truncated": false,
          "is_coding_agent": false
        }
      ],
      "releases_count": 3,
      "commits_last_year": 70,
      "latest_release_at": "2026-07-16T14:12:08Z",
      "latest_release_tag": "v0.6",
      "releases_from_tags": false,
      "days_since_last_push": 0,
      "active_weeks_last_year": 21,
      "days_since_latest_release": 7,
      "mean_days_between_releases": 160.6
    },
    "community": {
      "has_readme": true,
      "has_license": true,
      "has_description": true,
      "has_contributing": false,
      "health_percentage": 37,
      "has_issue_template": false,
      "has_code_of_conduct": false,
      "has_pull_request_template": false
    },
    "ecosystem": {
      "packages": [
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-data",
          "exists": true,
          "license": "MIT License",
          "keywords": [],
          "ecosystem": "maven",
          "matches_repo": null,
          "registry_url": "https://central.sonatype.com/artifact/io.github.de-tu-dresden-inf-lat/evee-data",
          "is_deprecated": false,
          "latest_version": "0.6",
          "repository_url": null,
          "versions_count": 2,
          "total_downloads": null,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": null,
          "first_published_at": null,
          "latest_published_at": "2026-07-16T14:29:16Z",
          "latest_version_yanked": null,
          "days_since_latest_publish": 7
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-libs",
          "exists": true,
          "license": "MIT License",
          "keywords": [],
          "ecosystem": "maven",
          "matches_repo": null,
          "registry_url": "https://central.sonatype.com/artifact/io.github.de-tu-dresden-inf-lat/evee-libs",
          "is_deprecated": false,
          "latest_version": "0.6",
          "repository_url": null,
          "versions_count": 2,
          "total_downloads": null,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": null,
          "first_published_at": null,
          "latest_published_at": "2026-07-16T14:29:18Z",
          "latest_version_yanked": null,
          "days_since_latest_publish": 7
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-elk-proof-extractor",
          "exists": true,
          "license": "MIT License",
          "keywords": [],
          "ecosystem": "maven",
          "matches_repo": null,
          "registry_url": "https://central.sonatype.com/artifact/io.github.de-tu-dresden-inf-lat/evee-elk-proof-extractor",
          "is_deprecated": false,
          "latest_version": "0.6",
          "repository_url": null,
          "versions_count": 2,
          "total_downloads": null,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": null,
          "first_published_at": null,
          "latest_published_at": "2026-07-16T14:29:17Z",
          "latest_version_yanked": null,
          "days_since_latest_publish": 7
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-nemo-proof-extractor",
          "exists": true,
          "license": "MIT License",
          "keywords": [],
          "ecosystem": "maven",
          "matches_repo": null,
          "registry_url": "https://central.sonatype.com/artifact/io.github.de-tu-dresden-inf-lat/evee-nemo-proof-extractor",
          "is_deprecated": false,
          "latest_version": "0.6",
          "repository_url": null,
          "versions_count": 2,
          "total_downloads": null,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": null,
          "first_published_at": null,
          "latest_published_at": "2026-07-16T14:29:15Z",
          "latest_version_yanked": null,
          "days_since_latest_publish": 7
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-lethe-proof-extractor",
          "exists": true,
          "license": "MIT License",
          "keywords": [],
          "ecosystem": "maven",
          "matches_repo": null,
          "registry_url": "https://central.sonatype.com/artifact/io.github.de-tu-dresden-inf-lat/evee-lethe-proof-extractor",
          "is_deprecated": false,
          "latest_version": "0.6",
          "repository_url": null,
          "versions_count": 2,
          "total_downloads": null,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": null,
          "first_published_at": null,
          "latest_published_at": "2026-07-16T14:29:14Z",
          "latest_version_yanked": null,
          "days_since_latest_publish": 7
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-small-model-generator",
          "exists": true,
          "license": "MIT License",
          "keywords": [],
          "ecosystem": "maven",
          "matches_repo": null,
          "registry_url": "https://central.sonatype.com/artifact/io.github.de-tu-dresden-inf-lat/evee-small-model-generator",
          "is_deprecated": false,
          "latest_version": "0.6",
          "repository_url": null,
          "versions_count": 2,
          "total_downloads": null,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": null,
          "monthly_downloads": null,
          "first_published_at": null,
          "latest_published_at": "2026-07-16T14:29:16Z",
          "latest_version_yanked": null,
          "days_since_latest_publish": 7
        }
      ]
    },
    "popularity": {
      "forks": 1,
      "stars": 17,
      "watchers": 4,
      "fork_history": {
        "days": [
          {
            "date": "2024-01-31",
            "count": 1
          }
        ],
        "complete": true,
        "collected": 1,
        "total_forks": 1
      },
      "star_history": null,
      "open_issues_and_prs": 32
    },
    "ai_readiness": {
      "has_nix": false,
      "example_dirs": [
        "examples"
      ],
      "has_llms_txt": false,
      "has_dockerfile": false,
      "has_mcp_signal": false,
      "bootstrap_files": [],
      "api_schema_files": [],
      "has_devcontainer": false,
      "typecheck_configs": [],
      "toolchain_manifests": [
        "evee-data/pom.xml",
        "evee-elimination-proofs/evee-elimination-proofs-core_2.12/pom.xml",
        "evee-elimination-proofs/evee-elimination-proofs-fame_2.12/pom.xml",
        "evee-elimination-proofs/evee-elimination-proofs-lethe_2.12/pom.xml",
        "evee-elimination-proofs/pom.xml",
        "evee-elk-proof-extractor/pom.xml",
        "evee-lethe-proof-extractor/pom.xml",
        "evee-libs/pom.xml",
        "evee-nemo-proof-extractor/pom.xml",
        "evee-protege-release/pom.xml",
        "evee-protege/evee-protege-abduction-capi/pom.xml",
        "evee-protege/evee-protege-abduction-lethe/pom.xml",
        "evee-protege/evee-protege-core/pom.xml",
        "evee-protege/evee-protege-counterexample-EL/pom.xml",
        "evee-protege/evee-protege-counterexample-ELKRelevant/pom.xml",
        "evee-protege/evee-protege-elimination-proofs-fame/pom.xml",
        "evee-protege/evee-protege-elimination-proofs-lethe/pom.xml",
        "evee-protege/evee-protege-elk-proof-extractor/pom.xml",
        "evee-protege/evee-protege-lethe-proof-extractor/pom.xml",
        "evee-protege/evee-protege-nemo-proof-extractor/pom.xml",
        "evee-protege/pom.xml",
        "evee-relevant-counterexample/counterExampleProvider/pom.xml",
        "evee-relevant-counterexample/model-datastructures/pom.xml",
        "evee-relevant-counterexample/pom.xml",
        "evee-small-model-generator/pom.xml",
        "pom.xml"
      ],
      "largest_source_bytes": 72384,
      "source_files_sampled": 418,
      "oversized_source_files": 1,
      "agent_instruction_files": [],
      "agent_instruction_max_bytes": null
    },
    "dependencies": {
      "manifests": [
        "evee-data/pom.xml",
        "evee-elimination-proofs/pom.xml",
        "evee-elk-proof-extractor/pom.xml",
        "evee-lethe-proof-extractor/pom.xml",
        "evee-libs/pom.xml",
        "evee-nemo-proof-extractor/pom.xml",
        "evee-protege-release/pom.xml",
        "evee-protege/pom.xml",
        "evee-relevant-counterexample/pom.xml",
        "evee-small-model-generator/pom.xml",
        "pom.xml"
      ],
      "advisories": {
        "error": null,
        "scope": "published_package",
        "source": "osv",
        "findings": [
          {
            "name": "com.fasterxml.jackson.core:jackson-databind",
            "direct": true,
            "version": "2.9.8",
            "severity": "critical",
            "ecosystem": "maven",
            "cvss_score": 9.8,
            "advisory_ids": [
              "GHSA-27xj-rqx5-2255",
              "GHSA-288c-cq4h-88gq",
              "GHSA-4w82-r329-3q67",
              "GHSA-57j2-w4cx-62h2",
              "GHSA-58pp-9c76-5625",
              "GHSA-5949-rw7g-wx7w",
              "GHSA-5jmj-h7xm-6q6v",
              "GHSA-5p34-5m6p-p58g",
              "GHSA-5r5r-6hpj-8gg9",
              "GHSA-5ww9-j83m-q7qx"
            ],
            "fixed_version": "3.1.4",
            "advisory_count": 55,
            "oldest_advisory_days": 2619
          },
          {
            "name": "ch.qos.logback:logback-classic",
            "direct": true,
            "version": "1.2.6",
            "severity": "high",
            "ecosystem": "maven",
            "cvss_score": 7.1,
            "advisory_ids": [
              "GHSA-vmq6-5m68-f53m"
            ],
            "fixed_version": "1.4.12",
            "advisory_count": 1,
            "oldest_advisory_days": 968
          },
          {
            "name": "ch.qos.logback:logback-core",
            "direct": false,
            "version": "1.2.6",
            "severity": "high",
            "ecosystem": "maven",
            "cvss_score": 7.1,
            "advisory_ids": [
              "GHSA-25qh-j22f-pwp8",
              "GHSA-668q-qrv7-99fm",
              "GHSA-6v67-2wr5-gvf4",
              "GHSA-jhq6-gfmj-v8fx",
              "GHSA-p47f-322f-whfh",
              "GHSA-pr98-23f8-jwxv",
              "GHSA-qqpg-mvqg-649v",
              "GHSA-vmq6-5m68-f53m"
            ],
            "fixed_version": "1.5.34",
            "advisory_count": 8,
            "oldest_advisory_days": 1679
          },
          {
            "name": "com.fasterxml.jackson.core:jackson-core",
            "direct": false,
            "version": "2.9.10",
            "severity": "high",
            "ecosystem": "maven",
            "cvss_score": 7.5,
            "advisory_ids": [
              "GHSA-72hv-8253-57qq",
              "GHSA-h46c-h94j-95f3",
              "GHSA-r7wm-3cxj-wff9",
              "GHSA-wf8f-6423-gfxg"
            ],
            "fixed_version": "3.2.1",
            "advisory_count": 4,
            "oldest_advisory_days": 412
          },
          {
            "name": "commons-io:commons-io",
            "direct": false,
            "version": "2.7",
            "severity": "high",
            "ecosystem": "maven",
            "cvss_score": 7.5,
            "advisory_ids": [
              "GHSA-78wr-2p64-hpwj"
            ],
            "fixed_version": "2.14.0",
            "advisory_count": 1,
            "oldest_advisory_days": 659
          },
          {
            "name": "com.google.guava:guava",
            "direct": false,
            "version": "30.0-jre",
            "severity": "moderate",
            "ecosystem": "maven",
            "cvss_score": 5.5,
            "advisory_ids": [
              "GHSA-5mg8-w23w-74h3",
              "GHSA-7g45-4rm6-3mm3"
            ],
            "fixed_version": "32.0.0-android",
            "advisory_count": 2,
            "oldest_advisory_days": 1946
          },
          {
            "name": "org.apache.httpcomponents:httpclient",
            "direct": false,
            "version": "4.5.10",
            "severity": "moderate",
            "ecosystem": "maven",
            "cvss_score": 5.3,
            "advisory_ids": [
              "GHSA-7r82-7xv7-xcpj"
            ],
            "fixed_version": "5.0.3",
            "advisory_count": 1,
            "oldest_advisory_days": 1876
          },
          {
            "name": "org.apache.james:apache-mime4j-core",
            "direct": false,
            "version": "0.7.2",
            "severity": "moderate",
            "ecosystem": "maven",
            "cvss_score": 5.3,
            "advisory_ids": [
              "GHSA-jw7r-rxff-gv24"
            ],
            "fixed_version": "0.8.10",
            "advisory_count": 1,
            "oldest_advisory_days": 877
          }
        ],
        "collected": true,
        "malicious": [],
        "truncated": false,
        "by_severity": {
          "high": 4,
          "critical": 1,
          "moderate": 3
        },
        "advisory_count": 73,
        "affected_count": 8,
        "assessed_count": 80,
        "malicious_count": 0,
        "assessed_package": "maven:io.github.de-tu-dresden-inf-lat:evee-data@0.6",
        "unassessed_count": 0,
        "direct_affected_count": 2
      },
      "ecosystems": [
        "maven"
      ],
      "dependencies": [
        {
          "name": "net.sourceforge.owlapi:owlapi-distribution",
          "manifest": "evee-data/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${owl5version}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:lat-scala-dl-tools-owlapi5",
          "manifest": "evee-data/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${LatScalaDlTools.Version}"
        },
        {
          "name": "net.sourceforge.owlapi:org.semanticweb.hermit",
          "manifest": "evee-data/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "1.4.3.517"
        },
        {
          "name": "junit:junit",
          "manifest": "evee-data/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "4.13.2"
        },
        {
          "name": "javax.persistence:javax.persistence-api",
          "manifest": "evee-data/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "2.2"
        },
        {
          "name": "com.fasterxml.jackson.core:jackson-databind",
          "manifest": "evee-data/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "2.9.8"
        },
        {
          "name": "com.fasterxml.jackson.core:jackson-annotations",
          "manifest": "evee-data/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "2.9.8"
        },
        {
          "name": "ch.qos.logback:logback-classic",
          "manifest": "evee-data/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "1.2.6"
        },
        {
          "name": "org.scala-lang:scala-library",
          "manifest": "evee-data/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${scala.version}"
        },
        {
          "name": "org.apache.commons:commons-math3",
          "manifest": "evee-data/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "3.6.1"
        },
        {
          "name": "guru.nidi:graphviz-java",
          "manifest": "evee-elimination-proofs/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "0.18.1"
        },
        {
          "name": "ch.qos.logback:logback-classic",
          "manifest": "evee-elimination-proofs/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "1.2.3"
        },
        {
          "name": "com.typesafe.scala-logging:scala-logging_2.12",
          "manifest": "evee-elimination-proofs/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "3.9.2"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-data",
          "manifest": "evee-elk-proof-extractor/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${project.version}"
        },
        {
          "name": "io.github.liveontologies:elk-owlapi",
          "manifest": "evee-elk-proof-extractor/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "0.6.0"
        },
        {
          "name": "junit:junit",
          "manifest": "evee-elk-proof-extractor/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "4.4"
        },
        {
          "name": "org.junit.jupiter:junit-jupiter-engine",
          "manifest": "evee-lethe-proof-extractor/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "5.8.2"
        },
        {
          "name": "net.sourceforge.owlapi:owlapi-distribution",
          "manifest": "evee-lethe-proof-extractor/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${owl5version}"
        },
        {
          "name": "net.sourceforge.owlapi:org.semanticweb.hermit",
          "manifest": "evee-lethe-proof-extractor/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "1.4.3.517"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:lethe-owlapi5",
          "manifest": "evee-lethe-proof-extractor/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${LETHE.Version}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-data",
          "manifest": "evee-lethe-proof-extractor/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${project.version}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-data",
          "manifest": "evee-libs/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${project.version}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-elimination-proofs-core_2.12",
          "manifest": "evee-libs/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${project.version}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-elimination-proofs-fame_2.12",
          "manifest": "evee-libs/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${project.version}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-elimination-proofs-lethe_2.12",
          "manifest": "evee-libs/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${project.version}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-elk-proof-extractor",
          "manifest": "evee-libs/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${project.version}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-lethe-proof-extractor",
          "manifest": "evee-libs/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${project.version}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-small-model-generator",
          "manifest": "evee-libs/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${project.version}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:counterExampleProvider",
          "manifest": "evee-libs/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${project.version}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-nemo-proof-extractor",
          "manifest": "evee-libs/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${project.version}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-data",
          "manifest": "evee-nemo-proof-extractor/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${project.version}"
        },
        {
          "name": "log4j:log4j",
          "manifest": "evee-nemo-proof-extractor/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "1.2.17"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-protege-core",
          "manifest": "evee-protege-release/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${revision}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-protege-elimination-proofs-fame",
          "manifest": "evee-protege-release/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${revision}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-protege-elimination-proofs-lethe",
          "manifest": "evee-protege-release/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${revision}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-protege-elk-proof-extractor",
          "manifest": "evee-protege-release/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${revision}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-protege-lethe-proof-extractor",
          "manifest": "evee-protege-release/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${revision}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-protege-nemo-proof-extractor",
          "manifest": "evee-protege-release/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${revision}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-protege-counterexample-small-model",
          "manifest": "evee-protege-release/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${revision}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-protege-counterexample-ELKRelevant",
          "manifest": "evee-protege-release/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${revision}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-protege-abduction-capi",
          "manifest": "evee-protege-release/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${revision}"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-protege-abduction-lethe",
          "manifest": "evee-protege-release/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${revision}"
        },
        {
          "name": "junit:junit",
          "manifest": "evee-relevant-counterexample/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "4.4"
        },
        {
          "name": "commons-cli:commons-cli",
          "manifest": "evee-relevant-counterexample/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "1.3.1"
        },
        {
          "name": "org.apache.commons:commons-csv",
          "manifest": "evee-relevant-counterexample/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "1.4"
        },
        {
          "name": "log4j:log4j",
          "manifest": "evee-relevant-counterexample/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "1.2.17"
        },
        {
          "name": "com.fasterxml.jackson.core:jackson-databind",
          "manifest": "evee-relevant-counterexample/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "2.16.1"
        },
        {
          "name": "com.fasterxml.jackson.core:jackson-core",
          "manifest": "evee-relevant-counterexample/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "2.16.1"
        },
        {
          "name": "com.fasterxml.jackson.core:jackson-annotations",
          "manifest": "evee-relevant-counterexample/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "2.16.1"
        },
        {
          "name": "net.sourceforge.owlapi:owlapi-distribution",
          "manifest": "evee-small-model-generator/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${owl5version}"
        },
        {
          "name": "org.slf4j:slf4j-api",
          "manifest": "evee-small-model-generator/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "1.7.30"
        },
        {
          "name": "io.github.de-tu-dresden-inf-lat:evee-data",
          "manifest": "evee-small-model-generator/pom.xml",
          "ecosystem": "maven",
          "version_constraint": "${project.version}"
        }
      ],
      "all_dependencies": {
        "error": null,
        "source": "github-sbom",
        "packages": [
          {
            "name": "ch.qos.logback:logback-classic",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "ch.qos.logback:logback-classic",
            "direct": true,
            "version": "1.2.3",
            "ecosystem": "maven"
          },
          {
            "name": "ch.qos.logback:logback-classic",
            "direct": true,
            "version": "1.2.6",
            "ecosystem": "maven"
          },
          {
            "name": "com.fasterxml.jackson.core:jackson-annotations",
            "direct": true,
            "version": "2.13.3",
            "ecosystem": "maven"
          },
          {
            "name": "com.fasterxml.jackson.core:jackson-annotations",
            "direct": true,
            "version": "2.16.1",
            "ecosystem": "maven"
          },
          {
            "name": "com.fasterxml.jackson.core:jackson-annotations",
            "direct": true,
            "version": "2.9.8",
            "ecosystem": "maven"
          },
          {
            "name": "com.fasterxml.jackson.core:jackson-core",
            "direct": true,
            "version": "2.13.3",
            "ecosystem": "maven"
          },
          {
            "name": "com.fasterxml.jackson.core:jackson-core",
            "direct": true,
            "version": "2.16.1",
            "ecosystem": "maven"
          },
          {
            "name": "com.fasterxml.jackson.core:jackson-databind",
            "direct": true,
            "version": "2.13.3",
            "ecosystem": "maven"
          },
          {
            "name": "com.fasterxml.jackson.core:jackson-databind",
            "direct": true,
            "version": "2.16.1",
            "ecosystem": "maven"
          },
          {
            "name": "com.fasterxml.jackson.core:jackson-databind",
            "direct": true,
            "version": "2.9.8",
            "ecosystem": "maven"
          },
          {
            "name": "com.typesafe.scala-logging:scala-logging_2.12",
            "direct": true,
            "version": "3.9.2",
            "ecosystem": "maven"
          },
          {
            "name": "commons-cli:commons-cli",
            "direct": true,
            "version": "1.3.1",
            "ecosystem": "maven"
          },
          {
            "name": "guru.nidi:graphviz-java",
            "direct": true,
            "version": "0.18.1",
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:counterExampleProvider",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-data",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-elimination-proofs-core_2.12",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-elimination-proofs-fame_2.12",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-elimination-proofs-lethe_2.12",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-elk-proof-extractor",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-lethe-proof-extractor",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-nemo-proof-extractor",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-protege-abduction-capi",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-protege-abduction-lethe",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-protege-core",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-protege-counterexample-ELKRelevant",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-protege-counterexample-small-model",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-protege-elimination-proofs-fame",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-protege-elimination-proofs-lethe",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-protege-elk-proof-extractor",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-protege-lethe-proof-extractor",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-protege-nemo-proof-extractor",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:evee-small-model-generator",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:lat-scala-dl-tools-owlapi5",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:lat-scala-dl-tools-owlapi5",
            "direct": true,
            "version": "0.4.1",
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:lethe-owlapi5",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.liveontologies:elk-owlapi",
            "direct": true,
            "version": "0.6.0",
            "ecosystem": "maven"
          },
          {
            "name": "javax.persistence:javax.persistence-api",
            "direct": true,
            "version": "2.2",
            "ecosystem": "maven"
          },
          {
            "name": "junit:junit",
            "direct": true,
            "version": "4.13.2",
            "ecosystem": "maven"
          },
          {
            "name": "junit:junit",
            "direct": true,
            "version": "4.4",
            "ecosystem": "maven"
          },
          {
            "name": "log4j:log4j",
            "direct": true,
            "version": "1.2.17",
            "ecosystem": "maven"
          },
          {
            "name": "net.sourceforge.owlapi:org.semanticweb.hermit",
            "direct": true,
            "version": "1.4.3.517",
            "ecosystem": "maven"
          },
          {
            "name": "net.sourceforge.owlapi:owlapi-distribution",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "org.apache.commons:commons-csv",
            "direct": true,
            "version": "1.4",
            "ecosystem": "maven"
          },
          {
            "name": "org.apache.commons:commons-math3",
            "direct": true,
            "version": "3.6.1",
            "ecosystem": "maven"
          },
          {
            "name": "org.junit.jupiter:junit-jupiter-engine",
            "direct": true,
            "version": "5.8.2",
            "ecosystem": "maven"
          },
          {
            "name": "org.scala-lang:scala-library",
            "direct": true,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "org.slf4j:slf4j-api",
            "direct": true,
            "version": "1.7.30",
            "ecosystem": "maven"
          },
          {
            "name": "ch.qos.logback:logback-core",
            "direct": false,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "com.google.code.sbt-compiler-maven-plugin:sbt-compiler-maven-plugin",
            "direct": false,
            "version": "1.0.0",
            "ecosystem": "maven"
          },
          {
            "name": "com.google.guava:guava",
            "direct": false,
            "version": "18.0",
            "ecosystem": "maven"
          },
          {
            "name": "com.google.guava:guava",
            "direct": false,
            "version": "21.0",
            "ecosystem": "maven"
          },
          {
            "name": "com.novocode:junit-interface",
            "direct": false,
            "version": "0.11",
            "ecosystem": "maven"
          },
          {
            "name": "edu.stanford.protege:protege-common",
            "direct": false,
            "version": "5.6.4",
            "ecosystem": "maven"
          },
          {
            "name": "edu.stanford.protege:protege-editor-core",
            "direct": false,
            "version": "5.6.4",
            "ecosystem": "maven"
          },
          {
            "name": "edu.stanford.protege:protege-editor-owl",
            "direct": false,
            "version": "5.6.4",
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:capi",
            "direct": false,
            "version": "0.2.1",
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:FamePlus",
            "direct": false,
            "version": "1.0",
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:gs-core",
            "direct": false,
            "version": "2.2",
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:gs-ui-swing",
            "direct": false,
            "version": "2.2",
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:lethe-abduction-owlapi5",
            "direct": false,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "io.github.de-tu-dresden-inf-lat:model-datastructures",
            "direct": false,
            "version": null,
            "ecosystem": "maven"
          },
          {
            "name": "net.alchim31.maven:scala-maven-plugin",
            "direct": false,
            "version": "4.9.9",
            "ecosystem": "maven"
          },
          {
            "name": "net.sourceforge.owlapi:owlapi-api",
            "direct": false,
            "version": "4.5.29",
            "ecosystem": "maven"
          },
          {
            "name": "net.sourceforge.owlapi:owlapi-osgidistribution",
            "direct": false,
            "version": "4.5.29",
            "ecosystem": "maven"
          },
          {
            "name": "org.apache.commons:commons-lang3",
            "direct": false,
            "version": "3.6",
            "ecosystem": "maven"
          },
          {
            "name": "org.apache.felix:maven-bundle-plugin",
            "direct": false,
            "version": "5.1.9",
            "ecosystem": "maven"
          },
          {
            "name": "org.apache.maven.plugins:maven-assembly-plugin",
            "direct": false,
            "version": "3.1.1",
            "ecosystem": "maven"
          },
          {
            "name": "org.apache.maven.plugins:maven-assembly-plugin",
            "direct": false,
            "version": "3.3.0",
            "ecosystem": "maven"
          },
          {
            "name": "org.apache.maven.plugins:maven-compiler-plugin",
            "direct": false,
            "version": "3.13.0",
            "ecosystem": "maven"
          },
          {
            "name": "org.apache.maven.plugins:maven-dependency-plugin",
            "direct": false,
            "version": "3.6.0",
            "ecosystem": "maven"
          },
          {
            "name": "org.apache.maven.plugins:maven-gpg-plugin",
            "direct": false,
            "version": "3.2.7",
            "ecosystem": "maven"
          },
          {
            "name": "org.apache.maven.plugins:maven-jar-plugin",
            "direct": false,
            "version": "3.2.2",
            "ecosystem": "maven"
          },
          {
            "name": "org.apache.maven.plugins:maven-javadoc-plugin",
            "direct": false,
            "version": "3.10.1",
            "ecosystem": "maven"
          },
          {
            "name": "org.apache.maven.plugins:maven-source-plugin",
            "direct": false,
            "version": "3.2.1",
            "ecosystem": "maven"
          },
          {
            "name": "org.apache.maven.plugins:maven-surefire-plugin",
            "direct": false,
            "version": "3.0.0-M5",
            "ecosystem": "maven"
          },
          {
            "name": "org.apache.maven.plugins:maven-surefire-plugin",
            "direct": false,
            "version": "3.0.0-M6",
            "ecosystem": "maven"
          },
          {
            "name": "org.codehaus.mojo:flatten-maven-plugin",
            "direct": false,
            "version": "1.1.0",
            "ecosystem": "maven"
          },
          {
            "name": "org.eclipse.swt.win32.win32:x86",
            "direct": false,
            "version": "3.3.0-v3346",
            "ecosystem": "maven"
          },
          {
            "name": "org.liveontologies:protege-proof-explanation",
            "direct": false,
            "version": "0.1.0",
            "ecosystem": "maven"
          },
          {
            "name": "org.scalatest:scalatest_2.12",
            "direct": false,
            "version": "3.0.5",
            "ecosystem": "maven"
          },
          {
            "name": "org.sonatype.central:central-publishing-maven-plugin",
            "direct": false,
            "version": "0.6.0",
            "ecosystem": "maven"
          }
        ],
        "collected": true,
        "truncated": false,
        "total_count": 82,
        "direct_count": 48,
        "indirect_count": 34
      }
    },
    "maintainership": {
      "issues": {
        "open_prs": 0,
        "merged_prs": 9,
        "open_issues": 32,
        "closed_ratio": 0.273,
        "closed_issues": 12,
        "closed_unmerged_prs": 2
      },
      "bus_factor": 2,
      "bot_contributors": 0,
      "top_contributors": [
        {
          "type": "User",
          "login": "tomfriese",
          "commits": 217,
          "avatar_url": "https://avatars.githubusercontent.com/u/51275265?v=4"
        },
        {
          "type": "User",
          "login": "ChristianAlrabbaa",
          "commits": 69,
          "avatar_url": "https://avatars.githubusercontent.com/u/11408440?v=4"
        },
        {
          "type": "User",
          "login": "PKoopmann",
          "commits": 64,
          "avatar_url": "https://avatars.githubusercontent.com/u/78541868?v=4"
        },
        {
          "type": "User",
          "login": "stefborg",
          "commits": 52,
          "avatar_url": "https://avatars.githubusercontent.com/u/8749392?v=4"
        },
        {
          "type": "User",
          "login": "maphih",
          "commits": 47,
          "avatar_url": "https://avatars.githubusercontent.com/u/75261182?v=4"
        },
        {
          "type": "User",
          "login": "MKotlov789",
          "commits": 46,
          "avatar_url": "https://avatars.githubusercontent.com/u/98273877?v=4"
        },
        {
          "type": "User",
          "login": "Pappapeace",
          "commits": 2,
          "avatar_url": "https://avatars.githubusercontent.com/u/57414586?v=4"
        }
      ],
      "contributors_sampled": 7,
      "top_contributor_share": 0.437
    },
    "quality_signals": {
      "has_ci": true,
      "has_tests": true,
      "ci_workflows": [
        "build-test.yml",
        "release.yml"
      ],
      "has_docs_dir": false,
      "linter_configs": [],
      "has_editorconfig": false,
      "has_linter_config": false,
      "has_precommit_config": false
    },
    "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": 4,
            "reason": "branch protection is not maximal on development and all release branches",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
          },
          {
            "name": "CI-Tests",
            "score": 10,
            "reason": "5 out of 5 merged PRs checked by a CI test -- score normalized to 10",
            "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": 0,
            "reason": "Found 0/9 approved changesets -- score normalized to 0",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
          },
          {
            "name": "Contributors",
            "score": 6,
            "reason": "project has 2 contributing companies or organizations -- score normalized to 6",
            "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": 10,
            "reason": "23 commit(s) and 1 issue activity found in the last 90 days -- score normalized to 10",
            "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": 0,
            "reason": "Project has not signed or included provenance with any releases.",
            "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": 0,
            "reason": "98 existing vulnerabilities detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
          }
        ],
        "commit": "4ace49cb1c00a9a8b3c49998e22b5ecfc336d263",
        "ran_at": "2026-07-24T13:41:05Z",
        "aggregate_score": 3.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": "2026-07-16T14:15:08Z",
      "oldest_open_prs": [],
      "last_merged_pr_at": "2026-07-16T14:09:59Z",
      "ci_last_conclusion": "SUCCESS",
      "oldest_open_issues": [
        {
          "number": 2,
          "created_at": "2025-08-20T10:52:48Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 4,
          "created_at": "2025-08-20T10:56:10Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 5,
          "created_at": "2025-08-20T10:58:03Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 6,
          "created_at": "2025-08-20T10:58:46Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 7,
          "created_at": "2025-08-20T10:59:58Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 9,
          "created_at": "2025-08-20T11:01:27Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 10,
          "created_at": "2025-08-20T11:02:16Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 11,
          "created_at": "2025-08-20T11:02:35Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 12,
          "created_at": "2025-08-20T11:02:53Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 13,
          "created_at": "2025-08-20T11:03:10Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 14,
          "created_at": "2025-08-20T11:03:30Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 15,
          "created_at": "2025-08-20T11:03:56Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 16,
          "created_at": "2025-08-20T11:05:53Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 17,
          "created_at": "2025-08-20T11:06:23Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 18,
          "created_at": "2025-08-20T11:09:24Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 19,
          "created_at": "2025-08-20T11:10:03Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 20,
          "created_at": "2025-08-20T11:11:28Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 21,
          "created_at": "2025-08-20T11:12:17Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 22,
          "created_at": "2025-08-20T11:13:47Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 23,
          "created_at": "2025-08-20T11:15:08Z",
          "last_comment_at": null,
          "last_comment_author": null
        }
      ]
    }
  },
  "config": {
    "disabled_metrics": [],
    "disabled_categories": [],
    "disabled_components": {}
  },
  "source": {
    "url": "https://github.com/de-tu-dresden-inf-lat/evee",
    "host": "github.com",
    "name": "evee",
    "owner": "de-tu-dresden-inf-lat"
  },
  "metrics": {
    "overall": {
      "key": "overall",
      "band": "moderate",
      "name": "Overall health",
      "note": null,
      "notes": [],
      "value": 55,
      "inputs": {
        "security": 36,
        "vitality": 77,
        "community": 35,
        "governance": 59,
        "engineering": 61
      },
      "components": []
    },
    "categories": [
      {
        "key": "vitality",
        "band": "good",
        "name": "Vitality",
        "value": 77,
        "weight": 0.22,
        "metrics": [
          {
            "key": "development_activity",
            "band": "good",
            "name": "Development activity",
            "note": null,
            "notes": [],
            "value": 77,
            "inputs": {
              "commits_last_year": 70,
              "human_commit_share": 1,
              "days_since_last_push": 0,
              "active_weeks_last_year": 21
            },
            "components": [
              {
                "key": "push_recency",
                "name": "Push recency",
                "detail": "last push 0 days ago",
                "points": 36,
                "status": "met",
                "details": [
                  {
                    "code": "push_recency",
                    "params": {
                      "days": 0
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "commit_cadence",
                "name": "Commit cadence",
                "detail": "21/52 weeks with commits",
                "points": 14.5,
                "status": "partial",
                "details": [
                  {
                    "code": "commit_cadence_weeks",
                    "params": {
                      "weeks": 21
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "commit_volume",
                "name": "Commit volume",
                "detail": "70 commits in the last year",
                "points": 16.6,
                "status": "partial",
                "details": [
                  {
                    "code": "commits_last_year",
                    "params": {
                      "count": 70
                    }
                  }
                ],
                "max_points": 18
              },
              {
                "key": "openssf_scorecard_maintained",
                "name": "OpenSSF Scorecard: Maintained",
                "detail": "23 commit(s) and 1 issue activity found in the last 90 days -- score normalized to 10",
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "release_discipline",
            "band": "good",
            "name": "Release discipline",
            "note": null,
            "notes": [],
            "value": 76,
            "inputs": {
              "releases_count": 3,
              "latest_release_tag": "v0.6",
              "releases_from_tags": false,
              "days_since_latest_release": 7,
              "mean_days_between_releases": 160.6
            },
            "components": [
              {
                "key": "ships_releases",
                "name": "Ships releases",
                "detail": "3 releases published",
                "points": 27,
                "status": "met",
                "details": [
                  {
                    "code": "releases_published",
                    "params": {
                      "count": 3
                    }
                  }
                ],
                "max_points": 27
              },
              {
                "key": "release_recency",
                "name": "Release recency",
                "detail": "latest release 7 days ago",
                "points": 36,
                "status": "met",
                "details": [
                  {
                    "code": "release_recency",
                    "params": {
                      "days": 7
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "release_cadence",
                "name": "Release cadence",
                "detail": "a release every ~160.6 days",
                "points": 12.6,
                "status": "partial",
                "details": [
                  {
                    "code": "release_cadence",
                    "params": {
                      "gap": 160.6
                    }
                  }
                ],
                "max_points": 27
              },
              {
                "key": "openssf_scorecard_signed_releases",
                "name": "OpenSSF Scorecard: Signed-Releases",
                "detail": "Project has not signed or included provenance with any releases.",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "abandonment",
            "band": "excellent",
            "name": "Abandonment",
            "note": null,
            "notes": [],
            "value": 100,
            "inputs": {
              "cap": null,
              "state": "maintained",
              "guards": [],
              "signals": [],
              "red_flag": false,
              "multiplier_pct": 100,
              "declared_reason": null,
              "unverified_reason": null,
              "unanswered_open_prs": null,
              "unanswered_open_issues": null,
              "days_since_last_merged_pr": null,
              "days_since_last_human_commit": 7,
              "days_since_last_human_commit_is_floor": false
            },
            "components": [
              {
                "key": "project_is_still_maintained",
                "name": "Project is still maintained",
                "detail": "last human commit 7 days ago",
                "points": 100,
                "status": "met",
                "details": [
                  {
                    "code": "abandonment_maintained",
                    "params": {
                      "days": 7
                    }
                  }
                ],
                "max_points": 100
              }
            ]
          }
        ],
        "description": "Is the project alive — is code being written and are releases shipping?"
      },
      {
        "key": "community",
        "band": "at_risk",
        "name": "Community & Adoption",
        "value": 35,
        "weight": 0.18,
        "metrics": [
          {
            "key": "popularity",
            "band": "critical",
            "name": "Popularity & adoption",
            "note": null,
            "notes": [],
            "value": 22,
            "inputs": {
              "forks": 1,
              "stars": 17,
              "watchers": 4,
              "growth_state": "unverified",
              "growth_factor_pct": 100,
              "growth_unverified_reason": "no_history"
            },
            "components": [
              {
                "key": "stars",
                "name": "Stars",
                "detail": "17 stars",
                "points": 19.5,
                "status": "partial",
                "details": [
                  {
                    "code": "stars",
                    "params": {
                      "count": 17
                    }
                  }
                ],
                "max_points": 60
              },
              {
                "key": "forks",
                "name": "Forks",
                "detail": "1 forks",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "forks",
                    "params": {
                      "count": 1
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "watchers",
                "name": "Watchers",
                "detail": "4 watchers",
                "points": 2.7,
                "status": "partial",
                "details": [
                  {
                    "code": "watchers",
                    "params": {
                      "count": 4
                    }
                  }
                ],
                "max_points": 15
              }
            ]
          },
          {
            "key": "community_health",
            "band": "moderate",
            "name": "Community health",
            "note": null,
            "notes": [],
            "value": 50,
            "inputs": {
              "has_readme": true,
              "has_license": true,
              "has_contributing": false,
              "has_issue_template": false,
              "has_code_of_conduct": false,
              "has_pull_request_template": false
            },
            "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": 0,
                "status": "missed",
                "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": 0,
                "status": "missed",
                "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": 59,
        "weight": 0.24,
        "metrics": [
          {
            "key": "maintainer_resilience",
            "band": "moderate",
            "name": "Maintainer resilience (bus factor)",
            "note": null,
            "notes": [],
            "value": 53,
            "inputs": {
              "bus_factor": 2,
              "contributors_sampled": 7,
              "top_contributor_share": 0.437
            },
            "components": [
              {
                "key": "bus_factor",
                "name": "Bus factor",
                "detail": "2 contributor(s) cover half of all commits",
                "points": 25.2,
                "status": "partial",
                "details": [
                  {
                    "code": "bus_factor",
                    "params": {
                      "count": 2
                    }
                  }
                ],
                "max_points": 54
              },
              {
                "key": "commit_distribution",
                "name": "Commit distribution",
                "detail": "top contributor authored 44% of commits",
                "points": 12.7,
                "status": "partial",
                "details": [
                  {
                    "code": "top_contributor_share",
                    "params": {
                      "share": 44
                    }
                  }
                ],
                "max_points": 22.5
              },
              {
                "key": "contributor_breadth",
                "name": "Contributor breadth",
                "detail": "7 contributors",
                "points": 9.5,
                "status": "partial",
                "details": [
                  {
                    "code": "contributors_sampled",
                    "params": {
                      "count": 7
                    }
                  }
                ],
                "max_points": 13.5
              },
              {
                "key": "openssf_scorecard_contributors",
                "name": "OpenSSF Scorecard: Contributors",
                "detail": "project has 2 contributing companies or organizations -- score normalized to 6",
                "points": 6,
                "status": "partial",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "responsiveness",
            "band": "at_risk",
            "name": "Issue & PR responsiveness",
            "note": null,
            "notes": [],
            "value": 44,
            "inputs": {
              "merged_prs": 9,
              "open_issues": 32,
              "closed_issues": 12,
              "issue_closed_ratio": 0.273,
              "closed_unmerged_prs": 2
            },
            "components": [
              {
                "key": "issue_resolution",
                "name": "Issue resolution",
                "detail": "27% of issues closed",
                "points": 12.8,
                "status": "partial",
                "details": [
                  {
                    "code": "issues_closed_share",
                    "params": {
                      "share": 27
                    }
                  }
                ],
                "max_points": 46.75
              },
              {
                "key": "pr_acceptance",
                "name": "PR acceptance",
                "detail": "9/11 decided PRs merged",
                "points": 31.3,
                "status": "partial",
                "details": [
                  {
                    "code": "decided_prs_merged",
                    "params": {
                      "merged": 9,
                      "decided": 11
                    }
                  }
                ],
                "max_points": 38.25
              },
              {
                "key": "openssf_scorecard_code_review",
                "name": "OpenSSF Scorecard: Code-Review",
                "detail": "Found 0/9 approved changesets -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 15
              }
            ]
          },
          {
            "key": "stewardship",
            "band": "moderate",
            "name": "Ownership & stewardship",
            "note": null,
            "notes": [],
            "value": 56,
            "inputs": {
              "followers": 7,
              "owner_type": "Organization",
              "is_verified": null,
              "owner_login": "de-tu-dresden-inf-lat",
              "public_repos": 19,
              "account_age_days": 1915
            },
            "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": "7 followers of de-tu-dresden-inf-lat",
                "points": 6.5,
                "status": "partial",
                "details": [
                  {
                    "code": "owner_followers",
                    "params": {
                      "count": 7,
                      "login": "de-tu-dresden-inf-lat"
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "track_record",
                "name": "Track record",
                "detail": "19 public repos, account ~5 yr old",
                "points": 20,
                "status": "partial",
                "details": [
                  {
                    "code": "public_repos",
                    "params": {
                      "count": 19
                    }
                  },
                  {
                    "code": "account_age_years",
                    "params": {
                      "years": 5
                    }
                  }
                ],
                "max_points": 25
              }
            ]
          },
          {
            "key": "package_maintenance",
            "band": "excellent",
            "name": "Package maintenance",
            "note": null,
            "notes": [],
            "value": 92,
            "inputs": {
              "packages": [
                "io.github.de-tu-dresden-inf-lat:evee-data",
                "io.github.de-tu-dresden-inf-lat:evee-libs",
                "io.github.de-tu-dresden-inf-lat:evee-elk-proof-extractor",
                "io.github.de-tu-dresden-inf-lat:evee-nemo-proof-extractor",
                "io.github.de-tu-dresden-inf-lat:evee-lethe-proof-extractor",
                "io.github.de-tu-dresden-inf-lat:evee-small-model-generator"
              ],
              "ecosystems": "maven",
              "any_deprecated": false,
              "min_days_since_publish": 7
            },
            "components": [
              {
                "key": "published_resolvable",
                "name": "Published & resolvable",
                "detail": "6 package(s) on maven",
                "points": 25,
                "status": "met",
                "details": [
                  {
                    "code": "packages_published",
                    "params": {
                      "count": 6,
                      "ecosystems": "maven"
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "publish_recency",
                "name": "Publish recency",
                "detail": "latest publish 7 days ago",
                "points": 35,
                "status": "met",
                "details": [
                  {
                    "code": "publish_recency",
                    "params": {
                      "days": 7
                    }
                  }
                ],
                "max_points": 35
              },
              {
                "key": "version_history",
                "name": "Version history",
                "detail": "2 published versions",
                "points": 12,
                "status": "partial",
                "details": [
                  {
                    "code": "published_versions",
                    "params": {
                      "count": 2
                    }
                  }
                ],
                "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": "moderate",
        "name": "Engineering Quality",
        "value": 61,
        "weight": 0.2,
        "metrics": [
          {
            "key": "engineering_practices",
            "band": "moderate",
            "name": "Engineering practices",
            "note": null,
            "notes": [],
            "value": 68,
            "inputs": {
              "has_ci": true,
              "has_tests": true,
              "has_editorconfig": false,
              "has_linter_config": false,
              "has_precommit_config": false
            },
            "components": [
              {
                "key": "ci_workflows",
                "name": "CI workflows",
                "detail": "2 workflow(s)",
                "points": 24,
                "status": "met",
                "details": [
                  {
                    "code": "ci_workflows",
                    "params": {
                      "count": 2
                    }
                  }
                ],
                "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": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 16
              },
              {
                "key": "pre_commit_hooks",
                "name": "Pre-commit hooks",
                "detail": null,
                "points": 0,
                "status": "missed",
                "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": "5 out of 5 merged PRs checked by a CI test -- score normalized to 10",
                "points": 20,
                "status": "met",
                "details": [],
                "max_points": 20
              }
            ]
          },
          {
            "key": "documentation",
            "band": "moderate",
            "name": "Documentation",
            "note": null,
            "notes": [],
            "value": 50,
            "inputs": {
              "topics": [],
              "has_wiki": true,
              "homepage": null,
              "has_readme": true,
              "has_docs_dir": false,
              "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": 0,
                "status": "missed",
                "details": [],
                "max_points": 25
              },
              {
                "key": "documentation_homepage_site",
                "name": "Documentation / homepage site",
                "detail": null,
                "points": 0,
                "status": "missed",
                "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": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "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": "at_risk",
        "name": "Security",
        "value": 36,
        "weight": 0.16,
        "metrics": [
          {
            "key": "security_posture",
            "band": "at_risk",
            "name": "Security posture",
            "note": null,
            "notes": [],
            "value": 38,
            "inputs": {
              "source": "openssf_scorecard",
              "checks_evaluated": 18,
              "scorecard_version": "v5.5.0",
              "checks_inconclusive": 0,
              "scorecard_aggregate": 3.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": "branch protection is not maximal on development and all release branches",
                "points": 3,
                "status": "partial",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "ci_tests",
                "name": "CI-Tests",
                "detail": "5 out of 5 merged PRs checked by a CI test -- score normalized to 10",
                "points": 2.5,
                "status": "met",
                "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 0/9 approved changesets -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "contributors",
                "name": "Contributors",
                "detail": "project has 2 contributing companies or organizations -- score normalized to 6",
                "points": 1.5,
                "status": "partial",
                "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": "23 commit(s) and 1 issue activity found in the last 90 days -- score normalized to 10",
                "points": 7.5,
                "status": "met",
                "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": "Project has not signed or included provenance with any releases.",
                "points": 0,
                "status": "missed",
                "details": [],
                "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": "98 existing vulnerabilities detected",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.5
              }
            ]
          },
          {
            "key": "dependency_advisories",
            "band": "critical",
            "name": "Dependency advisories",
            "note": "Matched the maven:io.github.de-tu-dresden-inf-lat:evee-data@0.6 runtime dependency closure — what installing the published package pulls in — 80 packages. Reachability is not analyzed.",
            "notes": [
              {
                "code": "advisories_scope_published",
                "params": {
                  "package": "maven:io.github.de-tu-dresden-inf-lat:evee-data@0.6",
                  "assessed": 80
                }
              },
              {
                "code": "advisories_reachability",
                "params": {}
              }
            ],
            "value": 29,
            "inputs": {
              "source": "osv",
              "advisories": 73,
              "affected_packages": 8,
              "assessed_packages": 80,
              "unassessed_packages": 0,
              "affected_by_severity": "critical 1, high 4, moderate 3",
              "direct_affected_packages": 2
            },
            "components": [
              {
                "key": "direct_dependencies_free_of_known_advisories",
                "name": "Direct dependencies free of known advisories",
                "detail": "2 affected: com.fasterxml.jackson.core:jackson-databind 2.9.8 (critical 9.8), ch.qos.logback:logback-classic 1.2.6 (high 7.1)",
                "points": 6.4,
                "status": "partial",
                "details": [
                  {
                    "code": "advisories_affected",
                    "params": {
                      "count": 2,
                      "packages": "com.fasterxml.jackson.core:jackson-databind 2.9.8 (critical 9.8), ch.qos.logback:logback-classic 1.2.6 (high 7.1)"
                    }
                  }
                ],
                "max_points": 35
              },
              {
                "key": "indirect_dependencies_free_of_known_advisories",
                "name": "Indirect dependencies free of known advisories",
                "detail": "6 affected: ch.qos.logback:logback-core 1.2.6 (high 7.1), com.fasterxml.jackson.core:jackson-core 2.9.10 (high 7.5), commons-io:commons-io 2.7 (high 7.5), +3 more",
                "points": 5.7,
                "status": "partial",
                "details": [
                  {
                    "code": "advisories_affected",
                    "params": {
                      "count": 6,
                      "packages": "ch.qos.logback:logback-core 1.2.6 (high 7.1), com.fasterxml.jackson.core:jackson-core 2.9.10 (high 7.5), commons-io:commons-io 2.7 (high 7.5)"
                    }
                  },
                  {
                    "code": "advisories_affected_more",
                    "params": {
                      "count": 3
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "no_advisories_left_outstanding",
                "name": "No advisories left outstanding",
                "detail": "8 advisory-carrying package(s) unaddressed past 90 days; oldest published 2619 days ago",
                "points": 16.8,
                "status": "partial",
                "details": [
                  {
                    "code": "advisories_stale",
                    "params": {
                      "days": 90,
                      "count": 8,
                      "oldest": 2619
                    }
                  }
                ],
                "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": 80,
              "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": 4
            },
            "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": "at_risk",
        "name": "AI Readiness",
        "value": 42,
        "weight": 0,
        "metrics": [
          {
            "key": "ai_agent_context",
            "band": "critical",
            "name": "Agent context & guidance",
            "note": null,
            "notes": [],
            "value": 8,
            "inputs": {
              "has_llms_txt": false,
              "legible_history_share": 0.15,
              "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": "15 of 100 human commits state their intent (structured subject or explanatory body)",
                "points": 8,
                "status": "partial",
                "details": [
                  {
                    "code": "legible_history",
                    "params": {
                      "legible": 15,
                      "sampled": 100
                    }
                  }
                ],
                "max_points": 40
              }
            ]
          },
          {
            "key": "ai_verify_loop",
            "band": "at_risk",
            "name": "Verify loop (build / test / typecheck)",
            "note": null,
            "notes": [],
            "value": 46,
            "inputs": {
              "has_nix": false,
              "has_tests": true,
              "lockfiles": [],
              "has_dockerfile": false,
              "typed_language": true,
              "bootstrap_files": [],
              "has_devcontainer": false,
              "has_linter_config": false,
              "typecheck_configs": [],
              "agent_commit_share": 0,
              "toolchain_manifests": [
                "evee-data/pom.xml",
                "evee-elimination-proofs/evee-elimination-proofs-core_2.12/pom.xml",
                "evee-elimination-proofs/evee-elimination-proofs-fame_2.12/pom.xml",
                "evee-elimination-proofs/evee-elimination-proofs-lethe_2.12/pom.xml",
                "evee-elimination-proofs/pom.xml",
                "evee-elk-proof-extractor/pom.xml",
                "evee-lethe-proof-extractor/pom.xml",
                "evee-libs/pom.xml",
                "evee-nemo-proof-extractor/pom.xml",
                "evee-protege-release/pom.xml",
                "evee-protege/evee-protege-abduction-capi/pom.xml",
                "evee-protege/evee-protege-abduction-lethe/pom.xml",
                "evee-protege/evee-protege-core/pom.xml",
                "evee-protege/evee-protege-counterexample-EL/pom.xml",
                "evee-protege/evee-protege-counterexample-ELKRelevant/pom.xml",
                "evee-protege/evee-protege-elimination-proofs-fame/pom.xml",
                "evee-protege/evee-protege-elimination-proofs-lethe/pom.xml",
                "evee-protege/evee-protege-elk-proof-extractor/pom.xml",
                "evee-protege/evee-protege-lethe-proof-extractor/pom.xml",
                "evee-protege/evee-protege-nemo-proof-extractor/pom.xml",
                "evee-protege/pom.xml",
                "evee-relevant-counterexample/counterExampleProvider/pom.xml",
                "evee-relevant-counterexample/model-datastructures/pom.xml",
                "evee-relevant-counterexample/pom.xml",
                "evee-small-model-generator/pom.xml",
                "pom.xml"
              ],
              "dependency_bot_commit_share": 0
            },
            "components": [
              {
                "key": "one_command_bootstrap",
                "name": "One-command bootstrap",
                "detail": "evee-data/pom.xml, evee-elimination-proofs/evee-elimination-proofs-core_2.12/pom.xml, evee-elimination-proofs/evee-elimination-proofs-fame_2.12/pom.xml (toolchain convention, no task runner)",
                "points": 12.6,
                "status": "partial",
                "details": [
                  {
                    "code": "toolchain_convention",
                    "params": {
                      "files": "evee-data/pom.xml, evee-elimination-proofs/evee-elimination-proofs-core_2.12/pom.xml, evee-elimination-proofs/evee-elimination-proofs-fame_2.12/pom.xml"
                    }
                  }
                ],
                "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": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 11
              },
              {
                "key": "static_type_checking",
                "name": "Static type checking",
                "detail": "Java (statically typed)",
                "points": 11,
                "status": "met",
                "details": [
                  {
                    "code": "statically_typed_language",
                    "params": {
                      "language": "Java"
                    }
                  }
                ],
                "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": 100,
            "inputs": {
              "primary_language": "Java",
              "largest_source_bytes": 72384,
              "source_files_sampled": 418,
              "oversized_source_files": 1
            },
            "components": [
              {
                "key": "type_checkable_code",
                "name": "Type-checkable code",
                "detail": "Java (statically typed)",
                "points": 45,
                "status": "met",
                "details": [
                  {
                    "code": "statically_typed_language",
                    "params": {
                      "language": "Java"
                    }
                  }
                ],
                "max_points": 45
              },
              {
                "key": "manageable_file_sizes",
                "name": "Manageable file sizes",
                "detail": "1/418 source files over 60KB",
                "points": 54.9,
                "status": "partial",
                "details": [
                  {
                    "code": "oversized_source_files",
                    "params": {
                      "kb": 60,
                      "sampled": 418,
                      "oversized": 1
                    }
                  }
                ],
                "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 maven package 'io.github.de-tu-dresden-inf-lat:evee-protege-release' from its registry"
  ],
  "report_type": "repository",
  "generated_at": "2026-07-24T13:41:42.121241Z",
  "schema_version": "0.27.0",
  "badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/d/de-tu-dresden-inf-lat/evee.svg",
  "full_name": "de-tu-dresden-inf-lat/evee",
  "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 agregadasMaven.