From e6466d4e7d82d84dba01d3882a4fa4799ca633e4 Mon Sep 17 00:00:00 2001 From: Neil Mansilla Date: Fri, 13 Feb 2026 12:01:05 -0500 Subject: [PATCH] Fix repo name and link. Still named clawdbot-formal-models. --- 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 a45e63f3c11..b1521b0cfc2 100644 --- a/docs/security/formal-verification.md +++ b/docs/security/formal-verification.md @@ -23,7 +23,7 @@ misconfiguration safety), under explicit assumptions. ## Where the models live -Models are maintained in a separate repo: [vignesh07/openclaw-formal-models](https://github.com/vignesh07/openclaw-formal-models). +Models are maintained in a separate repo: [vignesh07/clawdbot-formal-models](https://github.com/vignesh07/clawdbot-formal-models). ## Important caveats