其他 Skill技能列表
Python代码风格与文档Skill python-code-style
这个技能专注于Python代码风格、linting、格式化、命名约定和文档标准，帮助开发者编写可维护和协作的代码。适用于项目设置、代码审查、文档编写和自动化工具配置。关键词：Python代码风格, linting, 格式化, 命名约定, 文档标准, 自动化工具, 代码审查, 可维护代码, 协作开发。
软件库文档检索Skill context7
此技能通过 Context7 API 提供软件库和框架的最新文档检索服务，帮助开发者快速查找 API 文档、代码示例和正确用法，适用于各种编程环境和开发需求。关键词：软件库文档、API 查询、编程帮助、开发工具。
人类写作技能Skill human-writing
这个技能提供了一套平台独立的写作规则和技巧，旨在帮助用户生成更真实、人性化的文本，避免AI写作的典型语言模式、短语和结构。适用于所有文本类型，如博客、文章、社交媒体、文档等，以提高文本的真实性、可读性和SEO友好性。关键词：人类写作，AI检测，文本真实性，写作技巧，内容创作，SEO优化。
初创企业融资框架Skill startup-fundraising
这个技能用于帮助初创企业系统性地进行资本筹集，从 pre-seed 到 Series C+ 阶段，涵盖决策是否融资、确定融资规模、准备演示稿和数据室、目标投资者、谈判 SAFE/term sheet、管理尽职调查和设置投资后报告。关键词：初创企业融资、投资者关系、融资策略、SAFE、term sheet、尽职调查、SEO。
章节大纲生成器Skill chapter-outline-generator
章节大纲生成器是一款专为作家、编剧和内容创作者设计的智能工具，用于快速生成结构完整、细节丰富的书籍章节大纲。它根据用户提供的故事基本信息（如书名、体裁、情节概要和章节数），自动遵循经典叙事结构（如三幕剧），为每个章节规划关键事件、角色发展、情感基调和伏笔。该工具能显著提升故事规划效率，确保情节连贯，并激发创作灵感。 关键词：章节大纲生成，书籍结构规划，叙事设计，写作助手，情节编排，角色弧光，故事模板，创作工具，小说大纲，编剧软件
高超声速气动热力学Skill hypersonic-aerothermo
高超声速气动热力学技能专注于高超声速飞行器的气动与热分析，涵盖真实气体效应建模、气动加热预测、热防护系统设计、烧蚀分析等关键技术。适用于航空航天工程领域，用于解决高超声速飞行中的极端热环境与气动特性问题。关键词：高超声速、气动热力学、热防护系统、真实气体效应、CFD分析、航空航天工程、烧蚀建模、激波边界层相互作用。
风洞数据关联技能Skill wind-tunnel-correlation
该技能专注于将计算流体动力学（CFD）模拟预测与实验风洞数据进行系统性的对比、修正与关联分析。它通过数据归一化、雷诺数/马赫数修正、壁面干扰修正、不确定性量化及统计回归等方法，确保CFD结果与风洞实验数据的高度一致性，用于航空航天工程中的气动性能验证、模型校准及气动数据库生成。关键词：CFD风洞关联、气动数据验证、风洞修正、雷诺数修正、不确定性分析、统计回归、航空航天工程。
排放标定Skill emissions-calibration
排放标定技能专注于发动机排放控制与后处理系统优化，确保车辆满足全球严格的环保法规，如WLTP和RDE。核心能力包括发动机图谱调优、催化剂快速起燃、SCR尿素喷射精准控制、颗粒捕集器再生策略设计，以及实际道路排放验证。该技能整合了ETAS INCA、AVL CAMEO等专业工具，服务于汽车动力总成开发与认证流程，是实现清洁、高效汽车动力的关键技术。 关键词：排放标定，后处理优化，WLTP合规，RDE测试，发动机标定，催化剂起燃，SCR系统，DPF再生，OBD-II，汽车环保
Coq证明助手Skill coq-proof-assistant
Coq证明助手是一个交互式定理证明工具，专门用于形式化验证、程序正确性证明和数学理论的形式化开发。它支持依赖类型，通过战术证明实现交互式证明，适用于软件验证、编译器验证和数学定理证明等领域。关键词：Coq、证明助手、形式化验证、程序正确性、数学证明、依赖类型、战术证明、交互式证明。
PDF文档处理技能Skill pdf
此技能专注于使用Python库（如pypdf、pdfplumber、reportlab）和命令行工具处理PDF文档，实现文本提取、表格提取、合并、拆分、创建、加密、水印添加和OCR扫描等功能。适用于自动化文档处理、数据提取、报告生成等场景，提高工作效率。关键词：PDF处理，Python编程，文档自动化，表格提取，OCR技术，PDF合并拆分，加密保护。
视频下载器Skill video-downloader
视频下载器技能用于从YouTube等平台下载视频，支持多种格式和质量选项，适用于离线观看、内容编辑、教育学习等场景。关键词：视频下载，YouTube下载，离线观看，批量下载，格式转换，存档备份。
Lean定理证明助手Skill lean-proof-assistant
Lean 定理证明助手是一个基于 Lean 4 形式化验证系统的专业工具，专注于数学定理的形式化证明与验证。它能够将非形式化的数学证明转化为机器可检查的 Lean 代码，利用 Mathlib4 数学库中的已有成果，通过自动化策略辅助用户完成严谨的证明过程。该工具适用于数学研究、计算机科学中的形式化方法验证以及数学教育等领域。 关键词：Lean 4, 定理证明, 形式化验证, 数学形式化, Mathlib4, 证明助手, 自动推理, 策略证明