科研学术 Skill技能列表
Kwant量子输运计算Skill kwant-quantum-transport
Kwant量子输运技能专注于介观物理系统的量子输运模拟，提供纳米结构建模、散射矩阵计算、紧束缚哈密顿量构建和能带分析等功能。适用于凝聚态物理研究、纳米器件设计、量子计算材料模拟等领域，支持并行计算和复杂几何结构处理。关键词：量子输运，介观物理，散射矩阵，纳米结构，Kwant，紧束缚模型，能带计算，凝聚态物理
论文搜索技能Skill paper-search-usage
这个技能用于搜索和查找学术论文，支持多个学术平台如arXiv、PubMed、IEEE Xplore等，帮助用户进行文献检索、学术研究和知识管理。关键词包括论文搜索、学术研究、文献检索、arXiv、PubMed、IEEE Xplore、Scopus、ACM、Semantic Scholar、MCP工具、学术平台搜索。
引用管理Skill citation-management
该技能用于学术研究中的引用管理，包括搜索Google Scholar和PubMed文献、提取元数据、验证引用准确性、生成BibTeX条目等。关键词：引用管理、文献检索、BibTeX、学术写作、元数据提取、引用验证。
证明Skill prove
这是一个机器辅助定理证明的技能，使用Lean4和Mathlib进行正式验证，通过五阶段工作流程（研究、设计、测试、实现、验证）帮助数学家快速生成机器验证的证明，无需学习复杂语法。关键词：定理证明、数学验证、Lean4、Mathlib、AI辅助、形式化方法、研究工具、测试验证。
Loogle搜索Skill loogle-search
Loogle 搜索是一个专门用于在 Mathlib 数学库中通过类型签名模式快速查找引理的工具。它适用于 Lean 证明助手的用户，帮助进行类型导向的证明搜索和引理发现，提升数学证明效率。关键词：Mathlib, 类型签名, 引理搜索, 证明辅助, Lean, 数学证明, 代码搜索, 高效查询。
研究方法论匹配专家Skill research-methodology
这个技能用于帮助研究人员根据研究问题精确匹配研究方法论，包括实验设计、抽样策略和有效性控制，提高研究的质量和透明度。关键词：研究方法论、研究设计、抽样策略、有效性控制、定量研究、定性研究、混合方法、实验设计、学术研究。
赠款提案撰写Skill grant-proposal-writer
这个技能专注于帮助用户撰写专业的赠款提案，适用于学术研究、创意项目和非营利组织。它覆盖联邦机构、基金会和内部基金的申请，强调叙事技巧、预算论证和符合评审标准，以提升资金获取成功率。关键词：赠款写作、基金申请、研究资助、提案撰写、预算规划、学术基金、非营利筹款、基金会资助。
材料数据库访问助手Skill materials-databases
这个技能是一个专家助手，用于访问和查询AFLOW和Materials Project材料数据库。它帮助用户高效检索晶体结构、材料属性、热力学数据等，支持材料科学研究和数据分析。关键词：材料数据库，AFLOW，Materials Project，数据查询，晶体结构，材料科学，科研工具。
学术出版物模板Skill venue-templates
本技能提供全面的学术出版物模板和格式要求，包括期刊、会议、研究海报和资助提案的LaTeX模板和提交指南，帮助用户高效准备学术稿件。关键词：学术模板、LaTeX模板、出版物指南、期刊提交、会议论文、研究海报、资助提案、写作风格。
CARE病例报告审计技能Skill care-check
这个技能用于根据CARE检查表审计病例报告或病例系列手稿，确保医学写作的合规性和质量。关键词包括CARE检查表、病例报告、医学写作、审计、合规、论文写作。
学术评估Skill scholar-evaluation
这个技能用于系统评估学术和研究工作，基于同行评审标准，提供全面的质量分析，包括问题制定、文献综述、方法论等维度。关键词：学术评估、研究质量、同行评审、方法论评估、论文写作。
研究资助写作Skill research-grants
这个技能用于撰写竞争性的研究资助提案，涵盖NSF、NIH、DOE和DARPA等机构的特定要求。它包括格式调整、审查标准、预算编制、影响陈述和创新描述，确保提交合规。关键词：研究资助、提案写作、基金申请、科研经费、学术写作。