// 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.
| name | find-skills |
| description | 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. |
Discover and manage skills for Prismer.AI academic workspace.
This skill helps users and agents discover, search, and install skills that extend the capabilities of the Prismer.AI workspace. It provides a unified interface for both human users and AI agents to manage the skill ecosystem.
Discovery:
Information:
Installation:
Management:
Search for skills by name, description, or capability.
Parameters:
query (string, optional): Free-text search querycategory (string, optional): Filter by category (latex, jupyter, pdf, citation, data, writing, general)limit (number, optional): Maximum results to return (default: 10)Returns: Array of matching skills with id, name, description, category, version
Get detailed information about a specific skill.
Parameters:
skillId (string, required): The skill ID or nameReturns: Full skill details including tools, dependencies, author, repository
Install a skill to the current workspace.
Parameters:
skillId (string, required): The skill ID or package nameversion (string, optional): Specific version to install (default: latest)Returns: Installation status and any setup instructions
List all skills installed in the current workspace.
Parameters:
category (string, optional): Filter by categoryincludeBuiltin (boolean, optional): Include built-in skills (default: true)Returns: Array of installed skills with status
Remove a skill from the current workspace.
Parameters:
skillId (string, required): The skill ID to uninstallReturns: Uninstallation status
Update installed skills to their latest versions.
Parameters:
skillId (string, optional): Specific skill to update (omit for all)Returns: Update status for each skill
| Category | Description | Examples |
|---|---|---|
latex | LaTeX document preparation | latex-cite, latex-template, equation-helper |
jupyter | Jupyter notebook enhancement | cell-magic, data-loader, plot-helper |
pdf | PDF reading and annotation | highlight-sync, note-extract, figure-export |
citation | Bibliography management | bib-sync, cite-format, reference-check |
data | Data analysis and visualization | stats-helper, chart-gen, table-format |
writing | Academic writing assistance | grammar-check, structure-suggest, method-gen |
general | General purpose utilities | find-skills, workspace-backup, export-all |
The following skills are always available:
Skills are defined by a manifest.json in their directory:
{
"id": "example-skill",
"name": "Example Skill",
"version": "1.0.0",
"description": "A brief description of what this skill does",
"category": "general",
"author": "Prismer Team",
"repository": "https://github.com/prismer/example-skill",
"tools": [
{
"name": "example_tool",
"description": "What this tool does",
"parameters": {
"param1": {
"type": "string",
"description": "Parameter description",
"required": true
}
}
}
],
"dependencies": ["prismer-workspace"]
}
/workspace/skills/<skill-id>//home/user/.openclaw/workspace/skills/<skill-dir>/manifest.json<skill-dir>/index.ts or <skill-dir>/index.py/workspace/ directoryCore 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.
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.