How we built the Redis Docs MCP for agents