13 Commits

Author	SHA1	Message	Date
Ayaan Zaidi	b6a3a91edf	fix: wire per-account dm scope guidance (#3095) (thanks @jarvis-sam)	2026-01-28 11:42:33 +05:30
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
Vignesh	f7a014228d	Update permalink for formal verification document	2026-01-27 15:30:42 -08:00
vignesh07	90a6bbdbda	docs: restore gateway/security formal verification redirect copy	2026-01-27 15:29:35 -08:00
Vignesh	2bcd7655e4	Replace 'clawdbot' with 'moltbot' in security documentation ... Updated references from 'clawdbot' to 'moltbot' throughout the document, including security settings, file paths, and command usage.	2026-01-27 15:25:04 -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
Peter Steinberger	83460df96f	chore: update molt.bot domains	2026-01-27 12:21:01 +00:00
Vignesh	d3a6333ef7	docs: allow nested gateway security pages (#2641)	2026-01-26 23:41:35 -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