CoTraining: Implement wistr-spider resolver