romtuck/openclaw
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

docs: avoid Mintlify route conflict for security/formal verification

Browse Source
This commit is contained in:
vignesh07 2026-01-26 20:46:17 -08:00
parent 066b222b28
commit f73123c32e
4 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/docs.json
View File

@ -956,7 +956,7 @@
"gateway/doctor", "gateway/doctor",
"gateway/logging", "gateway/logging",
"gateway/security", "gateway/security",
"gateway/security/formal-verification", "gateway/security-formal-verification",
"gateway/sandbox-vs-tool-policy-vs-elevated", "gateway/sandbox-vs-tool-policy-vs-elevated",
"gateway/sandboxing", "gateway/sandboxing",
"gateway/troubleshooting", "gateway/troubleshooting",

2
docs/gateway/security/formal-verification.md → docs/gateway/security-formal-verification.md
View File

@ -1,7 +1,7 @@
--- ---
title: Formal Verification (Security Models) title: Formal Verification (Security Models)
summary: Machine-checked security models for Clawdbot’s highest-risk paths. summary: Machine-checked security models for Clawdbot’s highest-risk paths.
permalink: /gateway/security/formal-verification/ permalink: /gateway/security-formal-verification/
--- ---
# Formal Verification (Security Models) # Formal Verification (Security Models)

2
docs/gateway/security.md
View File

@ -7,7 +7,7 @@ read_when:
## Quick check: `clawdbot security audit` ## Quick check: `clawdbot security audit`
See also: [Formal Verification (Security Models)](/gateway/security/formal-verification/) See also: [Formal Verification (Security Models)](/gateway/security-formal-verification/)
Run this regularly (especially after changing config or exposing network surfaces): Run this regularly (especially after changing config or exposing network surfaces):

2
docs/security/formal-verification.md
View File

@ -2,4 +2,4 @@
permalink: /security/formal-verification/ permalink: /security/formal-verification/
--- ---
This page moved to: [/gateway/security/formal-verification/](/gateway/security/formal-verification/) This page moved to: [/gateway/security-formal-verification/](/gateway/security-formal-verification/)