web3ListBot on Nostr: https://runtimeverification.com/blog/formally-verifying-loops-part-1 对于循环的 ...