Öffentliches Register
Software-GesundheitsberichtSchema 0.27.0 · Metriken 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 Sterne⑂ 1 Forkseit Apr. 2022Auf GitHub ansehen ↗

de-tu-dresden-inf-lat/evee erreicht einen Gesundheitsindex von 55 von 100 und liegt damit im Bereich Mittel. Am stärksten schneidet es bei Vitality (77/100) ab, am schwächsten bei Community & Adoption (35/100). Zuletzt heute aktualisiert. 2 Mitwirkende tragen den Großteil der jüngsten Arbeit.

55
gesamt / 100
Mittel

Software-Gesundheitsindex

Metriken werden auf einer Skala von 1–100 in gewichtete Kategorien gruppiert. Der Gesamtwert beginnt als ihr Mittel; sobald öffentliche Evidenz die Richtlinie für Hochrisikojurisdiktionen auslöst, wird die Bewertung angepasst und erhält die Obergrenze 49 (Gefährdet). AI Readiness liegt außerhalb.

55
Exzellent85-100Vorbildlich; erfüllt im Wesentlichen alle geprüften Kriterien
Gut70-84Gesund; geringfügige Lücken
Mittel50-69Akzeptabel mit deutlichen Lücken; Überprüfung empfohlen
Gefährdet30-49Erhebliche Schwächen; eine Übernahme erfordert Vorsicht
Kritisch1-29Schwerwiegende Probleme (aufgegeben, nur ein Maintainer, keine Hygiene)
VitalitätCommunity &VerbreitungNachhaltigkeit &GovernanceEngineering-QualitätSicherheitAI Readiness

Bewertungsprofil

Jede Achse ist eine Kategorie. Die Form zählt mehr als der Durchschnitt — ein gesundes Projekt füllt die gesamte Fläche, während ein Profil aus Spitzen und Kratern bedeutet, dass Stärke in einer Dimension Risiken in einer anderen verdeckt.

Eigentümerschaft

7 Follower19 öffentliche Reposseit Apr. 2021

Dieses Repository wird von einer Organisation getragen — geteilte, rechenschaftspflichtige Trägerschaft, die jeden einzelnen Maintainer überdauern kann.

Paket-Ökosysteme

Metriken nach Kategorie

Vitalität

Lebt das Projekt — wird Code geschrieben und werden Releases ausgeliefert?

77Gut · 22 % des Gesamtindex
Wie die Bewertung erfolgt
36/36Push-Aktualität — letzter Push vor 0 Tagen
14.5/36Commit-Rhythmus — 21/52 Wochen mit Commits
16.6/18Commit-Volumen — 70 Commits im letzten Jahr
10/10OpenSSF Scorecard: Maintained — 23 commit(s) and 1 issue activity found in the last 90 days -- score normalized to 10
Verwendete Eingangsdaten
commits_last_year70
human_commit_share1
days_since_last_push0
active_weeks_last_year21
Wie die Bewertung erfolgt
27/27Liefert Releases aus — 3 Releases veröffentlicht
36/36Release-Aktualität — letztes Release vor 7 Tagen
12.6/27Release-Rhythmus — ein Release etwa alle 160,6 Tage
0/10OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases.
Verwendete Eingangsdaten
releases_count3
latest_release_tagv0.6
releases_from_tagsnein
days_since_latest_release7
mean_days_between_releases160,6

Community & Verbreitung

Hat das Projekt Nutzer, Downloads, Aufmerksamkeit und ein einladendes Umfeld für Beitragende?

35Gefährdet · 18 % des Gesamtindex
Wie die Bewertung erfolgt
19.5/60Stars — 17 Stars
0/25Forks — 1 Forks
2.7/15Watcher — 4 Watcher
Verwendete Eingangsdaten
forks1
stars17
watchers4
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history
Wie die Bewertung erfolgt
22.5/22.5README
22.5/22.5Lizenz — anerkannte Lizenz (MIT)
0/18CONTRIBUTING-Leitfaden
0/13.5Verhaltenskodex
0/7.2Issue-Vorlage
0/6.3PR-Vorlage
Verwendete Eingangsdaten
has_readmeja
has_licenseja
has_contributingnein
has_issue_templatenein
has_code_of_conductnein
has_pull_request_templatenein

