Commit Graph

14 Commits

Author SHA1 Message Date
Sentinel Team
d7b0c62ddf fix: correct API references in guardrails docs 2026-01-28 11:17:35 -03:00
Sentinel Team
10ed53b6d8 docs(security): add guardrails documentation with @sentinelseed/moltbot
Add comprehensive documentation for integrating security guardrails
using the @sentinelseed/moltbot package:

- Input validation for prompt injection protection
- Tool call validation for dangerous command blocking
- Output validation for credential leak prevention
- Hook integration examples
- Configuration options
2026-01-28 10:45:38 -03:00
vignesh07
0b2b501856 docs: clarify v1++ claims (not just target lists) 2026-01-27 15:35:24 -08:00
vignesh07
ead73f86f0 docs: add v1++ formal model targets (pairing/ingress/routing) 2026-01-27 15:32:37 -08:00
vignesh07
ce5a2add01 docs: fix Moltbot naming consistency on formal verification page 2026-01-27 15:19:34 -08:00
vignesh07
98b136541b docs: fix Moltbot naming in security + formal verification pages 2026-01-27 15:15:18 -08:00
vignesh07
8198e826da docs: update security + formal verification pages for Moltbot rename 2026-01-27 15:12:26 -08:00
Peter Steinberger
6d16a658e5 refactor: rename clawdbot to moltbot with legacy compat 2026-01-27 12:21:02 +00:00
Vignesh
cb770f2cec
docs: fix Mintlify MDX autolink (#2584) 2026-01-26 20:58:12 -08:00
Vignesh
f72b881276
docs: fix formal verification route (#2583) 2026-01-26 20:50:11 -08:00
vignesh07
39260e7055 docs(security): publish formal verification page under gateway/security 2026-01-26 20:32:12 -08:00
vignesh07
e487fe2fc4 docs(security): improve formal verification page reproducibility 2026-01-26 20:16:33 -08:00
vignesh07
e03e2ba11a docs(security): clarify formal models caveats and reproduction 2026-01-26 20:13:20 -08:00
vignesh07
286b3caf2f docs(security): add formal verification page (draft) 2026-01-26 20:13:20 -08:00