>>24516340I think there's massive skepticism of the Greek pantheon in Plato (and even pro-Plato ancients like Numenius see that), but I think atheism puts it too strongly. I think a case can be made that Socrates was in fact guilty of the formal charge of "not believing in the city's gods, but introducing new divinities/daimons," and a sign of that is that he baits Meletus into accusing him of total atheism, which he refutes by belief in daimons.
But atheism is harder to prove, because Plato never really gets around to presenting a "ti esti" question about the gods. There are hints of a treatment of that question in the theological discussion of the Republic, but that treatment is constrained.
I think your treatment of irony, in locating it in disbelief of the gods, is off course. I don't deny that Plato puts on kid gloves to deal with the subject sometimes, but he also presents Socrates sometimes as very boldly rejecting Athenian belief in the myths of the poets, but we shouldn't confuse that with wholesale rejection of gods as such. The irony is more often about the skeptical (in the Greek sense of inquiring) treatment of common opinions in general, about anything at all that the dialogues treat (friendship, virtue, the nature of politics, poetry, teling the truth and falsehoods, and, sure, beliefs in the gods), and a recognition of something like a hierarchy of human types that requires adjusting oneself to different people.