arxiv-source
Read and analyze arXiv papers by fetching LaTeX source, listing sections, or extracting abstracts
hf-papers
Browse trending papers, search by keyword, and get paper details from Hugging Face Papers
latex-compiler
Compile LaTeX documents to PDF using pdflatex, xelatex, or lualatex with template support
formal-provers
Formal verification with Lean 4, Coq, and Z3 SMT solver
