Agent Skills
› Prismer-AI/Prismer
Prismer-AI/Prismer
GitHubPrismer学术工作区核心技能，提供LaTeX编译、Jupyter代码执行与笔记本管理、PDF加载及arXiv论文转换功能，支持UI组件自动切换，服务于学术研究与文档处理场景。
Install All Skills
npx skills add Prismer-AI/Prismer --all -g -y
Skills in Collection (18)
Prismer学术工作区核心技能，提供LaTeX编译、Jupyter代码执行与笔记本管理、PDF加载及arXiv论文转换功能，支持UI组件自动切换，服务于学术研究与文档处理场景。
用户要求编译LaTeX源码
用户需要运行Python代码或管理Jupyter笔记本
用户请求加载或查看PDF文档
用户需要将arXiv论文转换为LLM可读格式
npx skills add Prismer-AI/Prismer --skill prismer-workspace -g -y
用于读取和分析arXiv学术论文的Skill，支持获取摘要、章节结构及完整LaTeX源码，便于LLM进行深度研究。
用户提及arXiv或学术预印本
提供论文ID如2301.xxxxx
需要阅读或分析学术论文内容
npx skills add Prismer-AI/Prismer --skill arxiv-reader -g -y
用于在Prismer.AI工作区中查找、搜索、安装、列出和管理技能（Skills）及扩展的工具，支持用户和AI代理管理技能生态系统。
查询或搜索可用的技能
安装、卸载或更新技能
列出已安装的技能和扩展
npx skills add Prismer-AI/Prismer --skill find-skills -g -y
提供形式化验证能力，支持使用Lean 4、Coq和Z3工具进行定理证明、代码类型检查及可满足性求解。适用于数学证明验证和逻辑推理场景。
用户要求证明定理
验证数学证明正确性
检查工作逻辑可满足性
使用证明助手
npx skills add Prismer-AI/Prismer --skill formal-methods -g -y
用于浏览、搜索和分析 Hugging Face 上的机器学习论文。支持查看热门论文、关键词搜索、获取论文元数据及社区讨论，并可结合 arXiv 工具进行深度阅读，适用于 ML 研究探索场景。
查找最新 AI/ML 论文
搜索特定技术主题的研究
了解 Hugging Face 平台趋势
npx skills add Prismer-AI/Prismer --skill hf-papers -g -y
提供LaTeX文档编译为PDF的能力，支持多种引擎、模板选择及预览。适用于用户请求编译.tex文件、构建LaTeX文档或生成学术论文PDF的场景。
用户要求编译LaTeX文档
用户请求生成PDF
用户需要排版学术论文
npx skills add Prismer-AI/Prismer --skill latex-compiler -g -y
用于加载、分析、可视化数据集（CSV/Excel等），支持通过AG Grid展示表格数据，执行Pandas查询过滤，生成图表及保存结果。
用户请求分析CSV或表格数据
需要探索DataFrame结构
要求创建数据图表
需要对表格数据进行过滤或聚合
npx skills add Prismer-AI/Prismer --skill data-analysis -g -y
用于创建、编辑和编译LaTeX文档的学术写作技能，支持论文、论文和报告。提供模板、公式、图表引用及错误修复功能。
用户提到LaTeX或.tex文件
需要编译包含公式的学术论文
请求生成IEEE/ACM/CVPR模板
要求添加数学公式或图表
npx skills add Prismer-AI/Prismer --skill latex-writing -g -y
用于搜索和发现学术论文的 Skill，支持 arXiv、Semantic Scholar 等数据库。提供论文检索、元数据获取及 PDF 加载能力，辅助用户进行文献综述和学术参考查找。
查找研究论文
搜索 arXiv
进行文献综述
查找科学文献
npx skills add Prismer-AI/Prismer --skill paper-search -g -y
用于设计和运行机器学习实验，涵盖模型训练、基准测试、消融研究及结果评估。支持复现论文、统计分析及可视化，确保实验可复现性与严谨性。
用户要求训练特定任务的模型
用户希望复现某篇论文的实验结果
需要运行消融研究或超参数搜索
要求对ML模型性能进行评估和对比
npx skills add Prismer-AI/Prismer --skill ml-experiment -g -y
用于创建和执行 Jupyter Notebook，支持交互式数据分析、代码执行、可视化展示及文档编写。适用于运行 Python 代码、处理 .ipynb 文件及数据探索场景。
用户要求创建或编辑 Jupyter Notebook
需要交互式运行 Python 代码进行数据分析
提到 .ipynb 文件或需要生成数据可视化图表
npx skills add Prismer-AI/Prismer --skill jupyter -g -y
提供量化金融分析能力，涵盖投资组合优化、风险建模及时间序列计量经济学。支持使用Jupyter执行Python代码进行数据清洗、统计检验、模型构建与回测，并生成可视化图表与研究论文。
用户询问投资组合分析或股票收益
请求金融风险评估或波动率建模
需要执行量化因子研究或压力测试
npx skills add Prismer-AI/Prismer --skill quant-analysis -g -y
辅助构建、验证和排版数学证明。结合逻辑推理与计算验证，使用 LaTeX 排版并借助 Jupyter 进行符号或数值验证，适用于定理证明、猜想验证及反例搜索等场景。
用户要求证明定理
用户要求验证数学论点或猜想
需要构造形式化证明
检查证明正确性
npx skills add Prismer-AI/Prismer --skill theorem-proving -g -y
用于对学术论文进行同行评审，通过加载PDF或arXiv论文，分析其贡献、方法及新颖性，并生成包含优缺点和修改建议的结构化审稿报告。
用户要求评审论文
提供稿件反馈
批评研究内容
撰写审稿报告
npx skills add Prismer-AI/Prismer --skill peer-review -g -y
用于读取和分析arXiv学术论文，支持获取摘要、章节结构及完整LaTeX源码。通过缓存机制提升重复访问效率，适用于学术文献调研与内容解析场景。
用户提及arXiv或学术预印本
请求阅读特定ID的论文
需要提取论文摘要或章节列表
npx skills add Prismer-AI/Prismer --skill arxiv-reader -g -y
提供形式化验证工具，用于通过 Lean4、Coq 和 Z3 检查定理证明正确性、验证数学证明及求解可满足性问题。
验证数学证明
检查定理正确性
求解逻辑可满足性
npx skills add Prismer-AI/Prismer --skill formal-methods -g -y
封装 Hugging Face Papers API，支持浏览热门论文、关键词搜索、获取论文元数据及社区评论。用于发现 ML 研究趋势、查询 AI 论文详情，辅助研究人员快速掌握前沿动态。
查找今日热门 AI/ML 论文
按关键词搜索特定主题的学术论文
获取指定论文的详细信息和元数据
查看论文下方的社区讨论评论
npx skills add Prismer-AI/Prismer --skill hf-papers -g -y
提供LaTeX文档编译为PDF的功能，支持多种引擎、参考文献处理及模板选择。适用于生成学术文章、预览PDF输出或解决排版问题。
用户要求将LaTeX源文件编译为PDF
用户需要获取LaTeX模板或预览排版效果
npx skills add Prismer-AI/Prismer --skill latex-compiler -g -y
