实验设计 Skill技能列表
科学头脑风暴Skill scientific-brainstorming
科学头脑风暴技能是一种用于创意研究构想和探索的工具，帮助科研人员生成假设、探索跨学科联系、挑战假设并开发方法论。适用于早期研究规划、头脑风暴会议和科学问题解决。关键词：科学头脑风暴、研究创意、假设生成、跨学科研究、方法论开发、科研规划。
VASP计算设置技能Skill vasp
这个技能是VASP（Vienna Ab initio Simulation Package）计算设置的专家助手，专为材料科学和计算化学领域设计。它帮助用户生成正确的输入文件（如INCAR、POSCAR、KPOINTS、POTCAR），选择最优计算参数（如能量截断、k点采样），并遵循密度泛函理论（DFT）计算的最佳实践，以实现精确和高效的科研工作流程。关键词：VASP, DFT, 计算材料科学, 输入文件生成, 参数设置, 结构弛豫, 能带结构, 分子动力学, 声子计算, 科研工具。
COMSOL多物理场仿真执行器Skill comsol-multiphysics-executor
COMSOL多物理场仿真执行器是一款用于纳米材料与纳米器件连续尺度建模的专业计算技能。它提供传热、电磁、流体、结构力学等多物理场耦合仿真能力，支持从几何导入、网格划分、物理场设置到求解分析的全流程。适用于纳米技术、材料科学、微纳器件研发等领域，助力工程师和科研人员进行精确的多尺度、多物理场数值模拟与性能评估。
MEEPFDTD仿真器Skill meep-fdtd-simulator
MEEP FDTD仿真器是一款用于光子器件、超材料和波导的电磁场仿真工具，提供几何定义、源配置、边界条件设置、场提取和参数优化等功能。关键词：MEEP FDTD仿真、光子器件仿真、电磁场模拟、超材料设计、波导分析、光学仿真、FDTD方法、并行计算。
研究构思Skill research-ideation
研究构思技能用于从主题或数据集中生成结构化研究问题、可测试假设和实证策略，支持学术研究设计和数据分析。关键词：研究构思、研究设计、数据分析、假设检验、实证研究。
LAMMPS分子动力学模拟器Skill lammps-md-simulator
这是一个用于原子尺度分子动力学模拟的专业技能。它专注于使用LAMMPS软件进行材料科学、化学和物理领域的仿真计算。核心功能包括：生成和验证LAMMPS输入脚本、为不同材料系统（如金属、半导体、聚合物）选择合适的力场（如EAM、Tersoff、ReaxFF）、配置模拟的边界条件和系统系综（NVT、NPT、NVE）、从模拟结果中提取和分析热力学性质（如温度、压力、能量）、处理和分析原子轨迹文件，以及优化大规模并行计算（MPI/GPU）的性能设置。该技能旨在帮助研究人员和工程师高效、准确地执行从纳米到微米尺度的材料行为模拟。 关键词：LAMMPS，分子动力学模拟，原子模拟，力场，并行计算，材料科学，热力学分析，轨迹分析，高性能计算，输入脚本
科学假设生成Skill hypothesis-generation
该技能用于从科学观察或数据中生成可测试的假设，设计实验，并提出机制解释。它遵循科学方法框架，适用于各种科学领域的研究。关键词：科学假设、实验设计、数据分析、文献检索、可测试预测、机制解释。
科学批判性思维Skill scientific-critical-thinking
科学批判性思维技能用于系统评估研究的严谨性，包括方法论分析、实验设计审查、统计有效性检验、偏倚和混杂检测，以及证据质量评估（使用GRADE和Cochrane ROB框架）。关键词：科学研究方法、实验设计、统计验证、偏倚分析、证据评估、批判性分析、学术研究。
Lean定理证明器Skill lean-prover
Lean 定理证明器是一个现代交互式定理证明技能，用于形式化数学和程序验证。它支持依赖类型和强大的类型理论，能够定义数学结构、交互式证明定理、构建认证程序，并应用于 AI 辅助证明自动化、数学库开发和形式化验证。关键词：Lean、定理证明、形式化验证、依赖类型、数学证明、程序验证、AI 辅助、交互式证明、类型理论。
研究方案构建器Skill protocol-builder
研究方案构建器是一款专注于科学实验设计的AI技能工具，用于自动化生成标准化、可重复的研究方案。它提供结构化模板、方法学设计、伦理合规检查和格式导出功能，服务于科研人员、学术机构和企业研发团队。核心功能包括：实验设计、方案模板、方法学撰写、研究注册、伦理审查、科学发现、可重复性研究、标准化流程、科研工具、AI辅助写作。
方法论指导Skill methodology
这个技能提供研究方法论的选择、设计和验证指导，帮助研究人员优化研究方案、提升研究质量。关键词：研究方法论、方法论设计、研究指导、学术咨询、数据分析、实验设计、科研方法
Geant4探测器模拟器Skill geant4-detector-simulator
Geant4探测器模拟技能是用于高能物理实验的粒子输运模拟工具，专注于探测器几何建模、物理过程模拟和粒子相互作用分析。该技能支持GDML几何描述、物理列表配置、灵敏探测器实现和多线程优化，广泛应用于粒子物理、核物理、医学物理和辐射防护等领域的仿真研究。 关键词：Geant4模拟、粒子输运、探测器几何、物理过程建模、高能物理仿真、蒙特卡洛模拟、辐射探测、核物理实验、医学物理应用、多线程优化