代理将每个发现编译成可执行测试，测试套件扫描整个语料库仅需 0.7 秒实际时间，无需 GPU。