Ogma è un progetto di Andrea Lazzarotto che raccoglie in un motore di ricerca i dizionari di dizione, tra cui il famoso DIPI e il DOP della Rai. Ma ci sono anche Treccani e Garzanti, utile per confrontare anche le definizioni, mi sembra. Esempio.