auto spec: add generator spec