diff --git a/AGENTS.md b/AGENTS.md
new file mode 100644
index 0000000..ac848f6
--- /dev/null
+++ b/AGENTS.md
@@ -0,0 +1,5 @@
+## Dev environment tips
+
+- use treefmt to format all files
+- make python code ruff compliant
+- use pytest to test python code