WIP: refine API and implement CheckerConfig