LaTeX Proof Formatter
Format proofs and algorithms in publication-quality LaTeX
5,185,335 AI resources indexedWorking toward the world’s largest AI resource index.
Reusable instructions for compatible AI agents.
Field counts come from the latest full-catalog snapshot. A resource can belong to several fields and platforms.
Format proofs and algorithms in publication-quality LaTeX
Sync and manage Overleaf LaTeX projects from the command line. Pull projects locally, push changes back, compile PDFs, and download compile outputs like .bbl files for arXiv submissions. Use when working with LaTeX, Overleaf, academic papers, or arXiv.
Curated tools and techniques for scientific writing beyond LaTeX
LaTeX-based academic writing assistant for thesis and paper templates
Organize messy conference LaTeX template .zip files into clean Overleaf-ready structure. Use when the user asks to "organize LaTeX template", "clean up .zip template", or "prepare Overleaf submission template".
Guide to collaborative LaTeX editing with Overleaf
Two-way sync between a local paper directory and an Overleaf project, so ARIS audit/edit workflows stay on the local copy while collaborators edit in the Overleaf web UI. Use when user says \"同步 overleaf\", \"overleaf sync\", \"推送到 overleaf\", \"connect overleaf\", \"Overleaf 桥接\", \"pull overlea...
Sync and manage Overleaf LaTeX projects from the command line
11 latex skills. Trigger: LaTeX typesetting, formatting papers, mathematical notation, Beamer. Design: template-based guides with package recommendations and compilation tips.
Agent skill for Researcher, Data Analyst, Market Research Analyst, published by brycewang-stanford. Project details and file access are provided by the publisher.
Agent skill for Researcher, Data Analyst, Content Marketer, published by brycewang-stanford. Project details and file access are provided by the publisher.
Agent skill for Researcher, Academic Writer, Data Scientist, published by brycewang-stanford. Project details and file access are provided by the publisher.
Try a broader search or clear some filters.
Platform labels describe intended use. Read each resource's author credits, requirements and available access methods.