So I submitted Ramanujan, few days ago and it was just basic with broken workflow and all. but not, after fixing most of the bugs and adapting to new workflow, I finally announce the stable version 0.1.0 of Ramanujan! It's a first-of-its-kind Multi-Model Agent which utilises multiple models from similar or different providers and let them work on similar problem with different approaches in their own worktrees and lean, mathlab for verifying results before handling it to the user (mathematician) for consolidation and further verification. It's not another Millennium Maths Problem solver haha but it's more of a tool to help math nerds with their thesis, research who are having difficulty at some point of their work. Hope it would be useful in someway - Aniket.