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 1620 machine-checked Lean 4 theorems across 86 modules, with 794 mutants applied and 794 killed, and 76 checkers behind 65 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 14, 2026 - Shell