GitHub repository: vporton/BalanceCheckerVerification
Primary language: Motoko
Description: Blackhole and wasm verification of the CycleOps StatusChecker canister