12 Commits

Author	SHA1	Message	Date
Val Alexander	3d2fe9284e	Fix repository links in formal-verification.md (#10200) ... Updated repository links for formal verification models.	2026-02-06 21:47:55 -05:00
cpojer	8cab78abbc	chore: Run pnpm format:fix.	2026-01-31 21:13:13 +09:00
Peter Steinberger	9a7160786a	refactor: rename to openclaw	2026-01-30 03:16:21 +01: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
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
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	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