Agent Skills
› Prismer-AI/Prismer
Prismer-AI/Prismer
GitHub提供学术工作区核心工具，支持LaTeX编译、Jupyter代码执行、PDF加载及arXiv论文转换，用于辅助科研内容处理与展示。
Install All Skills
npx skills add Prismer-AI/Prismer --all -g -y
Skills in Collection (18)
提供学术工作区核心工具，支持LaTeX编译、Jupyter代码执行、PDF加载及arXiv论文转换，用于辅助科研内容处理与展示。
用户请求编译LaTeX文档
用户需要运行Python代码或管理Notebook
用户要求加载或查看PDF文件
用户希望将arXiv论文转换为LLM可读格式
npx skills add Prismer-AI/Prismer --skill prismer-workspace -g -y
用于读取和分析arXiv论文，支持获取摘要、章节结构及完整LaTeX源码，便于LLM进行学术文献研究。
用户提及arXiv或学术论文
提供arXiv ID请求阅读
npx skills add Prismer-AI/Prismer --skill arxiv-reader -g -y
用于在Prismer.AI工作区中搜索、发现、安装、管理和更新技能及扩展。支持列出已安装技能、查询注册表详情、执行安装卸载操作，帮助用户和AI代理高效维护技能生态。
用户询问如何查找或安装新技能
用户需要列出当前工作区的已安装技能
用户请求管理或更新现有技能
npx skills add Prismer-AI/Prismer --skill find-skills -g -y
提供形式化验证工具，支持Lean4、Coq证明检查及Z3可满足性问题求解，用于定理证明与逻辑验证。
用户要求证明定理
验证数学证明正确性
检查逻辑可满足性
使用证明助手工作
npx skills add Prismer-AI/Prismer --skill formal-methods -g -y
用于浏览、搜索和分析 Hugging Face Papers 平台的机器学习论文，支持查看热门论文、关键词搜索、获取元数据及社区讨论。
查找 ML 研究
询问近期 AI 论文
关注热门模型
提及 Hugging Face Papers
npx skills add Prismer-AI/Prismer --skill hf-papers -g -y
LaTeX文档编译工具，支持pdflatex等引擎，提供模板选择、源码编辑、PDF生成及预览功能，适用于学术论文排版和.tex文件构建。
用户请求编译.tex文件
用户要求将LaTeX内容转为PDF
用户需要排版学术论文
npx skills add Prismer-AI/Prismer --skill latex-compiler -g -y
用于加载、分析和可视化数据集的 Skill，支持通过 pandas 处理 CSV/Excel 等数据，提供 AG Grid 表格预览及 Jupyter 图表生成功能。
分析 CSV 数据
探索 DataFrame
创建图表
过滤表格数据
显示类电子表格结果
npx skills add Prismer-AI/Prismer --skill data-analysis -g -y
用于创建、编辑和编译LaTeX文档，支持学术论文、论文及报告的排版。涵盖模板生成、公式图表插入、引用管理及编译错误修复，辅助用户完成学术写作与发布。
用户提到LaTeX或.tex文件
需要编译包含公式的学术论文或期刊投稿
请求添加数学公式、图片或参考文献
遇到LaTeX编译错误需要修复
npx skills add Prismer-AI/Prismer --skill latex-writing -g -y
用于搜索和发现 arXiv、Semantic Scholar 等学术数据库中的论文，支持按主题、作者或引用检索，提供元数据整理及 PDF 阅读功能。
查找研究论文
搜索 arXiv
文献综述
获取学术参考文献
npx skills add Prismer-AI/Prismer --skill paper-search -g -y
用于设计和运行机器学习实验，涵盖模型训练、基准测试、消融研究及结果评估。支持复现论文、配置超参数搜索、统计分析及可视化，确保实验可复现性与严谨性。
用户要求训练模型或比较算法
需要运行消融研究以分析组件影响
要求复现特定论文的实验结果
评估机器学习模型性能指标
npx skills add Prismer-AI/Prismer --skill ml-experiment -g -y
用于创建和执行Jupyter笔记本，支持交互式数据分析、代码执行、可视化展示及文档编写。适用于运行Python代码、处理.ipynb文件及数据探索场景。
用户要求创建或编辑Jupyter笔记本
需要交互式运行Python代码进行数据分析
提及.ipynb文件或生成可视化图表
npx skills add Prismer-AI/Prismer --skill jupyter -g -y
提供量化金融分析能力，涵盖投资组合优化、风险建模及时间序列计量经济学。支持通过Jupyter执行Python代码进行数据清洗、因子模型构建、VaR计算及蒙特卡洛模拟，辅助投资决策与学术研究。
用户询问投资组合分析或股票收益
需要构建风险模型或波动率模型
请求进行资产配置或因子投资优化
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文本，便于LLM进行内容研究。
用户提及arXiv、预印本或学术文献
提供论文ID并要求阅读或分析
npx skills add Prismer-AI/Prismer --skill arxiv-reader -g -y
提供形式化验证工具，用于检查Lean4和Coq证明的正确性，以及使用Z3求解SMT可满足性问题。支持本地安装的工具调用、状态检查及迭代调试。
验证数学定理或逻辑证明
检查代码类型是否匹配
求解公式的可满足性
npx skills add Prismer-AI/Prismer --skill formal-methods -g -y
用于浏览、搜索和分析Hugging Face论文平台上的机器学习研究。支持获取热门论文、关键词检索、查看论文元数据及社区评论，辅助AI研究人员追踪前沿动态。
查询今日热门AI论文
按关键词搜索特定领域的ML研究
获取某篇论文的详细信息或评论
npx skills add Prismer-AI/Prismer --skill hf-papers -g -y
将LaTeX文档编译为PDF，支持多种引擎、参考文献处理及模板管理。用于生成学术文档或排版内容。
编译LaTeX文件
生成PDF
使用LaTeX模板
预览LaTeX输出
npx skills add Prismer-AI/Prismer --skill latex-compiler -g -y
