---
license: other
license_name: sovereign-source-license-v2
language:
- en
tags:
- sovereign-compute
- worm-chain
- formal-verification
---

# 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)