SkillDesign
LaTeX Proof Formatter
Format proofs and algorithms in publication-quality LaTeX
✳Claude Code>_Codex◈OpenClaw+1
By a5c-aiOriginal project
MIT · FreeView skill
FREE RESOURCE LIBRARYAI prompts and
AI prompts and
agent skills.
Browse reusable instructions for your AI tools. Copy and customize a prompt, or download a skill for a supported agent.
108 prompts13560 skills6 platforms
Browse resources 
BROWSE RESOURCES
Prompts and skills5 resources
SkillEducation & Research
Overleaf Skill
Sync and manage Overleaf LaTeX projects from the command line. Pull projects locally, push changes back, compile PDFs, and download compile outputs like .bbl files for arXiv submissions. Use when working with LaTeX, Overleaf, academic papers, or arXiv.
◈OpenClaw
By NeverSightOriginal project
MIT · FreeView skill
SkillContent & Media
Scientific Writing Guide
Curated tools and techniques for scientific writing beyond LaTeX
◈OpenClaw
By wentoraiOriginal project
MIT · FreeView skill
SkillEducation & Research
Academic Writing with LaTeX Templates
LaTeX-based academic writing assistant for thesis and paper templates
◈OpenClaw
By wentoraiOriginal project
MIT · FreeView skill
SkillEducation & Research
LaTeX Conference Template Organizer
Organize messy conference LaTeX template .zip files into clean Overleaf-ready structure. Use when the user asks to "organize LaTeX template", "clean up .zip template", or "prepare Overleaf submission template".
✳Claude Code>_Codex◈OpenClaw+1
By Galaxy-DawnOriginal project
MIT · FreeView skill
No matching resources.
Try another platform, a broader search, or fewer filters.
Explore all resourcesResource formats: Prompts are ready to copy into a conversation. Skills install into the compatible agent shown on their page.
How it worksCONTRIBUTE
Submit a resourceSubmit a prompt or skill
Include the instructions, intended platforms, author, and license. Submissions are reviewed before publication.