From b3003ed1aa234a8c73ed2bbfe59e4edbe730d1d2 Mon Sep 17 00:00:00 2001
From: vignesh07 <vigneshnatarajan92@gmail.com>
Date: Mon, 26 Jan 2026 20:37:23 -0800
Subject: [PATCH] docs: add formal verification page to Mintlify navigation

---
 docs/docs.json | 1 +
 1 file changed, 1 insertion(+)

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",