When Coding Agents Struggle: Lessons from Shutting Down the MCP Server

Some engineering problems look easy—but when coding agents like Sourcegraph's AMP get involved, they reveal surprising complexity. One such example? Gracefully shutting down an MCP server. 🧠 The Setup I’ve been building a GitHub-integrated agent inf...