added service for available provers #1378