concept SuccessfulProxyContact {
  S proxy, target;
  long lastSuccess;
  S targetComputerID;
}

sclass ContactInvisibles {
  L<IP> aware, unaware;
  Concepts in = mainConcepts;

  void doIt() {
    aware = findConcepts(in, IP, aware := true);
    print("Aware computers I can see: " + struct(collect(aware, "ip")));
    unaware = findConcepts(in, IP, aware := false);
    print("Computers I could try to proxy-contact: " + struct(collect(unaware, "ip")));
    
    for (IP ip : unaware)
      tryToContact(ip.ip);
  }
  
  void tryToContact(S target) {
    for (IP proxy : aware) pcall {
      print("Trying to contact " + target + " through " + proxy.ip);
      long time = now();
      S answer = sendToPublicCommBotThroughProxy(proxy.ip, target, "test");
      print("  Answer: " + answer);
      if (match("test", answer)) {
        print("  Success!!\n");
        SuccessfulProxyContact contact = uniq(SuccessfulProxyContact, proxy := proxy.ip, +target);
        cset(contact, lastSuccess := time);
        answer = sendToPublicCommBotThroughProxy(proxy.ip, target, forward("Awareness", "get computer id"));
        S computerID = matchOK(answer);
        if (computerID != null)
          cset(contact, targetComputerID := computerID);
        break;
      }
    }
  }
}

Began life as a copy of #1006044