Sourcegraph unveils AI coding agentsSourcegraph launches coding agents to challenge GitHub Copilot in AI coding assistance.