# bot-formal-models

> TLA+ formal security models and regression tests for the Clawdbot agent platform.

- Type: App
- Publisher: hanzo
- Category: repository
- Language: TLA
- Updated: 2026-09-30

## Links

- [Source](https://github.com/hanzoai/bot-formal-models)
- [Catalog search for it as JSON (no key)](https://api.hanzo.ai/v1/catalog?org=hanzo&q=bot-formal-models)

---

Page: https://hanzo.market/apps/hanzo/bot-formal-models · Every listing: https://hanzo.market/llms.txt