A GPT4 powered tool for detecting bugs in Databend - View it on GitHub