科研学术 Skill技能列表
多源调查技能Skill multi-source-investigation
该技能用于多源信息调查和事实核查，通过三角验证、源可信度审计和证据权重评估，确保信息的准确性和可靠性。关键词：多源调查、事实核查、三角验证、源审计、信息验证。
TRIZ矛盾解决器技能Skill triz-contradiction-solver
TRIZ矛盾解决器技能是基于发明问题解决理论（TRIZ）的系统性创新工具，专门用于识别和解决技术矛盾，应用40条发明原理和矛盾矩阵，生成创新解决方案。该技能适用于科学发现、技术研发、设计优化等场景，帮助用户突破思维定式，实现系统性创新。关键词：TRIZ方法论、技术矛盾、发明原理、矛盾矩阵、创新工具、问题解决、系统性创新、科学发现、设计优化、创造性解决方案
证明Skill prove
这是一个机器辅助定理证明的技能，使用Lean4和Mathlib进行正式验证，通过五阶段工作流程（研究、设计、测试、实现、验证）帮助数学家快速生成机器验证的证明，无需学习复杂语法。关键词：定理证明、数学验证、Lean4、Mathlib、AI辅助、形式化方法、研究工具、测试验证。
调查设计与实施Skill survey-design-administration
调查设计与实施技能专注于开发高效问卷、制定科学抽样策略、优化数据收集过程，以支持严谨的社会科学和人口研究。核心关键词包括：问卷设计、抽样方法、数据收集、应答率优化、调查研究、社会调查、人口研究、质量控制。
书籍研究助手Skill book-research-assistant
此技能专为非虚构书籍作者设计，用于深度研究的规划、协调与验证。它帮助作者填补研究空白，生成研究提示，验证研究质量，确保书籍内容的准确性和可靠性。关键词：书籍研究、研究计划、研究验证、非虚构写作、SEO优化。
洞穴探险Skill cave-exploration
这是一个关于Stella Chen在盖亚星球上进行洞穴探险的技能，她发现了地下水晶系统、地下水源和古代文明的遗迹。关键词包括探险、发现、危险和古文明。
日常科研Skill daily-science-routine
这是一个模拟科学家Stella Chen在盖亚星球上建立研究站，进行样本收集、环境监测、数据记录和理论发展的互动流程。通过系统化的研究，Stella不仅深化了对盖亚生态的理解，还意外发现了植物通过光信号进行信息交流的现象，体验了科学发现的乐趣和满足感。关键词：科学、日常、发现、满足感。
文献综述Skill literature-review
该技能用于进行系统性文献综述和文献计量分析，帮助合成现有知识、识别研究空白、追踪科学思想演变，适用于学术研究、科学分析和论文写作。关键词：文献综述、文献计量、研究综述、学术分析、知识合成、研究空白识别、科学思想追踪。
研究合成工作流Skill research-synthesis-workflow
这个技能提供了一套系统化的研究方法论，用于高效收集、分析和合成来自多个来源的信息，以生成连贯的见解和可操作的知识艺术品，适用于学术研究、行业分析和决策支持。关键词：研究合成、信息提取、知识管理、方法论、文献综述、数据分析。
电子实验笔记本技能Skill eln
该技能提供使用org-mode维护专业电子实验笔记本的专家指导，用于科学文档记录、实验设计、数据分析和可重复性研究，提升研究完整性和效率。关键词：电子实验笔记本，org-mode，科学文档，实验设计，数据分析，可重复研究，研究记录，科研管理。
CAMB宇宙学计算器Skill camb-cosmology-calculator
CAMB宇宙学计算器是一款专业的宇宙学模拟工具，专门用于计算宇宙微波背景辐射（CMB）功率谱、物质功率谱和进行宇宙学参数估计。该工具支持暗能量状态方程建模、中微子质量效应分析，并提供Python/Fortran接口，是宇宙学研究、天体物理分析和科学计算的重要软件。关键词：CAMB，宇宙学计算，CMB功率谱，物质功率谱，宇宙学参数，暗能量，中微子，Python接口，科学计算
晶体学分析Skill crystallography-analysis
晶体学分析技能是材料科学领域的专业工具，用于从X射线衍射、中子衍射等数据中解析和精修晶体结构。核心功能包括空间群识别、原子位置确定、Rietveld精修和配对分布函数（PDF）分析，支持材料表征、物相鉴定和结构缺陷研究。关键词：晶体结构分析、XRD精修、空间群确定、PDF分析、材料表征、Rietveld方法、衍射数据分析、原子位置精修。