Prismer AI@Prismer

Prismer AI@Prismer from gabrielmoreira/agent-skills-mirror.

by @gabrielmoreira 4 skills

Skills in this plugin

▌
Hf Papers · prismer-ai bundle
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.

0 installs
▌
Arxiv Reader · prismer-ai bundle
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.

0 installs
▌
Formal Methods · prismer-ai bundle
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.

0 installs
▌
Latex Compiler · prismer-ai bundle
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.

0 installs