Nachhaltigkeit & Governance

Überdauert das Projekt die Menschen, die es tragen — Bus-Faktor, Reaktionsfähigkeit, Trägerschaft und Paketpflege?

59Mittel · 24 % des Gesamtindex
Wie die Bewertung erfolgt
25.2/54Bus-Faktor — 2 Beitragende decken die Hälfte aller Commits ab
12.7/22.5Commit-Verteilung — wichtigste beitragende Person verfasste 44 % der Commits
9.5/13.5Breite der Beitragenden — 7 Beitragende
6/10OpenSSF Scorecard: Contributors — project has 2 contributing companies or organizations -- score normalized to 6
Verwendete Eingangsdaten
bus_factor2
contributors_sampled7
top_contributor_share0,437
Wie die Bewertung erfolgt
12.8/46.8Issue-Lösungsquote — 27 % der Issues geschlossen
31.3/38.3PR-Annahme — 9/11 entschiedene PRs gemergt
0/15OpenSSF Scorecard: Code-Review — Found 0/9 approved changesets -- score normalized to 0
Verwendete Eingangsdaten
merged_prs9
open_issues32
closed_issues12
issue_closed_ratio0,273
closed_unmerged_prs2
Wie die Bewertung erfolgt
30/30Organisatorische Trägerschaft — im Besitz einer Organisation
0/20Verifizierte Domain
6.5/25Reichweite des Inhabers — 7 Follower von de-tu-dresden-inf-lat
20/25Kontohistorie — 19 öffentliche Repos, Kontoalter ca. 5 Jahre
Verwendete Eingangsdaten
followers7
owner_typeOrganization
is_verified
owner_loginde-tu-dresden-inf-lat
public_repos19
account_age_days1.915

Paketpflege

92Exzellent
Wie die Bewertung erfolgt
25/25Veröffentlicht & auflösbar — 6 Paket(e) auf maven
35/35Veröffentlichungsaktualität — letzte Veröffentlichung vor 7 Tagen
12/20Versionshistorie — 2 veröffentlichte Versionen
20/20Nicht veraltet — aktiv, nicht veraltet oder zurückgezogen
Verwendete Eingangsdaten
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_deprecatednein
min_days_since_publish7

Engineering-Qualität

Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?

61Mittel · 20 % des Gesamtindex
Wie die Bewertung erfolgt
24/24CI-Workflows — 2 Workflow(s)
24/24Tests vorhanden
0/16Linter-Konfiguration
0/9.6Pre-Commit-Hooks
0/6.4.editorconfig
20/20OpenSSF Scorecard: CI-Tests — 5 out of 5 merged PRs checked by a CI test -- score normalized to 10
Verwendete Eingangsdaten
has_cija
has_testsja
has_editorconfignein
has_linter_confignein
has_precommit_confignein
Wie die Bewertung erfolgt
30/30README
0/25Dokumentationsverzeichnis
0/15Dokumentations-/Homepage-Site
10/10Repository-Beschreibung
0/10Topics
10/10Wiki
Verwendete Eingangsdaten
topics
has_wikija
homepage
has_readmeja
has_docs_dirnein
has_descriptionja

Sicherheit

Sind die sichtbaren Sicherheits- und Lieferkettenpraktiken belastbar, ohne ungeklärte Exposition gegenüber Hochrisikojurisdiktionen?

36Gefährdet · 16 % des Gesamtindex

Sicherheitslage

38Gefährdet
Wie die Bewertung erfolgt
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.5Lizenz — 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
Verwendete Eingangsdaten
sourceopenssf_scorecard
checks_evaluated18
scorecard_versionv5.5.0
checks_inconclusive0
scorecard_aggregate3,8
Wie die Bewertung erfolgt
6.4/35Direkte Abhängigkeiten ohne bekannte Advisories — 2 betroffen: 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/25Indirekte Abhängigkeiten ohne bekannte Advisories — 6 betroffen: 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 weitere
16.8/40Keine offenen Advisories — 8 Paket(e) mit Advisory seit über 90 Tagen unbehandelt; ältestes vor 2.619 Tagen veröffentlicht
Verwendete Eingangsdaten
sourceosv
advisories73
affected_packages8
assessed_packages80
unassessed_packages0
affected_by_severitycritical 1, high 4, moderate 3
direct_affected_packages2
Abgeglichen wurde die Laufzeit-Abhängigkeitshülle von maven:io.github.de-tu-dresden-inf-lat:evee-data@0.6 — das, was die Installation des veröffentlichten Pakets nach sich zieht — mit 80 Paketen. Erreichbarkeit wird nicht analysiert.

