---
license: agpl-3.0
language:
- en
tags:
- sovereign-compute
- worm-chain
- formal-verification
- snapkitty
- agents
- python
- prolog
---

# bob-reasoning

BOB reasoning model — MCTS agent with PUCT scoring and WORM-sealed proof search.

**Part of the SNAPKITTYWEST Sovereign Compute constellation.**

Unified theory: [10.5281/zenodo.21816366](https://doi.org/10.5281/zenodo.21816366)

[Research Papers →](https://huggingface.co/datasets/Snapkitty/papers)
[GitHub →](https://github.com/SNAPKITTYWEST)

---

## License

Licensed under **AGPL-3.0**. Full text: [LICENSE](LICENSE).

### 💼 Commercial License

Snapkitty code is free and open under **AGPL-3.0** for open-source use. Building a commercial product or service? A **proprietary commercial license** from Snapkitty Collective LLC lets you ship this code without the AGPL's source-sharing and network-use obligations.

**[→ Get a commercial license](mailto:A.parr@belespritdaccord.uk?subject=Commercial%20license:%20bob-reasoning)** · A.parr@belespritdaccord.uk