Lean remix for new project

https://twitter.com/manish_saraan/status/1761769746633204129