自动找到让程序出错的反例
提交题面和 C++ 候选解，由 AI 生成待审核的独立 Oracle；也可以自行提供可信暴力解。WA Hunter 会自动对拍，并用 Delta Debugging 缩小错误输入。
免费注册 登录多策略生成
随机、边界、单调、重复、全相等与极值混合。
Agent 循环
选择策略 → 执行工具 → 观察输出 → 调整策略。
自动最小化
删除元素并收缩数值，每一步都重新验证。
¥1 反例服务
找到并人工确认有效反例后收费 ¥1 CNY；找不到不收费。当前仅支持第一行 n、第二行 n 个整数的 C++17 数组题。
已创建 4 个任务，找到 0 个反例。测试未发现问题不等于证明程序正确。