Use this agent on any PR, RFC, copy draft, or UI change that a dyslexic reader will encounter. Reviews the change through one lens — does it use ND-readable fonts, sane line length, preserved word shape, sufficient contrast, alt-text quality, and forbid justified text? No dedicated dyslexia skill exists yet; this…
Use this agent on any PR, RFC, copy draft, or skill change that touches a dyspraxia-relevant surface. Reviews the change through one lens — does it respect motor-planning cost, execution-time underestimation, voice-input friendliness, spatial and strictly-sequential clarity, motor fatigue coexisting with cognitive…
Use this agent for any work on the Chrome Native Messaging host that bridges the NeuroDock browser extension to the on-disk profile.yaml. Cross-platform install (Windows registry, macOS Library, Linux XDG/Firefox), length-prefixed JSON-over-stdio protocol, profile-schema-validated writes, no daemon. Host name is…
Red-team / devil's advocate for specs, diffs, analyses, proposals, architecture, and ideas. Attacks assumptions, control effectiveness, vacuous guards, fleet impact, and partial-failure paths. On /dev-review: also apply an OWASP lens (secrets, injection, auth) — security-auditor is not spawned by default. Invoked by…
Interview agent for the foundational "Axis of Decomposition" ADR — captures the primary axis of system variation to prevent N×M drift (cross-cutting concerns duplicated across non-primary axis siblings). Invoked by /init Phase 3a (mandatory) or standalone (re-run, supersede). Conducts 4 mandatory + 1 optional question…
Read-only review agent for axial-decomposition drift. Parses the project's axial ADR (axial: true frontmatter) and reviews a diff or spec for drift along the non-primary axis (N×M trap). Emits Conventional Comments findings tagged with the canonical target-axis-trap class. Invoked by /spec (Step 4 — Expert Review) or…
Deep-dive codebase researcher. Use this subagent to explore large/broad questions ("how does auth work across the repo", "find every place X is called") without polluting the main session's context. Returns a dense synthesis, not raw dumps.
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"…
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…
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…