AI Readiness

Wie gut ist das Repository dafür ausgestattet, mit KI-Coding-Agenten entwickelt und gepflegt zu werden? Ein unabhängiges, experimentelles Badge — Gewicht 0,0, es wird eigenständig ausgewiesen und verändert den Gesamt-Gesundheitswert nicht.

42Gefährdet · 0 % des Gesamtindex
Wie die Bewertung erfolgt
0/45Agentenanweisungen — keine CLAUDE.md / AGENTS.md / Editor-Regeln
0/15Maschinenlesbare Doku (llms.txt)
8/40Lesbare Commit-Historie — 15 von 100 menschlichen Commits benennen ihre Absicht (strukturierter Betreff oder erläuternder Text)
Verwendete Eingangsdaten
has_llms_txtnein
legible_history_share0,15
agent_instruction_files
agent_instruction_max_bytes
Wie die Bewertung erfolgt
12.6/18Bootstrap mit einem Befehl — 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-Konvention, kein Task-Runner)
22/22Automatisierte Tests
0/11Lint-/Format-Konfiguration
11/11Statische Typprüfung — Java (statisch typisiert)
0/10Reproduzierbare Umgebung
0/10Belegte Agentenpraxis — keine von Agenten verfassten Commits unter den letzten 100
0/8Automatisierte Wartung — keine automatisierten Abhängigkeits-Updates beobachtet
0/10OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
Verwendete Eingangsdaten
has_nixnein
has_testsja
lockfiles
has_dockerfilenein
typed_languageja
bootstrap_files
has_devcontainernein
has_linter_confignein
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
Wie die Bewertung erfolgt
45/45Typprüfbarer Code — Java (statisch typisiert)
54.9/55Handhabbare Dateigrößen — 1/418 Quelldateien über 60 KB
Verwendete Eingangsdaten
primary_languageJava
largest_source_bytes72.384
source_files_sampled418
oversized_source_files1
Wie die Bewertung erfolgt
0/40API-Schema (OpenAPI/GraphQL/proto)
0/20MCP-Server
40/40Lauffähige Beispiele — examples
Verwendete Eingangsdaten
example_dirsexamples
has_mcp_signalnein
api_schema_files

Eckdaten

17GitHub-Sterne
7Mitwirkende
70Commits, letzte 12 Monate
0Tage seit letztem Push
3Releases
2Bus-Faktor
32offene Issues
MavenPaket-Ökosysteme

Warnungen zur Datenerhebung

  • 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

Weitere Details

OpenSSF Scorecard 3.8 / 10
3.8Gesamtwert

Unabhängige, werkzeugneutrale Sicherheitsbewertung durch das quelloffene OpenSSF Scorecard. Jede Prüfung honoriert eine Sicherheits-Praxis, nicht das Werkzeug eines bestimmten Anbieters. Prüfungen, die Scorecard nicht ermitteln konnte, sind mit k. A. markiert und vom Sicherheitswert ausgeschlossen (nie als null gezählt).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
Direkte Abhängigkeiten 52
RegistryPaketVersionsvorgabeManifest
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
Alle Abhängigkeiten 82

Vollständig aufgelöster Abhängigkeitssatz aus dem GitHub-Abhängigkeitsgraphen: 48 direkte und 34 indirekte (transitive) Pakete. Die transitive Hülle ist vollständig, wenn das Repository eine Lockfile eincheckt.

