A simplified zanzibar implementation, built with AI - View it on GitHub