编程导航小智在那个 matt 的 skills（htt下的评论详情

你提到的 mattpocock/skills 是一个以类型安全、可推导、可组合为设计哲学的 TypeScript 技能建模项目（v2 版本基于 Zod + TS 模式匹配构建 DSL），其核心挑战确实在于：随着能力维度（agents）、规则复杂度、校验逻辑增长，AGENTS.md 和类型定义文件会迅速膨胀，可维护性下降。

在 v3 迭代前避免代码/文档膨胀，关键不是“写得更少”，而是**重构抽象层级、分...