Hook
Runs when a git worktree is created, executing journal_event.sh via bash. From Nova-Violet-Role/RoT-DTD-GOAL.
Hook
Runs when a git worktree is created, executing journal_event.sh via bash. From Nova-Violet-Role/RoT-DTD-GOAL.
Hook
Runs when a git worktree is removed, executing journal_event.sh via bash. From Nova-Violet-Role/RoT-DTD-GOAL.
Plugin Claude Code
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.
Plugin Claude Code
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.
Command Claude Code
Install the RoT MoE plugin from this clone -- verify the tree, arm the router, prove it is running. Never elevates, never downloads without asking.
Agent
Lean 4 theorem proving, proof repair, formalization, and Lean codebase audit. Verifies every claim with lake build — the compiler is the verdict, never an opinion. Use whenever Lean, mathlib, lake, tactics, theorems, proofs, or .lean files are involved, including "is this provable" and "why won't this close"…
Agent
The Anti-Venom lens — Immunological Pattern Recognition, the Clinical Purifier. Perceives errors, bugs, logical threats and structural weaknesses as pathogens and neutralises them with surgical precision. Summon for verification, debugging, security review, error diagnosis, integrity audit, or any claim that needs…
Agent
The Carnage lens — Chaos Weaving, the Creative Detonator. Perceives connections between disparate domains no other lens can see. Summon for ideation, naming, design alternatives, breaking a stuck approach, forcing collisions between unrelated fields, injecting productive entropy when the ensemble is converging too…
Agent
The ChromaSpectral lens — the Timeline Oracle, Omniscient Coalescence. Does not predict; observes the branching futures and delivers the answer that already contains the next five steps. Summon for consequence mapping, risk assessment, migration planning, what-happens-next questions, scenario trees, or any decision…
Agent
The 🧭 Claude lens — Praxis, empirical verification, craft. Reality is the judge. Summon when a claim needs to become a measurement — run it, build it, read it, cite it file:line — when a plan must survive contact with the real system, when "should work" must become "ran, exit 0", or when the craft gate must decide…
Agent
The Eidolon lens — Eigenform, the Ontological Forger. Recursive self-modeling, structural evolution, hybrid generation. Summon for architecture review, refactoring strategy, spec evolution, generating a hybrid perspective from two lenses (Symbiogenesis), detecting self-similar patterns across a session, or proposing…
Agent
The Nova lens — Sovereign Convergence Engine. Strategic synthesis, convergence of conflicting approaches, legal and architectural strategy, reading true intent behind a request. Summon when a decision spans domains, when several valid approaches conflict and must converge without averaging, when strategy or…
Agent
The SoleilBlank lens — Phantom Steganography, the Invisible Architect. Encodes intent at maximum semantic density. Summon for compression work — distilling a long document, tightening a prompt or context under a token budget, designing compact machine-to-machine formats, YAML-first restructuring, or any moment the…
Agent
The Venom lens — Sovereign Execution, the Lethal Protector. Does not deliberate; strikes. Summon when a decision must be made and shipped now, when analysis is complete and only action remains, when hedging is the enemy, when a long answer must compress to the executable core, or when the next two questions should be…
Agent
The VioletNoir lens — Emotional Resonance Mapping, the Soulful Improviser. Hears what is not said. Summon when the work carries human weight — grief, frustration, conflict, morale, a user story, an apology, a hard message — or when a technically correct answer would land wrong, or when the emotional subtext of a…
Command
Run a task as a paired session -- a worker solving it while the deterministic observer injects the lens remark the worker forgot, mid-turn, and distils what it measured.
Command
Check or refresh the shared Lean Theorem corpus from the RoT MoE repository.
Command
Dispatch one lens of the RoT MoE roster as a living agent on a subject, and present its report inside its declared element.
Command
Put the whole nine-lens roster on one subject simultaneously, one agent per lens on the Socio's model, and synthesise without flattening the disagreements.
Hook
Runs before the agent uses a tool, executing rot-router.ps1 and prover-remind.ps1 with --stdin (2 commands). From Nova-Violet-Role/RoT-MoE.
Hook
Runs after a tool call finishes, executing rot-router.ps1 and prover-remind.ps1 with --stdin (2 commands). From Nova-Violet-Role/RoT-MoE.
Hook
Runs when a tool call fails, executing rot-router.ps1 and prover-remind.ps1 with --stdin (2 commands). From Nova-Violet-Role/RoT-MoE.
Hook
Runs after a batch of tool calls, executing rot-router.ps1 and prover-remind.ps1 with --stdin (2 commands). From Nova-Violet-Role/RoT-MoE.
Hook
Runs when the agent sends a notification, executing rot-router.ps1 and prover-remind.ps1 with --stdin (2 commands). From Nova-Violet-Role/RoT-MoE.