12 Commits

Author	SHA1	Message	Date
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