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.
bash hooks router powershell theorem-proving agpl moe formal-verification eupl ai-agents proof-engineering mathlib mixture-of-experts lean4 prompt-engineering agentic-workflow claude-code claude-code-plugin llm-tooling machine-checked
-
Updated
Aug 30, 2026 - Shell