docker/plugin/prismer-workspace/skills/latex-compiler/SKILL.md
Compile LaTeX documents to PDF using pdflatex, xelatex, or lualatex with template support. Use when the user asks to compile .tex files, build a LaTeX document, generate PDF from LaTeX, or typeset an academic paper.
npx skillsauth add prismer-ai/prismer latex-compilerInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
Compile LaTeX documents to PDF directly from the workspace. Supports multiple engines, bibliography processing, and starter templates.
latex_templates to see available templates, then latex_get_template to get starter contentlatex_compile to generate the PDF. If compilation fails, check the errors field and fix syntax issues before recompilinglatex_preview to get an inline base64 PDF for displaylatex_compile — Compile LaTeX source to PDF. Params: content (required), filename, engine, bibliography, runslatex_preview — Compile and return PDF as base64. Params: content (required), filename, engine, bibliographylatex_templates — List available templates and engines. No params.latex_get_template — Get template source. Params: name (required: article, article-zh, beamer, ieee)Example:
{ "content": "\\documentclass{article}\\begin{document}Hello\\end{document}", "engine": "pdflatex" }
See canonical skill for full tool documentation and parameter details.
tools
Core academic workspace tools: LaTeX compilation, Jupyter execution, PDF loading, UI control, content updates, and arXiv paper conversion. Use when the user asks to compile LaTeX, run Python code, load PDFs, display data, or control workspace editors.
development
Compile LaTeX documents to PDF using pdflatex, xelatex, or lualatex with template support. Use when the user asks to compile .tex files, build a LaTeX document, generate PDF from LaTeX, or typeset an academic paper.
data-ai
Browse trending papers, search by keyword, and get paper details from Hugging Face Papers. Use when the user wants to find ML research, asks about recent AI papers, trending models, or mentions Hugging Face Papers.
testing
Verify proofs, check theorem correctness, and solve satisfiability problems using Lean 4, Coq, and Z3 SMT solver. Use when the user asks to prove theorems, verify mathematical proofs, check logical satisfiability, or work with proof assistants.