GitHub repository: rujevic/mina-snark-stopper
Description: Tool for Mina Protocol