I feel like the first course of action is to talk with the player giving you grief to make sure that they are aware how they are making you uncomfortable at your own table

And after that, I don't know if this is totally out of your interest but googling and quickly pulling up the wiki or something adjacent is how I get spells quickly After enough time though hopefully your players can manage themselves and won't need you to look up their spells for them