Anvil is an experimental framework to build practical, formally verified, cluster management controllers.