diff --git a/.codex/AGENTS.md b/.codex/AGENTS.md
index cc8e5d4..3830f87 100644
--- a/.codex/AGENTS.md
+++ b/.codex/AGENTS.md
@@ -1,3 +1,3 @@
 after you finish work, commit with a conventional message. only commit the files you edited.
-run `make lint` and fix any errors before committing.
+run `make check` and fix any errors before committing.