Lean 定理证明器是一个现代交互式定理证明技能，用于形式化数学和程序验证。它支持依赖类型和强大的类型理论，能够定义数学结构、交互式证明定理、构建认证程序，并应用于 AI 辅助证明自动化、数学库开发和形式化验证。关键词：Lean、定理证明、形式化验证、依赖类型、数学证明、程序验证、AI 辅助、交互式证明、类型理论。

这个技能用于进行系统性文献综述，包括多数据库搜索、文献筛选、数据提取、质量评估和文档生成，适用于学术研究和论文撰写。关键词：文献综述，系统综述，学术搜索，数据分析，SEO优化。

Geant4探测器模拟技能是用于高能物理实验的粒子输运模拟工具，专注于探测器几何建模、物理过程模拟和粒子相互作用分析。该技能支持GDML几何描述、物理列表配置、灵敏探测器实现和多线程优化，广泛应用于粒子物理、核物理、医学物理和辐射防护等领域的仿真研究。 关键词：Geant4模拟、粒子输运、探测器几何、物理过程建模、高能物理仿真、蒙特卡洛模拟、辐射探测、核物理实验、医学物理应用、多线程优化

此技能专注于使用LaTeX工具包（如beamerposter、tikzposter、baposter）创建专业研究海报，支持学术会议、科学交流，涵盖布局设计、颜色方案、多列格式、图表集成等。关键词：LaTeX、研究海报、学术海报、科学交流、海报设计、beamerposter、tikzposter、baposter。

关联论文图谱探索器是一款专为科研人员设计的文献发现工具，通过构建和分析学术论文的引文网络图谱，帮助用户快速识别领域内的开创性研究、追踪研究前沿演变、发现跨学科关联。该工具支持可视化图谱遍历、时间序列分析、关键文献识别等功能，适用于文献调研、研究趋势分析、学术网络探索等场景。关键词：引文图谱，文献发现，科研工具，学术网络，可视化分析，研究前沿，跨学科关联，论文检索，知识图谱，科学计量。

这个技能用于结构化科学手稿和资助申请的同行评审，基于清单评估方法学、统计有效性、报告标准合规性（如CONSORT/STROBE），并提供建设性反馈。关键词：同行评审、科学评估、方法学、统计、报告标准、可重复性。

智能研究助手是一个基于AI的研究信息查询工具，通过OpenRouter集成Perplexity的Sonar Pro Search和Sonar Reasoning Pro模型，实现实时学术研究查找。它能根据查询复杂性自动选择最佳模型，提供学术论文、近期研究、技术文档和一般研究信息的搜索，并生成带有引用的响应。此技能专为科研人员、学生和专业人士设计，支持文献检索、方法验证、数据分析和科学写作。关键词：研究查找、学术查询、AI模型选择、文献检索、Perplexity Sonar、OpenRouter、实时研究、引用生成、智能助手、科研工具。

PubMed文献挖掘器是一款基于PubMed/MEDLINE数据库的生物医学文献智能分析工具，专门用于辅助系统综述和循证医学研究。该工具支持MeSH术语精确检索、PICO框架元素自动提取、文献摘要智能筛选、引文去重以及PRISMA流程图数据生成等功能，帮助研究人员高效完成文献综述、证据评估和科研论文撰写工作。关键词：PubMed文献挖掘，生物医学文献分析，系统综述工具，PICO框架，MeSH检索，PRISMA流程图，循证医学，文献筛选自动化，医学文献管理

这个技能用于生成可测试的科学假设，基于观察设计实验，探索竞争性解释，开发预测，提出机制，并应用于跨领域的科学探究。关键词包括假设生成、实验设计、科学方法、研究假设、机制解释、文献检索。

这个技能专注于科学论文和手稿的撰写，支持深度研究和写作工具。它采用两阶段过程：首先创建章节大纲，然后转换为流畅的散文，遵循IMRAD结构、引用格式（如APA/AMA/Vancouver）、图表设计和报告指南（如CONSORT/STROBE/PRISMA）。适用于研究论文、期刊投稿、学术写作，提升写作清晰度、精确性和合规性。关键词包括：科学写作、论文撰写、IMRAD、引用管理、图表设计、研究论文、学术手稿、期刊投稿、写作流程、SEO关键词：科学写作技能、论文撰写指南、学术写作工具。

这个技能提供实验设计（DOE）的全面专家指导，专注于Python实现。它帮助用户通过交互式问题驱动的方法选择最佳实验设计策略，包括经典DOE（如因子实验和响应面）、贝叶斯优化、模型驱动设计和主动学习，以最大化实验效率和信息增益。适用于科研、工程和数据分析领域，优化实验流程并减少成本。关键词：实验设计、DOE、Python、统计优化、贝叶斯优化、响应面、主动学习、数据分析、优化策略。

这是一个基于 Valyu AI 语义搜索的 PubMed 生物医学文献检索技能，支持自然语言查询、全文访问和图像链接，适用于学术研究、药物发现和 AI 项目集成。关键词：PubMed、生物医学文献、语义搜索、自然语言处理、全文检索、AI 集成。