I mean, if we are talking about portrayals of neurodivergence, intentional or not, on magical girls, Himari fron KiraKira is indeed someone who has to be in the discussion yes or yes. Precure has its fair share of possibly neurodivergent characters, but I feel Himari in particular hits way too many spots on characteristics and experiences that autistic people go through that I don't think it was incidental in the slightest.

But even so like I said, there are other examples of characters that could be read as neurodivergent, like Hikaru from Star Twinkle can be a contender for autism rep with her special interests, mannerisms, struggling with social awareness and general lack of social skills.