A web interface for a person to play against AIs in HackerRisk