Send a message to Lean Tools