a tool for redis