Prismer-AI
Publisher on askill
Create, edit, and compile LaTeX documents for academic papers using latex_compile, update_latex, and send_ui_directive tools
Load, analyze, and visualize datasets using pandas with AG Grid display
Quantitative finance analysis including portfolio optimization, risk modeling, and time series econometrics using jupyter_execute
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 Huggin...
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...
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 sa...
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...
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 algor...
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, e...
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 l...
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 sa...
Formal verification with Lean 4, Coq, and Z3 SMT solver via the container's prover server.
Compile LaTeX documents to PDF using the container's TeX Live installation. Supports pdflatex, xelatex, and lualatex engines.
Search and download academic papers from arXiv. Find papers by keywords, authors, or arXiv ID.
Execute Python for scientific computing, data analysis, and visualization. Full scientific stack pre-installed.
Manage Jupyter notebooks — create, execute cells, manage kernels via the container's Jupyter Server REST API.