diff --git a/AGENTS.md b/AGENTS.md
index eb0310381..7b52de3e1 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -52,6 +52,7 @@ make pre-commit
 
 If `make` is unavailable, run the equivalent checks defined under `.config/make/`.
 Documentation-only or instruction-only changes are exempt from the verification commands above (including the `.config/make/` equivalents), though any installed git pre-commit hooks (for example, from `make setup-hooks`) may still run on commit unless explicitly skipped.
+After build-based verification completes, clean generated build artifacts before wrapping up to avoid unnecessary disk usage.
 Do not open a PR with code changes when the required checks fail.
 
 ## Git and PR Baseline