From 600ed93dd6a72e90692220505b3b4466ccf35bc6 Mon Sep 17 00:00:00 2001
From: wadoon <104259+wadoon@users.noreply.github.com>
Date: Fri, 10 Jul 2026 09:17:39 +0000
Subject: [PATCH] [create-pull-request] automated change

---
 .hermes/curate/hermes.json   | 43 ++++++++++++++++++++++++++++++++++++
 .hermes/curate/target_branch |  1 +
 2 files changed, 44 insertions(+)
 create mode 100644 .hermes/curate/hermes.json
 create mode 100644 .hermes/curate/target_branch

diff --git a/.hermes/curate/hermes.json b/.hermes/curate/hermes.json
new file mode 100644
index 00000000000..d1d5017b077
--- /dev/null
+++ b/.hermes/curate/hermes.json
@@ -0,0 +1,43 @@
+{
+  "@context": [
+    "https://doi.org/10.5063/schema/codemeta-2.0",
+    {
+      "hermes": "https://software-metadata.pub/ns/hermes/"
+    }
+  ],
+  "@type": "SoftwareSourceCode",
+  "author": [
+    {
+      "@id": "https://orcid.org/0000-0001-8446-4598",
+      "@type": "Person",
+      "affiliation": {
+        "@type": "Organization",
+        "legalName": "Karlsruhe Institute of Technology"
+      },
+      "familyName": "Weigl",
+      "givenName": "Alexander",
+      "email": "weigl@kit.edu"
+    },
+    {
+      "@type": "Person",
+      "affiliation": {
+        "@type": "Organization",
+        "legalName": "TU Darmstadt"
+      },
+      "familyName": "Bubel",
+      "givenName": "Richard",
+      "email": "bubel@cs.tu-darmstadt.de"
+    }
+  ],
+  "codeRepository": "https://github.com/keyproject/key",
+  "datePublished": "2026-07-01",
+  "keywords": [
+    "Deductive Verification",
+    "Java Verification",
+    "Interactive Theorem Prover"
+  ],
+  "license": "https://spdx.org/licenses/GPL-2.0-only",
+  "name": "KeY",
+  "url": "https://key-project.org/",
+  "version": "3.0.0-dev"
+}
\ No newline at end of file
diff --git a/.hermes/curate/target_branch b/.hermes/curate/target_branch
new file mode 100644
index 00000000000..6086da33443
--- /dev/null
+++ b/.hermes/curate/target_branch
@@ -0,0 +1 @@
+weigl/hermes2