Prismer-AI
@Prismer-AI Organization
4 Skills
3115 Total Stars
February 2026 Joined
Public Skills
academic-workspace
by Prismer-AI
Manage the academic workspace — project structure, templates, and output organization.
academic-latex
by Prismer-AI
Compile LaTeX documents to PDF using the container's TeX Live installation. Supports pdflatex, xelatex, and lualatex engines.
academic-prover
by Prismer-AI
Formal verification with Lean 4, Coq, and Z3 SMT solver via the container's prover server.
academic-jupyter
by Prismer-AI
Manage Jupyter notebooks — create, execute cells, manage kernels via the container's Jupyter Server REST API.