A redis provider for Sleipner