用途：该技能用于在需要评估类型设计或不变量（invariants）时调用专门的 type-design-analyzer 子代理，也适用于被明确要求运行该子代理的场景。
主要能力：资料仅说明它通过子代理处理这一专门任务，即围绕类型设计与不变量进行分析，并把子代理结果合并回主工作流。资料未提供更细的分析维度、输出格式或判定规则。
使用方式：借助该代理卡片运行以下命令，并在上下文块中提供任务背景、范围以及相关 issue/PR 编号： codex-subagent type-design-analyzer <<'EOF' [Provide the task context, scope, and any issue/PR numbers.] EOF
注意事项：资料建议在上下文块中包含具体的范围与约束，并在完成后将子代理输出整合回主流程。
限制：资料未提供收费、价格、平台支持、安装步骤或效果说明；这些信息暂未提供。