Great to see this. Have you seen our Lean copilot https://
leandojo.org Would be great to see how this can be integrated together.

→ View original post on X — @animaanandkumar