用途：分析仓库公共 API 表面，提取类型化节点注册表，用自然语言组合经过校验的执行 DAG，并编译为带证书校验的原生流水线代码。
主要能力：三层架构——类型化节点注册表（公共函数/类转为带 JSON Schema 输入输出契约的节点，LLM 只从注册表选择，不生成任意代码）；DAG 计划（语言中立的执行图，边经 schema 校验，无环、输入满足、类型兼容）；证书（每个节点输出 artifact 与 certificate 对，证书为确定性谓词，失败则中止流水线并给出诊断）。
使用方式：命令包括 analyze、compose、compile、validate、registry。analyze 提取注册表：python3 ~/.claude/skills/dag-typesafe/scripts/analyze.py [--language python|typescript|auto] [--output dag-registry.json]。compose 生成 DAG 计划：python3 ~/.claude/skills/dag-typesafe/scripts/compose.py "task description" --registry dag-registry.json [--output dag-plan.json] [--provider session|openai]。compile 编译为原生代码：python3 ~/.claude/skills/dag-typesafe/scripts/compile.py dag-plan.json [--target python|typescript] [--output pipeline.py]。validate 校验计划：python3 ~/.claude/skills/dag-typesafe/scripts/validate.py dag-plan.json --registry dag-registry.json。registry 查询注册表：python3 ~/.claude/skills/dag-typesafe/scripts/registry.py [--filter "pattern"] [--show-schemas] [--stats]。headless 模式需设置 DAG_LLM_BASE_URL、DAG_LLM_API_KEY、DAG_LLM_MODEL 环境变量，指向任意 OpenAI 兼容端点。
适用场景：需要从现有仓库类型系统自动生成类型安全执行流水线的开发与代码脚手架工作。
限制：资料未提供收费、价格、平台支持范围与效果数据；证书谓词仅支持 AST 校验的安全子集；具体运行环境要求暂未提供。