
Compile a LaTeX document with full citation resolution (pdflatex + bibtex, 3 passes). Reports warnings and errors.
Library documentation lookup with tokenization and reranking. Use when user mentions external libraries, frameworks, or packages (e.g., how do I use React hooks, FastAPI authentication, pandas DataFrame). Triggers on library names, package imports, framework questions. Returns top 5 most relevant documentation chunks.
Git version control essentials and best practices. Use when working with git repositories, commits, branches, merges, rebases, remotes, or resolving conflicts. Triggers on git commands, branch operations, merge/rebase questions, or version control workflows.
Show cheat sheet of all custom slash commands and subagents for the research environment.
Toggle low token mode on/off for this command or the rest of the session.
Construct or verify a mathematical proof. Provide a claim/theorem and optionally a proof technique.
Comprehensive manuscript review covering technical correctness, proof validity, security analysis, and presentation quality. Simulates a top-venue referee report.
Computationally verify a mathematical identity, construction, or cryptographic property using Python.
Draft or refine a LaTeX section for a research paper, note, or proof writeup.
Survey a research topic — find approaches, compare tradeoffs, summarize key papers and results.
Structured literature search and synthesis with citation extraction and gap identification. Searches eprint, arxiv, and the web.
Generate structured research questions, conjectures, and proof strategies from a topic or open problem in cryptography/mathematics.
Proofread a LaTeX document for grammar, typos, notation consistency, and academic writing quality. Produces a report without editing files.
Use when starting feature work that needs isolation from current workspace or before executing implementation plans - creates isolated git worktrees with smart directory selection and safety verification
Full documentation auto-update protocol: trigger tables, structural change rules, policy-change mappings for ~/claude-projects/docs/.
Cross-reference all citations in .tex files against bibliography entries. Find missing entries, unused references, and quality issues.
Full persistent memory protocol: auto-setup for new projects, MEMORY.md templates, maintenance rules.