Send a message to Lean Library