Multi-Agent Safe Control (Demo)