claudia.keller/openclaw-vainplex
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

docs: fix Moltbot naming consistency on formal verification page

Browse source
This commit is contained in:
vignesh07 2026-01-27 15:19:34 -08:00
parent 98b136541b
commit ce5a2add01
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
docs/security/formal-verification.md
View file

@ -1,6 +1,6 @@
--- ---
title: Formal Verification (Security Models) 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/ 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). 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 **Goal (north star):** provide a machine-checked argument that Moltbot enforces its
intended security policy (authorization, session isolation, tool gating, and intended security policy (authorization, session isolation, tool gating, and