Spike – lazy-loading MCP tools for better context usage | Dark Hacker News