From 61fc093f5d11d7e8e8743c4f4a9f19195441f761 Mon Sep 17 00:00:00 2001 From: vignesh07 Date: Mon, 26 Jan 2026 20:57:57 -0800 Subject: [PATCH] docs: fix Mintlify MDX parsing (no angle-bracket autolinks) --- docs/gateway/security-formal-verification.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/gateway/security-formal-verification.md b/docs/gateway/security-formal-verification.md index 9b1231bf4..17e9e6e8d 100644 --- a/docs/gateway/security-formal-verification.md +++ b/docs/gateway/security-formal-verification.md @@ -20,7 +20,7 @@ misconfiguration safety), under explicit assumptions. ## Where the models live -Models are maintained in a separate repo: . +Models are maintained in a separate repo: [github.com/vignesh07/clawdbot-formal-models](https://github.com/vignesh07/clawdbot-formal-models). ## Important caveats