An Agent Skill that enforces model-first development, guiding coding agents through domain modeling, validation, and typed code generation for reliable auditable applications.