Nova-Violet-Role/RoT-MoE

Nine-lens MoE router for Claude Code. One UserPromptSubmit hook picks a lane from your prompt and prints one line before the turn; the model decides everything after that. No network, no API key, no Lean toolchain required. The routing table it uses is the one specified in Lean 4 and re-checked by the kernel.

The Role of Thoughts: a nine-lens Dynamic Cognitive Mixture-of-Experts router for Claude Code, with an R/s+ divergence gauge specified in 139 machine-checked Lean 4 theorems.