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