为 Codex、Cursor 和 Claude Code 等 AI 编码代理提供基于经典软件工程书籍（如《重构》《DDD》等）的规则集与技能包。
用可执行领域模型约束编码代理，从需求走向可验证的类型化应用。