should i get my cat a friend?

i got my baby (miss prada) in june of 2020. when i adopted prada, i adopted her brother as well. i gave her brother to my friend a few days later, but they’d still have play dates every now and again. one day, miss prada’s brother straight violated her, and i think she might be traumatized.

anyways, im wondering if i should get her a friend. she’s a very independent cat, but also loves attention. she doesn’t like to play very much, despite the plethora of toys she has, and im scared its because she’s depressed. i spend a good amount of time with her and am basically home 24/7, but i just want her to feel her best. do you guys think i should get her another cat friend? she doesn’t do well with my dog, but she’s a sweetie pie to humans. lmk.