From ce5a2add01fa64ba9d0536c75d15ec4fac52e13d Mon Sep 17 00:00:00 2001 From: vignesh07 Date: Tue, 27 Jan 2026 15:19:34 -0800 Subject: [PATCH] docs: fix Moltbot naming consistency on formal verification page --- docs/security/formal-verification.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/security/formal-verification.md b/docs/security/formal-verification.md index 9b9bdb2689..1098acbba3 100644 --- a/docs/security/formal-verification.md +++ b/docs/security/formal-verification.md @@ -1,6 +1,6 @@ --- title: Formal Verification (Security Models) -summary: Machine-checked security models for Moltbot’s highest-risk paths (formerly Clawdbot). +summary: Machine-checked security models for Moltbot’s highest-risk paths. permalink: /security/formal-verification/ --- @@ -8,7 +8,7 @@ permalink: /security/formal-verification/ This page tracks Moltbot’s **formal security models** (TLA+/TLC today; more as needed). -> Moltbot was formerly named Clawdbot; some older references and commands may still use `clawdbot`. +> Note: some older links may refer to the previous project name. **Goal (north star):** provide a machine-checked argument that Moltbot enforces its intended security policy (authorization, session isolation, tool gating, and