diff --git a/docs/gateway/security-formal-verification.md b/docs/gateway/security-formal-verification.md
new file mode 100644
index 000000000..3fb5d649f
--- /dev/null
+++ b/docs/gateway/security-formal-verification.md
@@ -0,0 +1,12 @@
+---
+title: Formal Verification (Security Models)
+summary: Redirect to the canonical Formal Verification page.
+permalink: /gateway/security/formal-verification/
+---
+
+This page moved to: [/security/formal-verification/](/security/formal-verification/)
+
+<script>
+  // Best-effort client-side redirect for Mintlify/Next.
+  window.location.replace("/security/formal-verification/");
+</script>