Back to all repositories
NO
RoT-MoE
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.
2stars0forks0watchers/subscribers0issues
agentic-workflowagplai-agentsbashclaude-codeclaude-code-plugineuplformal-verificationhookslean4llm-toolingmachine-checkedmathlibmixture-of-expertsmoepowershellprompt-engineeringproof-engineeringroutertheorem-proving
- Language
- Shell
- License
- GNU Affero General Public License v3.0
- Size
- 8.3 MB
- Created
- Aug 1, 2026
- Last Updated
- Aug 30, 2026
- Last Pushed
- Aug 30, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.