其他 Skill技能列表
实验设计专家Skill doe-designer
实验设计专家是一个专业的AI技能，专注于过程优化中的实验设计与分析。该技能提供完整的实验设计解决方案，包括全因子设计、分数因子设计、响应曲面方法、筛选设计等。通过方差分析、效应估计和优化算法，帮助用户识别关键影响因素、建立预测模型并确定最优工艺参数。适用于质量工程、工艺优化、产品开发、科学研究等领域，提升实验效率和数据驱动的决策能力。 关键词：实验设计 DOE 因子设计 响应曲面 方差分析 过程优化 质量工程 统计建模 工艺参数优化 实验分析
线性规划建模器Skill linear-program-modeler
线性规划建模器是一个用于制定和解决线性规划模型的数学编程技能。它专注于资源分配优化、生产计划排程、产能决策支持，通过识别决策变量、构建目标函数、建模约束条件，并进行模型验证与敏感性分析，帮助企业实现成本最小化或利润最大化。适用于运筹学、工业工程、供应链管理、金融优化等领域。关键词：线性规划，运筹学，资源优化，生产计划，产能规划，数学模型，敏感性分析，影子价格。
金相分析Skill metallurgical-analysis
金相分析是金属材料科学的核心专业技能，专注于通过显微组织观察、晶粒度测量、相定量分析和夹杂物评级等方法，系统表征和评估金属材料的内部结构与性能。该技能遵循ASTM等国际标准，广泛应用于钢铁、铝合金、钛合金、高温合金等材料的质量控制、失效分析、工艺优化和新材料研发。关键词：金相分析，显微组织，晶粒度测量，ASTM E112，夹杂物评级，金属材料表征，相分析，材料科学，失效分析，热处理评估。
聚合物表征Skill polymer-characterization
聚合物表征技能是用于分析和评估聚合物材料性能的专业工具。它通过GPC/SEC、DSC、流变仪、FTIR和NMR等多种技术，系统测定聚合物的分子量分布、热转变温度（如玻璃化转变Tg和熔融温度Tm）、结晶度、流变性能（如粘度和粘弹性）以及化学结构。该技能在聚合物研发、质量控制、材料筛选和失效分析中至关重要，帮助科学家和工程师理解材料的结构-性能关系，优化加工工艺，并确保最终产品的性能符合要求。关键词：聚合物分析，分子量分布，热分析，流变性能，结晶度测定，FTIR光谱，GPC/SEC，DSC，材料表征，高分子材料。
组合枚举Skill combinatorial-enumeration
组合枚举技能专注于离散数学中组合对象的系统生成与精确计数。它提供排列组合生成、分拆枚举、生成函数计算、OEIS序列查询、Pólya计数及物种理论等核心功能，适用于算法设计、密码学、概率统计和计算机科学等领域的研究与开发。关键词：组合数学、离散数学、枚举算法、生成函数、排列组合、OEIS、Pólya计数、物种理论、算法设计。
计算环境管理器Skill computational-environment-manager
计算环境管理器是一款用于创建和管理可复现计算环境的工具，专注于数学和科学研究。它通过Docker容器配置、Conda环境规范、软件包版本锁定、随机种子管理和平台验证等功能，确保计算实验在不同时间和平台上都能得到一致的结果。关键词：可复现计算环境、Docker容器、Conda环境、版本锁定、随机种子、平台独立、科学计算、数学研究、环境管理、执行跟踪。
Coq证明助手Skill coq-proof-assistant
Coq证明助手技能提供形式化验证和数学定理证明的专业指导，支持自动化策略生成、数学库集成和代码提取。关键词：Coq证明助手，形式化验证，定理证明，数学形式化，Ltac策略，SSReflect，MathComp，代码提取，形式化方法。
文档生成Skill documentation-generation
这个技能用于创建和维护全面的技术文档，包括API文档、组件库、README文件、架构图和开发者指南。适用于软件开发中的文档自动化生成，提高代码可维护性和团队协作效率。关键词：技术文档、API文档、自动化生成、JSDoc、Storybook、Docusaurus、软件开发文档。
简单文本格式化器Skill simple-formatter
此技能用于文本格式化，根据风格指南自动实现句子大写、间距修复和标点规则应用。它是一个基于Python的工具，适用于简单文本处理任务。关键词：文本格式化，句子大写，间距修复，标点规则，Python工具，SEO优化。
软件库文档检索Skill context7
此技能通过 Context7 API 提供软件库和框架的最新文档检索服务，帮助开发者快速查找 API 文档、代码示例和正确用法，适用于各种编程环境和开发需求。关键词：软件库文档、API 查询、编程帮助、开发工具。
域名创意生成器Skill domain-name-brainstormer
域名创意生成器是一款智能工具，专门为项目提供创意域名建议，并实时检查跨.com、.io、.dev等多种顶级域名的可用性。适用于创业启动、品牌建设、产品命名等场景，节省用户大量头脑风暴和手动搜索时间，提升域名选择效率。关键词包括域名生成、TLD检查、品牌创意、项目命名、域名可用性。
函数文档字符串编写Skill function-docstrings
这个技能用于帮助开发者编写函数文档字符串，特别适用于初级开发者，涉及描述函数输入、输出和错误条件，匹配项目风格，以提高代码可读性和维护性。关键词：函数文档、文档字符串、代码注释、软件开发、编程实践。