docker/plugin/prismer-workspace/skills/hf-papers/SKILL.md
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.
npx skillsauth add prismer-ai/prismer hf-papersInstall 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.
Browse, search, and analyze papers from the Hugging Face Papers platform.
hf_daily_papers to see what's trending todayhf_search_papers to find papers on a topichf_paper_detail to get full metadata for a specific paperhf_paper_comments to read community discussionarxiv_fetch (from arxiv-reader) with the paper's arXiv ID for full texthf_daily_papers — Get trending papers. Params: limit (default: 20), sort (upvotes or date)hf_search_papers — Search by keyword. Params: query (required)hf_paper_detail — Get paper metadata. Params: paper_id (required, arXiv ID)hf_paper_comments — Get discussion comments. Params: paper_id (required)Example:
{ "query": "multimodal reasoning" }
See canonical skill at /skills/hf-papers/ 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.