type-driven-development | AgentArea Skills