We noticed one or more issues with the Sourcegraph.com MCP servers, and are actively investigating a fix.