剑浦陈陶，唐末隐西山。《步虚引》云：“小隐山人十洲客……”奇峭不减李贺。

扶桑山有玉鸡，鸣则金鸡鸣，而后石鸡鸣，天下鸡皆鸣，所谓“天鸡”也。李诗“半壁见海日，空中闻天鸡”、温庭筠诗“漏转霞高沧海低，玻璃枕上闻天鸣”，俱用“天鸡”耳。陈陶诗：“朝天半夜闻玉鸡，星斗离离碍龙翼”，盖用“玉鸡”矣。诗人独无用石鸡者，毋乃贵玉贱石欤？