diff --git a/.gitignore b/.gitignore
index 2c8369a..0058828 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,6 @@ tmptmp
 *.o
 *.lo
 *.gz
+
+# Local machine-specific Codex notes
+AGENTS.local.md