COQ AI ($COQ)