diff --git a/.github/agents/README.md b/Z3-AGENT.md
similarity index 100%
rename from .github/agents/README.md
rename to Z3-AGENT.md