principle-type-system-discipline: Claude Code and agent skill by alexnthnz/keel | Verified Skill