docs: add AI tooling quick link, remove Run a Prover from landing page

Author: AztecBot

docs/docs/index.mdx

@@ -115,6 +115,18 @@ privacy, check out the [foundational topics](/developers/docs/foundational-topic
   }
 />
 
+<QuickLink
+  title="AI Tooling"
+  description="Set up Claude Code, Cursor, and Codex for Aztec development"
+  link="/developers/ai_tooling"
+  icon={
+    <svg viewBox="0 0 24 24" fill="none" stroke="currentColor" strokeWidth="2">
+      <path d="M12 2l1.9 5.8L20 9.5l-5.8 1.9L12 17l-1.9-5.6L4 9.5l6.1-1.7L12 2z" />
+      <path d="M19 14l.8 2.2L22 17l-2.2.8L19 20l-.8-2.2L16 17l2.2-.8L19 14z" />
+    </svg>
+  }
+/>
+
 <QuickLink
   title="Tutorials"
   description="Step-by-step guides to build on Aztec"
@@ -163,17 +175,6 @@ privacy, check out the [foundational topics](/developers/docs/foundational-topic
   }
 />
 
-<QuickLink
-  title="Run a Prover"
-  description="Contribute computational power to the network"
-  link="/operate/operators/setup/running_a_prover"
-  icon={
-    <svg viewBox="0 0 24 24" fill="none" stroke="currentColor" strokeWidth="2">
-      <path d="M22 12h-4l-3 9L9 3l-3 9H2" />
-    </svg>
-  }
-/>
-
 </div>
 
 <h2 className={styles.sectionHeading}>Resources</h2>