The Role of Thoughts: a Dynamic Cognitive Mixture-of-Experts router for Claude Code. 9 expert lenses, 10 routing lanes, an R/s+ divergence gauge -- specified in 1770 machine-checked Lean 4 theorems across 99 modules, with 797 mutants applied and 797 killed, and 84 checkers behind 83 release gates.
Plugin Claude Code
RoT MoE - a nine-lens Mixture-of-Experts router with a measured R/s+ divergence gauge, specified in Lean 4 and bound to the shipped hooks by an executable checker. 1813 machine-checked theorems, zero sorry, kernel re-verified.
Plugin Claude Code
RoT MoE - a nine-lens Mixture-of-Experts router with a measured R/s+ divergence gauge, specified in Lean 4 and bound to the shipped hooks by an executable checker. 1813 machine-checked theorems, zero sorry, kernel re-verified.