TRIZ矛盾解决器技能是基于发明问题解决理论（TRIZ）的系统性创新工具，专门用于识别和解决技术矛盾，应用40条发明原理和矛盾矩阵，生成创新解决方案。该技能适用于科学发现、技术研发、设计优化等场景，帮助用户突破思维定式，实现系统性创新。关键词：TRIZ方法论、技术矛盾、发明原理、矛盾矩阵、创新工具、问题解决、系统性创新、科学发现、设计优化、创造性解决方案

该技能用于从科学观察或数据中生成可测试的假设，设计实验，并提出机制解释。它遵循科学方法框架，适用于各种科学领域的研究。关键词：科学假设、实验设计、数据分析、文献检索、可测试预测、机制解释。

这是一个机器辅助定理证明的技能，使用Lean4和Mathlib进行正式验证，通过五阶段工作流程（研究、设计、测试、实现、验证）帮助数学家快速生成机器验证的证明，无需学习复杂语法。关键词：定理证明、数学验证、Lean4、Mathlib、AI辅助、形式化方法、研究工具、测试验证。

此技能用于帮助撰写和润色专业科学邮件，包括期刊投稿信、审稿回复和合作者通信。它提供模板、核心原则和工作流程，确保学术和科学背景下的清晰、专业和有效沟通。关键词：科学邮件、学术沟通、邮件写作、专业润色、期刊投稿、审稿回复

这个技能基于 Fischbach & Walsh 的框架，帮助科学家系统选择研究问题、策划项目、评估风险、导航决策树，以提高科研效率和影响力。关键词：科学问题选择，研究策划，决策树，风险评估，科研策略，项目规划，优化函数，参数策略，逆境响应。

提供系统化的科学问题选择对话框架，基于Fischbach和Walsh的Cell论文，协助科研人员完善研究想法、评估风险、定义优化函数、制定参数策略、构建决策树、应对逆境并进行问题排查，适用于研究生、博士后、PI及创业者。关键词：科学选题，风险评估，决策树，参数策略，科研决策，项目规划，逆境应对，问题排查。

本技能使用Nano Banana Pro AI自动生成高质量的科学演示幻灯片，适用于会议、研讨会、论文答辩、学术演讲等场景。提供完整的演示结构规划、视觉设计优化、时间管理建议和科学引用支持，帮助用户创建视觉吸引人且基于研究支持的演示文稿。关键词包括: AI幻灯片生成、科研演示制作、学术演讲设计、科学引用、视觉验证、PDF演示、会议演讲、科学可视化、专业幻灯片设计、AI辅助演示。

科学批判性思维技能用于系统评估研究的严谨性，包括方法论分析、实验设计审查、统计有效性检验、偏倚和混杂检测，以及证据质量评估（使用GRADE和Cochrane ROB框架）。关键词：科学研究方法、实验设计、统计验证、偏倚分析、证据评估、批判性分析、学术研究。

该技能用于系统性地审查科学文档的逻辑清晰度、论证严谨性和假设与数据对齐，提供跨文档类型的科学逻辑检查，适用于论文、基金申请、演示文稿等多种科学写作。包含关键词：科学清晰度、逻辑检查、论文审查、同行评审、科学论证、假设数据对齐、量化精确性、术语一致性。

这是一个专为高效信息收集和结构化输出设计的研究专家技能。它执行聚焦的研究任务，使用Web搜索等工具自动收集数据、生成详细报告和摘要，适用于学术、商业和技术领域的信息检索和分析。关键词：研究专家、信息收集、结构化输出、Web搜索、数据分析、SEO优化、文献检索、智能研究。

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

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