diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
new file mode 100644
index 0000000..79cabfa
--- /dev/null
+++ b/.github/CODEOWNERS
@@ -0,0 +1 @@
+* @ThorFuchs @AnSoFuchs
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
new file mode 100644
index 0000000..5ace460
--- /dev/null
+++ b/.github/dependabot.yml
@@ -0,0 +1,6 @@
+version: 2
+updates:
+  - package-ecosystem: "github-actions"
+    directory: "/"
+    schedule:
+      interval: "weekly"
diff --git a/.github/workflows/public-surface.yml b/.github/workflows/public-surface.yml
new file mode 100644
index 0000000..d091746
--- /dev/null
+++ b/.github/workflows/public-surface.yml
@@ -0,0 +1,27 @@
+name: Public Surface
+
+on:
+  pull_request:
+  push:
+    branches: [main]
+
+permissions:
+  contents: read
+
+jobs:
+  public-surface:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Check public-surface language
+        run: |
+          set -euo pipefail
+          forbidden='Every derivation machine-checked|contact@panta-rhei.site|Panta-Rhei-Framework|Panta-Rhei-Research/formalization|450 modules|125,771|4,332'
+          if grep -R -n -E --exclude='public-surface.yml' "$forbidden" .; then
+            echo "::error::Forbidden stale public-surface language found."
+            exit 1
+          fi
+
+      - name: Check whitespace
+        run: git diff --check