// Create, edit, and compile LaTeX documents for academic papers using latex_compile, update_latex, and send_ui_directive tools. Use when the user mentions LaTeX, .tex files, academic writing, typesetting, or needs to compile documents with equations, theses, or journal submissions.
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.
Read and analyze arXiv papers by fetching LaTeX source, listing sections, or extracting abstracts. Use when the user mentions arXiv, research papers, preprints, paper IDs like 2301.xxxxx, or wants to read academic publications.
List installed skills, search the skill registry, install new skills, and manage workspace extensions. Use when the user asks to find, install, list, or configure skills, or mentions skill registry, extensions, or workspace capabilities.
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.
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.
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.
| name | latex-writing |
| description | Create, edit, and compile LaTeX documents for academic papers using latex_compile, update_latex, and send_ui_directive tools. Use when the user mentions LaTeX, .tex files, academic writing, typesetting, or needs to compile documents with equations, theses, or journal submissions. |
Create, edit, and compile LaTeX documents for academic papers, theses, and reports.
latex_compile - Compile LaTeX to PDF (auto-switches to LaTeX editor)update_latex - Update LaTeX editor content without compilingsend_ui_directive - Send raw UI directives for advanced controlWhen user says: "Create a new paper about [topic]"
When user says: "Add the softmax equation"
When user says: "Add a figure showing [description]"
When user says: "Cite this paper: [reference]"
When user says: "The LaTeX isn't compiling"
latex_compile response's errors fieldlatex_compile and verify success: true\documentclass[conference]{IEEEtran}
\usepackage{cite}
\usepackage{amsmath,amssymb,amsfonts}
\usepackage{graphicx}
\usepackage{textcomp}
\documentclass[sigconf]{acmart}
\usepackage{booktabs}
\documentclass[10pt,twocolumn,letterpaper]{article}
\usepackage[pagenumbers]{cvpr}
\usepackage{times}
\usepackage{epsfig}
\usepackage{graphicx}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{booktabs}
\usepackage[breaklinks=true,bookmarks=false]{hyperref}
\title{Paper Title}
\author{Author Name\\Institution\\{\tt\small email@example.com}}
\begin{document}
\maketitle
\begin{abstract}
Abstract text here.
\end{abstract}
\section{Introduction}
...
\section{Related Work}
...
\section{Method}
...
\section{Experiments}
...
\section{Conclusion}
...
{\small
\bibliographystyle{ieee_fullname}
\bibliography{references}
}
\end{document}
\documentclass[12pt,a4paper]{report}
\usepackage{geometry}
\geometry{margin=1in}
$x = \frac{-b \pm \sqrt{b^2-4ac}}{2a}$\[ E = mc^2 \]\begin{equation}...\end{equation}\begin{bmatrix}
a & b \\
c & d
\end{bmatrix}
\begin{algorithm}
\caption{Algorithm Name}
\begin{algorithmic}
\STATE ...
\end{algorithmic}
\end{algorithm}