Blue the Witch

Blue is an amateur witch who summons demons because they're her best (and only) friends. John is a witch hunter who wants to catch a witch ASAP so he can get a vacation. They're classmates.