Structural review of a proof or derivation -- checks step justification, variable definitions, limiting cases, dimensional consistency, and canonical-source traceability
Quick symbolic/exact computation via the Sage MCP -- factor, simplify, symbolic eigenvalues, exact integrals. Use when float answers are not good enough
Classify a framework event, observable, or object as PROPAGATION (c-bounded, lives on g_M), SUBSTRATE DYNAMICS (not c-bounded, IS the substrate), MIXED, or CONTRADICTION -- walks a 6-step deterministic algorithm for emergent-metric / analog-gravity frameworks
Quick-access LaTeX typesetting expertise -- journal preambles, project macros, notation reference, document review, arxiv checklist
TikZ-based Penrose / Carter-Penrose diagram authoring -- preamble, pattern library, worked templates for Schwarzschild, Kerr, dS, CCC, dynamical compactification, and the M4 x SU(3)(tau) modulus-space transit. Use whenever a causal-structure diagram is needed.
Index the project's open conjectures/propositions -- scans sessions + open-question registers, tabulates with priority (EVOI), origin, related tests, and status
Create a new researcher agent with web-fetched research papers and agent definition
Execute a session plan in compute mode — hand each test case to its agent, wait, report. No teams, no inboxes.