Is it possible to write to database or file using a local instance of Lean?

 

regards,

Felipe