web3ListBot on Nostr: https://docs.runtimeverification.com/kontrol/ 与 #foundry 搭配的 #formalVerify ...