diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md
new file mode 120000
index 00000000..be77ac83
--- /dev/null
+++ b/.github/copilot-instructions.md
@@ -0,0 +1 @@
+../AGENTS.md
\ No newline at end of file
diff --git a/AGENTS.md b/AGENTS.md
new file mode 100644
index 00000000..ea01caa7
--- /dev/null
+++ b/AGENTS.md
@@ -0,0 +1,10 @@
+# Guidelines for Codex Agents
+
+This repository is a devops environment.
+
+When problems arise with the tooling or dependencies, **do not give up**.
+Research the issue online and attempt to resolve it.
+
+You may install additional software either by extending the Nix development
+environment or by using the Ubuntu package manager. The primary goal is to
+overcome environment issues so that the tooling here works correctly.