From b32cea0c546891065ba1b7d199e2007568b10e36 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Alexander=20St=C3=A4ding?= <alex@staeding.com>
Date: Sun, 16 Nov 2025 14:49:17 +0100
Subject: [PATCH 1/2] maintainers: add alexstaeding

---
 maintainers/maintainer-list.nix | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix
index d57d8e157777..ae2df2599021 100644
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -1230,6 +1230,19 @@
     githubId = 3017212;
     name = "Alex S. Kaye";
   };
+  alexstaeding = {
+    email = "alex@staeding.com";
+    github = "alexstaeding";
+    githubId = 24614463;
+    keys = [
+      # Primary key
+      { fingerprint = "AE72 51E3 A241 ECDA FB6B  F59D 4399 191B 9DD5 FABA"; }
+      # Subkey
+      { fingerprint = "F352 C405 5653 B943 0FE0  341A E4B4 7D6A 9A56 73CD"; }
+    ];
+    matrix = "@alexstaeding:matrix.org";
+    name = "Alexander Städing";
+  };
   alexvorobiev = {
     email = "alexander.vorobiev@gmail.com";
     github = "alexvorobiev";

From 7c85b6ada0516e80b3608e1ebe9a76f87661c5a2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Alexander=20St=C3=A4ding?= <alex@staeding.com>
Date: Sun, 16 Nov 2025 14:49:24 +0100
Subject: [PATCH 2/2] vscode-extensions.leanprover.lean4: init at 0.0.221

---
 .../editors/vscode/extensions/default.nix     |  2 ++
 .../extensions/leanprover.lean4/default.nix   | 21 +++++++++++++++++++
 2 files changed, 23 insertions(+)
 create mode 100644 pkgs/applications/editors/vscode/extensions/leanprover.lean4/default.nix

diff --git a/pkgs/applications/editors/vscode/extensions/default.nix b/pkgs/applications/editors/vscode/extensions/default.nix
index 3a8068db189a..ffaf40631fd4 100644
--- a/pkgs/applications/editors/vscode/extensions/default.nix
+++ b/pkgs/applications/editors/vscode/extensions/default.nix
@@ -2800,6 +2800,8 @@ let
         };
       };
 
+      leanprover.lean4 = callPackage ./leanprover.lean4 { };
+
       leonardssh.vscord = buildVscodeMarketplaceExtension {
         mktplcRef = {
           name = "vscord";
diff --git a/pkgs/applications/editors/vscode/extensions/leanprover.lean4/default.nix b/pkgs/applications/editors/vscode/extensions/leanprover.lean4/default.nix
new file mode 100644
index 000000000000..b081e16eceb7
--- /dev/null
+++ b/pkgs/applications/editors/vscode/extensions/leanprover.lean4/default.nix
@@ -0,0 +1,21 @@
+{
+  lib,
+  vscode-utils,
+}:
+
+vscode-utils.buildVscodeMarketplaceExtension {
+  mktplcRef = {
+    name = "lean4";
+    publisher = "leanprover";
+    version = "0.0.221";
+    hash = "sha256-OoDM9PuhQBRln41OHdVbI8EcXaqIQPArnqgFt+63aJg=";
+  };
+
+  meta = {
+    description = "This extension provides VS Code support for the Lean 4 theorem prover and programming language";
+    downloadPage = "https://marketplace.visualstudio.com/items?itemName=leanprover.lean4";
+    homepage = "https://github.com/leanprover/vscode-lean4";
+    license = lib.licenses.asl20;
+    maintainers = with lib.maintainers; [ alexstaeding ];
+  };
+}