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