RegistryPaketVersionBeziehung
Mavench.qos.logback:logback-classicdirekt
Mavench.qos.logback:logback-classic1.2.3direkt
Mavench.qos.logback:logback-classic1.2.6direkt
Mavencom.fasterxml.jackson.core:jackson-annotations2.13.3direkt
Mavencom.fasterxml.jackson.core:jackson-annotations2.16.1direkt
Mavencom.fasterxml.jackson.core:jackson-annotations2.9.8direkt
Mavencom.fasterxml.jackson.core:jackson-core2.13.3direkt
Mavencom.fasterxml.jackson.core:jackson-core2.16.1direkt
Mavencom.fasterxml.jackson.core:jackson-databind2.13.3direkt
Mavencom.fasterxml.jackson.core:jackson-databind2.16.1direkt
Mavencom.fasterxml.jackson.core:jackson-databind2.9.8direkt
Mavencom.typesafe.scala-logging:scala-logging_2.123.9.2direkt
Mavencommons-cli:commons-cli1.3.1direkt
Mavenguru.nidi:graphviz-java0.18.1direkt
Mavenio.github.de-tu-dresden-inf-lat:counterExampleProviderdirekt
Mavenio.github.de-tu-dresden-inf-lat:evee-datadirekt
Mavenio.github.de-tu-dresden-inf-lat:evee-elimination-proofs-core_2.12direkt
Mavenio.github.de-tu-dresden-inf-lat:evee-elimination-proofs-fame_2.12direkt
Mavenio.github.de-tu-dresden-inf-lat:evee-elimination-proofs-lethe_2.12direkt
Mavenio.github.de-tu-dresden-inf-lat:evee-elk-proof-extractordirekt
Mavenio.github.de-tu-dresden-inf-lat:evee-lethe-proof-extractordirekt
Mavenio.github.de-tu-dresden-inf-lat:evee-nemo-proof-extractordirekt
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-abduction-capidirekt
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-abduction-lethedirekt
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-coredirekt
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-counterexample-ELKRelevantdirekt
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-counterexample-small-modeldirekt
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-elimination-proofs-famedirekt
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-elimination-proofs-lethedirekt
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-elk-proof-extractordirekt
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-lethe-proof-extractordirekt
Mavenio.github.de-tu-dresden-inf-lat:evee-protege-nemo-proof-extractordirekt
Mavenio.github.de-tu-dresden-inf-lat:evee-small-model-generatordirekt
Mavenio.github.de-tu-dresden-inf-lat:lat-scala-dl-tools-owlapi5direkt
Mavenio.github.de-tu-dresden-inf-lat:lat-scala-dl-tools-owlapi50.4.1direkt
Mavenio.github.de-tu-dresden-inf-lat:lethe-owlapi5direkt
Mavenio.github.liveontologies:elk-owlapi0.6.0direkt
Mavenjavax.persistence:javax.persistence-api2.2direkt
Mavenjunit:junit4.13.2direkt
Mavenjunit:junit4.4direkt
Mavenlog4j:log4j1.2.17direkt
Mavennet.sourceforge.owlapi:org.semanticweb.hermit1.4.3.517direkt
Mavennet.sourceforge.owlapi:owlapi-distributiondirekt
Mavenorg.apache.commons:commons-csv1.4direkt
Mavenorg.apache.commons:commons-math33.6.1direkt
Mavenorg.junit.jupiter:junit-jupiter-engine5.8.2direkt
Mavenorg.scala-lang:scala-librarydirekt
Mavenorg.slf4j:slf4j-api1.7.30direkt
Mavench.qos.logback:logback-coreindirekt
Mavencom.google.code.sbt-compiler-maven-plugin:sbt-compiler-maven-plugin1.0.0indirekt
Mavencom.google.guava:guava18.0indirekt
Mavencom.google.guava:guava21.0indirekt
Mavencom.novocode:junit-interface0.11indirekt
Mavenedu.stanford.protege:protege-common5.6.4indirekt
Mavenedu.stanford.protege:protege-editor-core5.6.4indirekt
Mavenedu.stanford.protege:protege-editor-owl5.6.4indirekt
Mavenio.github.de-tu-dresden-inf-lat:capi0.2.1indirekt
Mavenio.github.de-tu-dresden-inf-lat:FamePlus1.0indirekt
Mavenio.github.de-tu-dresden-inf-lat:gs-core2.2indirekt
Mavenio.github.de-tu-dresden-inf-lat:gs-ui-swing2.2indirekt
Mavenio.github.de-tu-dresden-inf-lat:lethe-abduction-owlapi5indirekt
Mavenio.github.de-tu-dresden-inf-lat:model-datastructuresindirekt
Mavennet.alchim31.maven:scala-maven-plugin4.9.9indirekt
Mavennet.sourceforge.owlapi:owlapi-api4.5.29indirekt
Mavennet.sourceforge.owlapi:owlapi-osgidistribution4.5.29indirekt
Mavenorg.apache.commons:commons-lang33.6indirekt
Mavenorg.apache.felix:maven-bundle-plugin5.1.9indirekt
Mavenorg.apache.maven.plugins:maven-assembly-plugin3.1.1indirekt
Mavenorg.apache.maven.plugins:maven-assembly-plugin3.3.0indirekt
Mavenorg.apache.maven.plugins:maven-compiler-plugin3.13.0indirekt
Mavenorg.apache.maven.plugins:maven-dependency-plugin3.6.0indirekt
Mavenorg.apache.maven.plugins:maven-gpg-plugin3.2.7indirekt
Mavenorg.apache.maven.plugins:maven-jar-plugin3.2.2indirekt
Mavenorg.apache.maven.plugins:maven-javadoc-plugin3.10.1indirekt
Mavenorg.apache.maven.plugins:maven-source-plugin3.2.1indirekt
Mavenorg.apache.maven.plugins:maven-surefire-plugin3.0.0-M5indirekt
Mavenorg.apache.maven.plugins:maven-surefire-plugin3.0.0-M6indirekt
Mavenorg.codehaus.mojo:flatten-maven-plugin1.1.0indirekt
Mavenorg.eclipse.swt.win32.win32:x863.3.0-v3346indirekt
Mavenorg.liveontologies:protege-proof-explanation0.1.0indirekt
Mavenorg.scalatest:scalatest_2.123.0.5indirekt
Mavenorg.sonatype.central:central-publishing-maven-plugin0.6.0indirekt
Abhängigkeits-Advisories 8

