Send a message to Lean With Lindy