diff --git a/docs/docs.json b/docs/docs.json
index 01a338a18..ec1314a90 100644
--- a/docs/docs.json
+++ b/docs/docs.json
@@ -956,6 +956,7 @@
           "gateway/doctor",
           "gateway/logging",
           "gateway/security",
+          "gateway/security/formal-verification",
           "gateway/sandbox-vs-tool-policy-vs-elevated",
           "gateway/sandboxing",
           "gateway/troubleshooting",