cache level-2 prove builder in main