There are many good extensions with somewhat similar features, the ideal extension might come down to personal preference but I've been building double.bot [0] after spending months using Github Copilot and running into the same bugs over and over (wrote about it here [1]) and I think we've done a good job at building the ideal extension for professional developers.<p>[0] - <a href="https://double.bot/">https://double.bot/</a><p>[1] - <a href="https://docs.double.bot/copilot">https://docs.double.bot/copilot</a>