LaTeX证明编排器是一款专注于学术论文格式化的专业工具，专门用于将理论计算机科学领域的证明过程和算法以出版级LaTeX标准进行格式化排版。核心功能包括算法伪代码编排、推理规则排版、证明环境格式化、定理编号与交叉引用管理，确保研究成果符合顶级会议和期刊的格式要求。关键词：LaTeX排版，算法证明，学术论文格式化，计算机科学，出版级文档，BibTeX集成，会议风格合规。

本技能专注于范畴论中自然变换的问题解决策略，提供决策树、Lean 4 工具命令和 Yoneda 引理应用，帮助用户验证自然性、分析分量、处理自然同构和函子范畴。关键词：范畴论、自然变换、Lean 4、Yoneda 引理、数学证明、问题解决、形式化验证。

bioRxiv 搜索技能是一个用于通过自然语言查询语义搜索生物医学预印本数据库的工具，支持全文内容和图像链接，适用于科研人员快速查找未发表的研究。关键词包括：生物预印本、语义搜索、自然语言查询、科研检索、生命科学。

类比映射技能是一种人工智能工具，专门用于识别不同科学领域之间的结构相似性，建立跨领域知识映射，促进科学发现和假设生成。该技能通过算法分析领域本体，实现模式识别、知识转移和创造性思维，适用于科研创新、交叉学科研究和科学方法论应用。关键词：类比映射、跨领域分析、科学发现、假设生成、知识转移、结构相似性、模式识别、科研工具

使用Co-Researcher技能旨在帮助用户理解和使用Co-Researcher系统进行高效学术研究，包括加载技能、遵循协议和宣布操作。关键词：学术研究、技能系统、研究方法、文献综述、批判性分析、假设检验、定量分析、定性研究、同行评审、伦理审查、基金写作、横向思维、SEO优化。

内容访问技能专注于提供合法、伦理的方法来获取受限制的网络内容，特别针对学术论文、新闻文章和地理封锁内容。适用于研究人员和记者，帮助他们通过开放获取工具、图书馆数据库、VPN等技术高效访问所需信息。关键词：内容访问、合法方法、学术论文、新闻访问、VPN、图书馆数据库、开放获取、研究工具。

Pythia事件生成器技能专用于高能物理模拟，提供质子-质子和轻子碰撞事件的生成、配置与分析。核心功能包括物理过程选择、部分子分布函数管理、强子化参数设置、基础事件调优以及HepMC格式输出。适用于粒子物理研究、对撞机实验模拟和理论计算验证。关键词：Pythia事件生成，高能物理模拟，粒子对撞，强子化，HepMC输出，部分子分布函数，喷注匹配，物理过程配置

这个技能用于系统生成和评估可测试的科学假设，包括从观察中制定假设、设计实验、探索竞争性解释、开发预测和提出机制，适用于跨领域的科学探究。关键词：科学假设、实验设计、文献检索、预测建模、机理分析、科学研究方法。

MadGraph振幅计算器是一款专用于高能物理研究的专业工具，主要用于BSM（超越标准模型）物理的矩阵元计算、截面计算和事件生成。该技能支持UFO模型导入、NLO（次领头阶）计算设置、部分子级事件生成以及与Pythia/Herwig等软件的级联匹配，帮助研究人员进行粒子物理模拟、理论验证和实验数据分析。 关键词：MadGraph，矩阵元计算，BSM物理，截面计算，事件生成，UFO模型，NLO计算，级联匹配，粒子物理模拟，高能物理

科学写作技能用于帮助研究人员和学者撰写高质量的科学论文和期刊投稿。它提供完整的写作流程指导，包括IMRAD结构、引用管理、图表创建和报告指南。关键词：科学写作、学术论文、研究撰写、IMRAD、引用管理、图表可视化、期刊投稿。

Opentrons Flex 夹持器技能用于自动化实验室器皿移动，通过编程控制夹持器在实验平台、模块、废物槽和离线存储之间精确转移板、储液器和吸头架，实现无需人工干预的复杂工作流程。关键词：实验室自动化，机器人夹持器，Opentrons Flex，实验流程优化，自动转移，生物实验，硬件编程。

绿色合成评估器是一款专注于纳米材料合成领域的可持续性评估工具。它通过计算绿色化学指标（如E因子、原子经济性）、集成生命周期分析、提供生物基前驱体数据库和溶剂可持续性评分，帮助科研人员和工程师设计并优化环境友好、低能耗、低废物的纳米材料合成工艺。关键词：绿色合成，纳米材料，可持续性评估，生命周期分析，绿色化学，E因子，原子经济性，溶剂选择，能源优化，废物最小化。