From cb770f2cec7e8bf1cbc5045f92be6a47cbba9db5 Mon Sep 17 00:00:00 2001
From: Vignesh <vignesh07@users.noreply.github.com>
Date: Mon, 26 Jan 2026 20:58:12 -0800
Subject: [PATCH] docs: fix Mintlify MDX autolink (#2584)

---
 docs/security/formal-verification.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/security/formal-verification.md b/docs/security/formal-verification.md
index 6028b8291..4e2c13771 100644
--- a/docs/security/formal-verification.md
+++ b/docs/security/formal-verification.md
@@ -20,7 +20,7 @@ misconfiguration safety), under explicit assumptions.
 
 ## Where the models live
 
-Models are maintained in a separate repo: <https://github.com/vignesh07/clawdbot-formal-models>.
+Models are maintained in a separate repo: [vignesh07/clawdbot-formal-models](https://github.com/vignesh07/clawdbot-formal-models).
 
 ## Important caveats