rot-moe
01Plugin Claude Code
Bundles 5 commands, 10 agents, 33 hooks · 941 tokens together
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.
not rated 2 27d ago A
tokens not measured
AGPL-3.0