Build an arXiv submission zip from LaTeX source — copies tex, bib, sty, figures into a flat archive, fixes paths, verifies compilation via Docker + TeX Live. Portable across projects.
EnglishCompile LaTeX paper to professional PDF using Docker + TeX Live (pdflatex, NeurIPS format with Times fonts, booktabs, natbib). Self-contained skill — portable across projects.
EnglishVerify academic paper references — automated ground truth check + live arXiv verification + multi-agent cross-review protocol.
EnglishConvert markdown paper (with LaTeX math, tables, figures) to publication-quality PDF via Mermaid + MathJax + Puppeteer pipeline.
English
AGENT SKILLS ATLASIncludes Build Arxiv Submission, Build Latex PDF, Check Paper Refs, and other workflows.
Claude Code
Codex
Cursor
GitHub Copilot
Gemini CLISupported by the Atlas install prompt. Skill-specific requirements vary.
Pack stats
What’s included
Build Arxiv Submission
Build an arXiv submission zip from LaTeX source — copies tex, bib, sty, figures into a flat archive, fixes paths, verifies compilation via Docker + TeX Live. Portable across projects.
Build Latex PDF
Compile LaTeX paper to professional PDF using Docker + TeX Live (pdflatex, NeurIPS format with Times fonts, booktabs, natbib). Self-contained skill — portable across projects.
Check Paper Refs
Verify academic paper references — automated ground truth check + live arXiv verification + multi-agent cross-review protocol.
Convert Markdown to PDF
Convert markdown paper (with LaTeX math, tables, figures) to publication-quality PDF via Mermaid + MathJax + Puppeteer pipeline.
Quick start
- Choose your skills. Select individual skills above, or choose the entire pack.
- Copy the install prompt. Use Copy install prompt above the list.
- Send it to your agent. Paste into your coding agent’s chat. Your agent reviews the source and guides the setup.
Try it with your agent
After installation, start with a request like:
Use the Build Arxiv Submission skill to help with my task.
Ask me for the context you need before getting started.Requirements & license
- A coding agent that can access your project files and install skills.
- Your agent checks each skill’s instructions, dependencies, and permissions during setup.
- Reported license for the skills shown: MIT. The author’s terms apply.