🔌
rot-moe
🔌PluginNova-Violet-Role/RoT-MoE
Installation
Add marketplace in Claude Code:
$
/plugin marketplace add Nova-Violet-Role/RoT-MoEStep 2. Install plugin:
$
/plugin install rot-moe@rot-moe
|What it does
|Nine-lens MoE router for Claude Code. One UserPromptSubmit hook picks a lane from your prompt and prints one line before the turn; the model decides everything after that. No network, no API key, no Lean toolchain required. The routing table it uses is the one specified in Lean 4 and re-checked by the kernel.
Part of
Nova-Violet-Role/RoT-MoE
productivitymixture-of-expertsrouterlean4formal-verificationhooks
0
-
AddedAug 5, 2026