菜单
Search and discover academic papers from arXiv and web sources using arxiv_to_prompt and web search. Use when the user asks to find research papers, search arXiv, look up scientific literature, do a literature review, or needs academic references.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
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 | paper-search |
| description | Search and discover academic papers from arXiv and web sources using arxiv_to_prompt and web search. Use when the user asks to find research papers, search arXiv, look up scientific literature, do a literature review, or needs academic references. |
Search and discover academic papers from various databases and repositories.
arxiv_to_prompt - Convert arXiv papers to LLM-readable text (search by arXiv ID)load_pdf - Load PDF papers in the workspace viewerWhen user says: "Find papers about transformer architectures"
When user says: "Find recent papers by [Author Name]"
When user says: "Find papers that cite [Paper Title]"
When user says: "Find related work for this topic"
Title: [Paper Title]
Authors: [Author List]
Year: [Publication Year]
Venue: [Journal/Conference]
Abstract: [First 200 words...]
Citations: [Count]
Link: [URL]
Found [N] relevant papers:
Top Results:
1. [Title] ([Year]) - [Citation Count] citations
2. [Title] ([Year]) - [Citation Count] citations
...
Would you like me to:
- Show detailed abstracts?
- Filter by specific criteria?
- Export to BibTeX?
arxiv_to_prompt arxiv_id="2303.08774"
arxiv_to_prompt arxiv_id="2303.08774" abstract_only=true
arxiv_to_prompt arxiv_id="2303.08774" list_sections=true
load_pdf source="/workspace/papers/downloaded.pdf"
abstract_only=true to quickly triage papers before committing to a full readlist_sections=true to check a paper's structure before fetching full text