Die Installation von maven:io.github.de-tu-dresden-inf-lat:evee-data@0.6 zieht 80 Pakete nach sich, direkt und transitiv: 8 tragen bekannte Advisories, davon 2 direkte Abhängigkeiten.

PaketVersionBeziehungSchweregradAdvisoriesBehoben in
com.fasterxml.jackson.core:jackson-databind2.9.8direktkritisch553.1.4
ch.qos.logback:logback-classic1.2.6direkthoch11.4.12
ch.qos.logback:logback-core1.2.6indirekthoch81.5.34
com.fasterxml.jackson.core:jackson-core2.9.10indirekthoch43.2.1
commons-io:commons-io2.7indirekthoch12.14.0
com.google.guava:guava30.0-jreindirektmittel232.0.0-android
org.apache.httpcomponents:httpclient4.5.10indirektmittel15.0.3
org.apache.james:apache-mime4j-core0.7.2indirektmittel10.8.10

Ein Advisory bedeutet, dass die im Abhängigkeitsgraphen erfasste Version in den betroffenen Bereich eines Advisories fällt. Erreichbarkeit wird nicht analysiert, und der Graph enthält Entwicklungs- und Test-Pins — ein Fund kann das Werkzeug betreffen und nicht die ausgelieferte Software.

JSON-Rohbericht maschinenlesbar
{
  "data": {
    "repo": {
      "topics": [],
      "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"
}

Bewertungen sind Signale, keine Garantien. Sie spiegeln öffentlich sichtbare Praxis auf GitHub wider — kein Code-Audit und keine Sicherheitsgarantie.

Fehlende Daten werden ausgeschlossen und die Gewichte neu normiert, nie als null bewertet. Die Methodik ist versioniert und offen: Metriken v1.13.0, Schema v0.27.0 — vollständige Methodik · Metriken-Wiki.

Wie ein einzelnes Ergebnis im Gesamtregister steht: aggregierte StatistikenMaven.