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数据分析代码
请求加载或查看PDF文档
需要将arXiv论文转换为LLM可读格式
npx skills add Prismer-AI/Prismer --skill prismer-workspace -g -y
用于读取和分析arXiv学术论文，支持获取摘要、章节结构及完整LaTeX源码。适用于用户提及arXiv、论文ID或需要阅读学术文献的场景，将LaTeX转换为LLM可分析的文本。
用户提及arXiv
用户提及research papers或preprints
用户提供arXiv论文ID
用户要求阅读学术出版物
npx skills add Prismer-AI/Prismer --skill arxiv-reader -g -y
用于发现、搜索、安装和管理 Prismer.AI 工作区技能的工具。支持查询技能注册表、查看详细信息及执行安装、卸载和更新操作，帮助用户扩展工作区能力。
用户询问如何查找或安装新技能
用户需要列出已安装的技能或管理现有技能
npx skills add Prismer-AI/Prismer --skill find-skills -g -y
提供形式化验证工具，支持使用Lean 4、Coq和Z3 SMT求解器进行定理证明、数学证明验证及可满足性检查。
用户请求证明定理
验证数学证明正确性
检查逻辑可满足性
使用证明辅助工具
npx skills add Prismer-AI/Prismer --skill formal-methods -g -y
用于浏览、搜索和分析Hugging Face平台上的机器学习论文，支持发现热门论文、关键词检索、查看元数据及社区讨论。
查找ML研究
询问最新AI论文
查询热门模型
提及Hugging Face Papers
npx skills add Prismer-AI/Prismer --skill hf-papers -g -y
用于将LaTeX源码编译为PDF的Skill，支持多种引擎、参考文献处理及模板生成。适用于用户请求编译.tex文件、构建LaTeX文档或排版学术论文等场景。
用户要求编译LaTeX文档
用户请求从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文件
需要撰写学术论文或排版报告
请求编译包含公式的文档
npx skills add Prismer-AI/Prismer --skill latex-writing -g -y
该技能用于搜索和发现学术论文，支持从arXiv、Semantic Scholar等数据库检索文献。提供按主题、作者或引用关系的搜索能力，并可获取论文元数据及全文内容，适用于学术研究、文献综述及相关参考资料查找场景。
用户要求查找特定主题的学术论文
用户需要搜索arXiv或进行文献综述
用户查询某位作者的近期发表作品
npx skills add Prismer-AI/Prismer --skill paper-search -g -y
设计并运行可复现的机器学习实验，涵盖模型训练、基准测试、消融研究及统计评估。支持论文复现与结果可视化，提供完整的数据处理、模型构建及性能分析工作流。
用户要求训练特定任务模型
用户希望复现某篇论文的实验结果
用户需要进行算法对比或消融研究
用户要求评估机器学习模型性能
npx skills add Prismer-AI/Prismer --skill ml-experiment -g -y
提供Jupyter Notebook的创建、执行及数据可视化能力，支持交互式数据分析、代码调试与结果展示。
用户要求运行Python代码进行交互分析
需要创建或编辑.ipynb文件
请求在Notebook中展示数据表格或图表
npx skills add Prismer-AI/Prismer --skill jupyter -g -y
提供量化金融分析能力，涵盖投资组合优化、风险建模及时间序列计量经济学。支持通过Jupyter执行Python代码进行数据清洗、因子模型构建、VaR计算及蒙特卡洛模拟，并生成LaTeX报告。
用户询问投资组合分析或股票收益
需要构建定价、风险或因子模型
涉及金融风险评估或波动率建模
npx skills add Prismer-AI/Prismer --skill quant-analysis -g -y
辅助构建、验证和排版数学证明，结合逻辑推理与计算验证。用于证明定理、验证猜想或检查证明正确性。
用户要求证明某个定理
用户询问某猜想是否成立
需要形式化构造数学证明
npx skills add Prismer-AI/Prismer --skill theorem-proving -g -y
用于对学术论文进行结构化同行评审，提取贡献与方法，评估实验设计及写作质量，对比相关文献以验证创新性，并生成包含优缺点、建议及推荐意见的详细审稿报告。
用户要求评审论文或手稿
提供研究反馈或批评
撰写审稿人报告
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
提供形式化验证工具，支持 Lean 4 类型检查、Coq 证明验证及 Z3 SMT 可满足性求解。用于数学定理证明、逻辑正确性检查和公式验证，辅助用户迭代修正证明代码。
验证 Lean 4 证明
检查 Coq 理论正确性
求解 SMT 可满足性问题
检查逻辑公式是否可满足
npx skills add Prismer-AI/Prismer --skill formal-methods -g -y
封装 Hugging Face Papers API，提供每日热门论文浏览、关键词搜索、详情元数据获取及社区评论功能。支持本地缓存加速，并可与 arxiv-reader 配合读取全文，辅助 ML 研究调研。
查询 Hugging Face 上的热门 AI/ML 论文
根据关键词搜索特定领域的学术文献
查看某篇论文的详细元数据或社区讨论
了解近期趋势模型或算法的研究进展
npx skills add Prismer-AI/Prismer --skill hf-papers -g -y
提供LaTeX文档编译为PDF的能力，支持pdflatex/xelatex/lualatex引擎、参考文献处理及多模板选择。适用于生成学术论文、演示文稿等排版任务。
用户请求将LaTeX源文件编译为PDF
用户需要预览或获取LaTeX生成的PDF内容
用户询问可用的LaTeX模板或特定格式（如IEEE）
npx skills add Prismer-AI/Prismer --skill latex-compiler -g -y
