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代码或管理Notebook
用户请求加载或查看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）及扩展。支持用户和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上的机器学习研究论文。支持获取热门论文、按关键词搜索、查看论文详情及社区讨论，并可结合arXiv工具阅读全文。适用于AI研究探索和趋势发现。
用户想要查找最新的机器学习或AI研究论文
用户询问关于特定主题的研究进展
用户提到Hugging Face Papers平台
npx skills add Prismer-AI/Prismer --skill hf-papers -g -y
用于将LaTeX文档编译为PDF，支持多种引擎、参考文献处理及模板生成。适用于需要构建学术文章或排版文档的场景。
编译 .tex 文件
从 LaTeX 生成 PDF
构建 LaTeX 文档
排版学术论文
npx skills add Prismer-AI/Prismer --skill latex-compiler -g -y
用于加载、分析、查询和可视化数据集。支持CSV等格式，提供AG Grid表格浏览及Jupyter绘图功能，满足数据探索与统计需求。
用户要求分析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 等学术数据库中的论文，支持按主题、作者或引用查找，提供元数据整理与文献回顾功能。
用户要求查找研究论文
需要科学文献参考
进行文献综述
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文件处理场景。
用户要求创建或编辑Notebook
需要交互式执行Python代码
请求数据分析或可视化
提及.ipynb文件或Jupyter
npx skills add Prismer-AI/Prismer --skill jupyter -g -y
用于量化金融分析，涵盖投资组合优化、风险建模及时间序列计量经济学。支持通过Jupyter执行Python代码进行收益分析、模型构建及报告生成，适用于股票回报、金融风险和投资优化等场景。
用户询问投资组合分析
需要计算股票回报或波动率
请求金融风险建模或压力测试
要求投资优化或因子模型构建
npx skills add Prismer-AI/Prismer --skill quant-analysis -g -y
辅助构建、验证和排版数学证明，结合逻辑推理与计算验证。支持直接证明、归纳法等构造形式化证明，利用SymPy进行符号计算验证，并使用LaTeX生成标准数学文档。
用户要求证明某个定理或命题
用户询问猜想是否成立并要求验证
需要检查数学论证的正确性
需要将数学证明排版为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学术论文的Skill，支持通过ID获取摘要、章节列表及完整LaTeX源码，并自动转换为LLM可分析的干净文本，结果本地缓存。
用户提及arXiv或学术预印本
请求阅读特定论文ID的文章
需要提取论文摘要或结构
npx skills add Prismer-AI/Prismer --skill arxiv-reader -g -y
提供形式化验证工具，支持通过 Lean 4、Coq 和 Z3 进行定理证明验证、类型检查及可满足性问题求解，适用于数学逻辑与学术工作流。
验证定理正确性
检查数学证明
解决可满足性问题
使用证明辅助工具
npx skills add Prismer-AI/Prismer --skill formal-methods -g -y
封装 Hugging Face Papers API，支持浏览热门论文、关键词搜索及获取论文元数据和社区评论。用于发现最新 AI/ML 研究动态，结合 arxiv-reader 可实现全文阅读，结果本地缓存以提升访问速度。
查询 Hugging Face 热门论文
按关键词搜索 AI/ML 论文
获取特定论文的详细信息或评论
npx skills add Prismer-AI/Prismer --skill hf-papers -g -y
提供LaTeX文档编译服务，支持pdflatex等引擎、参考文献处理及多模板生成PDF。适用于学术排版、论文编译及预览场景。
用户请求将LaTeX源码编译为PDF
用户询问或获取LaTeX模板
用户需要预览LaTeX文档输出
npx skills add Prismer-AI/Prismer --skill latex-compiler -g -y
