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代码生成PDF
用户要求运行Python数据分析代码
用户请求加载或查看PDF文档
用户希望将arXiv论文转换为LLM可读格式
npx skills add Prismer-AI/Prismer --skill prismer-workspace -g -y
用于读取和分析arXiv学术论文的工具。支持获取摘要、列出章节结构及提取LaTeX源码，便于LLM进行深度内容分析与研究。
用户提及arXiv或学术预印本
提供论文ID（如2301.xxxxx）
需要阅读或分析学术论文
npx skills add Prismer-AI/Prismer --skill arxiv-reader -g -y
用于在Prismer.AI工作空间中搜索、安装、管理和更新技能（Skills）及扩展。支持查询注册表、查看技能详情、执行安装/卸载/更新操作，帮助智能体和用户扩展工作区功能。
搜索或发现可用的技能
安装新的技能到工作区
列出已安装的技能和扩展
管理技能的版本更新或卸载
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 Papers上的论文，支持发现热门论文、关键词检索、查看元数据及社区讨论。
用户想查找机器学习研究论文
询问最近的AI论文或趋势模型
提及Hugging Face Papers
npx skills add Prismer-AI/Prismer --skill hf-papers -g -y
提供LaTeX文档到PDF的编译服务，支持多种引擎、参考文献处理及模板功能。用于将.tex文件构建为PDF或排版学术论文。
用户请求编译LaTeX文件
生成LaTeX文档的PDF输出
排版学术论文
npx skills add Prismer-AI/Prismer --skill latex-compiler -g -y
提供数据加载、探索、清洗及可视化能力，支持CSV等格式导入AG Grid表格展示，执行Pandas查询过滤，并生成统计图表。
分析CSV数据
探索DataFrame结构
创建数据图表
过滤或转换表格数据
npx skills add Prismer-AI/Prismer --skill data-analysis -g -y
用于创建、编辑和编译LaTeX学术文档的Skill，支持生成论文模板、插入公式图表、管理引用及修复编译错误。
用户提及LaTeX或.tex文件
需要编译包含公式的学术论文
请求添加数学公式或图表
遇到LaTeX编译错误需调试
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
用于设计、实施和评估机器学习实验，涵盖模型训练、基准测试、消融研究及论文复现。支持使用Jupyter执行代码、统计分析及结果可视化，确保实验可复现性与严谨性。
用户希望训练机器学习模型
需要对比不同算法性能
运行消融研究以分析组件贡献
评估ML模型在特定任务上的表现
复现学术论文的实验结果
npx skills add Prismer-AI/Prismer --skill ml-experiment -g -y
用于创建和执行Jupyter笔记本进行交互式数据分析、可视化及文档编写。支持代码执行、单元格管理、图表展示及数据网格输出，适用于Python代码交互运行和.ipynb文件处理场景。
用户要求运行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排版，适用于数学研究与形式化验证场景。
用户要求证明某个定理
用户要求验证数学论证的正确性
用户要求构造形式化证明
用户询问某猜想是否成立
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或学术预印本
提供arXiv论文ID请求阅读
需要提取论文摘要或章节
npx skills add Prismer-AI/Prismer --skill arxiv-reader -g -y
提供形式化验证工具，用于检查Lean 4类型、验证Coq定理及使用Z3求解SMT问题。通过本地调用证明器辅助数学证明与逻辑可满足性分析。
验证定理正确性
检查数学证明
求解逻辑可满足性问题
工作于证明助手
npx skills add Prismer-AI/Prismer --skill formal-methods -g -y
封装 Hugging Face Papers API，支持浏览热门论文、关键词搜索及获取论文元数据和社区评论。提供本地缓存加速，可结合 arxiv-reader 实现全文阅读，适用于 AI/ML 研究场景。
查询最新或热门的 AI/ML 论文
根据关键词搜索特定领域的研究论文
查看论文详情、作者信息及 GitHub 关联资源
获取论文社区的讨论和评论
npx skills add Prismer-AI/Prismer --skill hf-papers -g -y
将LaTeX文档编译为PDF的工具，支持pdflatex/xelatex/lualatex引擎、参考文献处理及多模板选择。适用于生成学术报告、论文排版及中文文档编译等场景。
用户请求编译LaTeX源文件为PDF
需要预览或生成学术论文排版
查询或获取特定LaTeX模板
npx skills add Prismer-AI/Prismer --skill latex-compiler -g -y
