Send a message to Lean and green