科研学术 Skill技能列表
科学数据提取技能Skill scientific-data-extraction
科学数据提取技能用于从多种格式的科学文献中自动化提取结构化数据，支持PDF、HTML、图像等，自动检测科学领域并应用人工智能工具进行高精度提取，特别适用于化学和材料科学。关键词：科学数据提取、文献数字化、图表提取、化学数据解析、AI增强提取、结构化数据转换。
证明结构分析器Skill proof-structure-analyzer
证明结构分析器是一款专注于数学证明分析与重构的工具。它能够识别证明策略（如归纳法、反证法），构建逻辑依赖关系图，检测推理链中的缺失步骤，并生成清晰的证明大纲。该工具旨在帮助数学家、学生和研究人员提升证明的清晰度、逻辑严谨性和完整性，是定理证明和数学研究的得力助手。 关键词：数学证明分析，定理证明，逻辑依赖图，证明重构，缺口检测，证明策略识别，形式逻辑，数学研究工具
洞穴探险Skill cave-exploration
这是一个关于Stella Chen在盖亚星球上进行洞穴探险的技能，她发现了地下水晶系统、地下水源和古代文明的遗迹。关键词包括探险、发现、危险和古文明。
相关工作分析器Skill related-work-analyzer
这是一个专门用于辅助学术研究的技能，主要功能是帮助理论计算机科学领域的学者高效地分析和整理文献中的“相关工作”部分。它能进行引文网络分析、技术分类、构建结果对比表格、识别研究空白、生成时间线可视化图表，并发现跨研究领域的关联。关键词包括：相关工作分析、文献综述、引文网络、研究缺口、理论计算机科学、学术写作、论文辅助。
智能研究助手Skill research-lookup
智能研究助手是一个基于AI的研究信息查询工具，通过OpenRouter集成Perplexity的Sonar Pro Search和Sonar Reasoning Pro模型，实现实时学术研究查找。它能根据查询复杂性自动选择最佳模型，提供学术论文、近期研究、技术文档和一般研究信息的搜索，并生成带有引用的响应。此技能专为科研人员、学生和专业人士设计，支持文献检索、方法验证、数据分析和科学写作。关键词：研究查找、学术查询、AI模型选择、文献检索、Perplexity Sonar、OpenRouter、实时研究、引用生成、智能助手、科研工具。
证明Skill prove
这是一个机器辅助定理证明的技能，使用Lean4和Mathlib进行正式验证，通过五阶段工作流程（研究、设计、测试、实现、验证）帮助数学家快速生成机器验证的证明，无需学习复杂语法。关键词：定理证明、数学验证、Lean4、Mathlib、AI辅助、形式化方法、研究工具、测试验证。
基金提案叙述撰写Skill grant-narrative-writing
基金提案叙述撰写技能专注于为人文学科研究项目（如NEH、ACLS及各类基金会）撰写高质量、有竞争力的资助申请提案。该技能核心在于构建引人入胜的研究叙述，清晰阐述项目的学术价值、创新性、方法论及社会影响，并精准匹配资助机构的评审标准与优先事项。关键词：基金申请，研究提案，人文学科，资助写作，NEH，ACLS，重要性陈述，学术叙述，项目规划。
混合方法整合Skill mixed-methods-integration
混合方法整合技能是一种研究设计与执行能力，专门用于将定量研究与定性研究方法有机结合。该技能涵盖收敛式设计、解释性顺序式、探索性顺序式等多种混合研究方案，通过数据合并、联合展示等策略实现深度整合。适用于解决复杂研究问题、三角验证研究结果、开发测量工具、解释定量发现等场景，确保研究设计的严谨性和结论的全面性。关键词：混合方法研究，定量定性整合，研究设计，数据三角验证，方法论整合，顺序研究设计，收敛研究，解释性研究。
学术文献智能发现系统Skill ResearchDiscoverySetup
学术文献智能发现系统是一个自动化研究探索工具，帮助研究人员从模糊的研究想法快速建立高效的文献发现流程。该系统通过智能对话引导用户明确研究问题、构建精准关键词、配置学术数据库来源、设置个性化筛选阈值和推送计划，实现持续获取高质量学术论文。适用于文献综述、前沿追踪、领域学习等科研场景，显著提升文献调研效率。 关键词：学术文献发现，自动化研究工具，文献检索系统，论文推送，学术数据库，研究探索，文献综述，前沿追踪，科研助手，智能搜索
科学假设生成Skill hypothesis-generation
这个技能用于生成可测试的科学假设，基于观察设计实验，探索竞争性解释，开发预测，提出机制，并应用于跨领域的科学探究。关键词包括假设生成、实验设计、科学方法、研究假设、机制解释、文献检索。
科学同行评审技能Skill peer-review
这个技能用于结构化科学手稿和资助申请的同行评审，基于清单评估方法学、统计有效性、报告标准合规性（如CONSORT/STROBE），并提供建设性反馈。关键词：同行评审、科学评估、方法学、统计、报告标准、可重复性。
深度研究分析Skill conduct
这个技能用于执行全面和系统的研究分析，包括多源信息收集、源验证、文档合成，并生成高质量的研究报告，适用于学术、商业和技术等领域。关键词：研究分析、信息收集、源验证、文档合成、AI辅助研究、多源搜索。