diff --git a/README.md b/README.md
index f78e59ec..44506dc0 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,7 @@
+## Repository migration
+
+Starting from end of July 2026, all development on this repository is moved to [`www.github.com/starkware-libs/proving`](https://github.com/starkware-libs/proving).
+
 # Proving Utils Workspace
 
 This workspace contains multiple CLI binaries. Start here, then follow the links to each binary’s README for full usage.