xianyuelai

Prepare a precise point-by-point response and revision ledger for mathematical referee reports, while preserving the manuscript's actual…

Read mathematical celestial-mechanics or n-body papers from a user-provided PDF by locating the corresponding arXiv LaTeX source, saving…

Research one or more open mathematical problems through a staged literature-search, method-analysis, and proof-framework workflow.

Query the OpenAlex catalog of scholarly works, authors, and institutions

Use when running the final pre-submission preflight for an Annals of Mathematics manuscript — AMS-LaTeX compile, theorem environments…

Use when Codex should work as a coding-agent-native proof planning and review workflow: transform a candidate theorem, proof sketch…

Initialize and inspect semantic-QMD mathematical projects; formulate definitions and results from ideas; develop, locally AI-check…

Comprehensive citation management for academic research.

Structures and derives research formulas when the user wants to 推导公式, build a theory line, organize assumptions, turn scattered equations…

Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build…

Generate a structured paper outline from review conclusions and experiment results.

Draft LaTeX paper section by section from an outline.