القائمة
جمع SkillsMP عدد ١٨ من skills من Prismer-AI/Prismer. افتح أي skill لمراجعة مصدره وتفاصيله.
عرض ١٨ من أصل ١٨ skills مجمعة.
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.
لغة النص الأصلي: الإنجليزية
Load, analyze, and visualize datasets using pandas with AG Grid display. Use when the user asks to analyze CSV data, explore a dataframe, create charts, filter tabular data, or display spreadsheet-like results.
لغة النص الأصلي: الإنجليزية
Create, edit, and compile LaTeX documents for academic papers using latex_compile, update_latex, and send_ui_directive tools. Use when the user mentions LaTeX, .tex files, academic writing, typesetting, or needs to compile documents with equations, theses, or…
لغة النص الأصلي: الإنجليزية
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.
لغة النص الأصلي: الإنجليزية
Design and run machine learning experiments with proper evaluation using jupyter_execute, including training, benchmarking, and ablation studies. Use when the user wants to train models, compare algorithms, run ablation studies, evaluate ML performance, or…
لغة النص الأصلي: الإنجليزية
Create and execute Jupyter notebooks for interactive data analysis using jupyter_execute and jupyter_notebook tools. Use when the user asks to run Python code interactively, create notebooks, analyze data in cells, or mentions .ipynb files.
لغة النص الأصلي: الإنجليزية
Quantitative finance analysis including portfolio optimization, risk modeling, and time series econometrics using jupyter_execute. Use when the user asks about portfolio analysis, stock returns, financial risk, investment optimization, or volatility modeling.
لغة النص الأصلي: الإنجليزية
Construct and verify mathematical proofs using LaTeX typesetting and computational verification via jupyter_execute. Use when the user asks to prove a theorem, verify a mathematical argument, construct a formal proof, or check proof correctness…
لغة النص الأصلي: الإنجليزية
Conduct thorough academic peer reviews with structured feedback using load_pdf and arxiv_to_prompt. Use when the user asks to review a paper, provide manuscript feedback, critique research, or write a referee report.
لغة النص الأصلي: الإنجليزية
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.
لغة النص الأصلي: الإنجليزية
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.
لغة النص الأصلي: الإنجليزية