实验设计 Skill技能列表
科学头脑风暴Skill scientific-brainstorming
科学头脑风暴技能是一种用于创意研究构想和探索的工具，帮助科研人员生成假设、探索跨学科联系、挑战假设并开发方法论。适用于早期研究规划、头脑风暴会议和科学问题解决。关键词：科学头脑风暴、研究创意、假设生成、跨学科研究、方法论开发、科研规划。
COMSOL多物理场仿真执行器Skill comsol-multiphysics-executor
COMSOL多物理场仿真执行器是一款用于纳米材料与纳米器件连续尺度建模的专业计算技能。它提供传热、电磁、流体、结构力学等多物理场耦合仿真能力，支持从几何导入、网格划分、物理场设置到求解分析的全流程。适用于纳米技术、材料科学、微纳器件研发等领域，助力工程师和科研人员进行精确的多尺度、多物理场数值模拟与性能评估。
科学假设生成Skill hypothesis-generation
该技能用于从科学观察或数据中生成可测试的假设，设计实验，并提出机制解释。它遵循科学方法框架，适用于各种科学领域的研究。关键词：科学假设、实验设计、数据分析、文献检索、可测试预测、机制解释。
MEEPFDTD仿真器Skill meep-fdtd-simulator
MEEP FDTD仿真器是一款用于光子器件、超材料和波导的电磁场仿真工具，提供几何定义、源配置、边界条件设置、场提取和参数优化等功能。关键词：MEEP FDTD仿真、光子器件仿真、电磁场模拟、超材料设计、波导分析、光学仿真、FDTD方法、并行计算。
科学批判性思维Skill scientific-critical-thinking
科学批判性思维技能用于系统评估研究的严谨性，包括方法论分析、实验设计审查、统计有效性检验、偏倚和混杂检测，以及证据质量评估（使用GRADE和Cochrane ROB框架）。关键词：科学研究方法、实验设计、统计验证、偏倚分析、证据评估、批判性分析、学术研究。
LAMMPS分子动力学模拟器Skill lammps-md-executor
LAMMPS分子动力学模拟器是一款用于纳米尺度材料系统仿真的专业计算工具。该技能支持力场管理、系统平衡、NVT/NPT系综模拟、轨迹分析和热力学性质计算，广泛应用于材料科学、纳米技术和计算化学领域。关键词：分子动力学模拟，LAMMPS，纳米材料，力场参数，热力学性质，轨迹分析，计算化学，材料仿真。
Lean定理证明器Skill lean-prover
Lean 定理证明器是一个现代交互式定理证明技能，用于形式化数学和程序验证。它支持依赖类型和强大的类型理论，能够定义数学结构、交互式证明定理、构建认证程序，并应用于 AI 辅助证明自动化、数学库开发和形式化验证。关键词：Lean、定理证明、形式化验证、依赖类型、数学证明、程序验证、AI 辅助、交互式证明、类型理论。
方法论指导Skill methodology
这个技能提供研究方法论的选择、设计和验证指导，帮助研究人员优化研究方案、提升研究质量。关键词：研究方法论、方法论设计、研究指导、学术咨询、数据分析、实验设计、科研方法
VASP计算设置技能Skill vasp
这个技能是VASP（Vienna Ab initio Simulation Package）计算设置的专家助手，专为材料科学和计算化学领域设计。它帮助用户生成正确的输入文件（如INCAR、POSCAR、KPOINTS、POTCAR），选择最优计算参数（如能量截断、k点采样），并遵循密度泛函理论（DFT）计算的最佳实践，以实现精确和高效的科研工作流程。关键词：VASP, DFT, 计算材料科学, 输入文件生成, 参数设置, 结构弛豫, 能带结构, 分子动力学, 声子计算, 科研工具。
混合方法整合Skill mixed-methods-integration
混合方法整合技能是一种研究设计与执行能力，专门用于将定量研究与定性研究方法有机结合。该技能涵盖收敛式设计、解释性顺序式、探索性顺序式等多种混合研究方案，通过数据合并、联合展示等策略实现深度整合。适用于解决复杂研究问题、三角验证研究结果、开发测量工具、解释定量发现等场景，确保研究设计的严谨性和结论的全面性。关键词：混合方法研究，定量定性整合，研究设计，数据三角验证，方法论整合，顺序研究设计，收敛研究，解释性研究。
科学批判性思维Skill scientific-critical-thinking
这个技能用于系统评估科学主张和证据质量，包括批判性分析实验设计、识别偏见和混淆因素、应用证据分级框架（如GRADE和Cochrane风险偏差），并提供研究设计指导。它适用于科研学术、数据分析、评估方法论有效性，并帮助改进科学严谨性。关键词：科学批判性思维，证据评估，实验设计，偏见识别，GRADE框架，Cochrane风险偏差，统计评估，研究设计，逻辑谬误，方法论批判。
科学问题选择框架Skill bio-strategy
这是一个用于系统科学问题选择、项目构思、故障排除和战略决策的对话框架，基于Fischbach & Walsh的研究。它提供结构化技能，如直觉泵、风险评估、优化函数选择、参数策略、决策树导航、逆境响应和问题反转，帮助科学家提升研究影响和效率。关键词：科学问题选择，项目构思，风险评估，决策树，战略决策，科研框架。