Send a message to Lean + Gvng