The post says that the person found these issues using an LLM as a verifier so I don't know how involved the community aspect is here