principle-type-system-discipline | Cursor Skill