Send a message to LeanCode