diff --git a/AGENTS.md b/AGENTS.md
deleted file mode 100644
index f6ad2d63d..000000000
--- a/AGENTS.md
+++ /dev/null
@@ -1,5 +0,0 @@
-- to run a system test in the tests/ directory, use `tests/test_driver.py target/debug tests/path/to/test-file`
-
-# Coding style
-
-- Use comments sparingly. Don't explain what the code is doing, rather explain why.