#15591: Fix repo name and link. Still named clawdbot-formal-models.

<!-- greptile_comment --> <h2>Greptile Overview</h2> <h3>Greptile Summary</h3> This PR updates the documentation link for where the formal verification models live, changing the referenced repository from `vignesh07/openclaw-formal-models` to `vignesh07/clawdbot-formal-models`. The change fits into the security docs by keeping the “Where the models live” section aligned with the current external models repository. One place still references the old repo name in the “Getting started” clone commands, which should be updated to keep the reproduction instructions consistent. <h3>Confidence Score: 4/5</h3> - Safe to merge once the doc repro snippet is corrected to match the updated repo link. - Only documentation was changed; the single issue is an internal inconsistency that will mislead readers trying to reproduce the formal model runs. - docs/security/formal-verification.md _{Last reviewed commit: e6466d4} <!-- greptile_other_comments_section --> _{(2/5) Greptile learns from your feedback when you react with thumbs up/down!} <!-- /greptile_comment -->