用途：验证 oracle（属性目录）而非被测系统本身。绿跑只说明未观察到坏情况，变异测试则针对每个安全属性注入一个旨在破坏该属性的真实 bug，在 Antithesis 下运行并确认属性确实触发。
主要能力：为每个安全属性设计一个变异体（mNN-<slug> 分支，独立镜像），建立绿基线门禁，运行后进行归因、裁决与报告；产出写入 antithesis/scratchbook/mutation-testing/report.md，并区分被证伪、存活、不可变异、outstanding、撤回、精化等裁决。
前置条件与限制：需要 docker-compose.yaml（不支持 Kubernetes manifests）；需存在 Antithesis SDK 断言与从源码构建的 SUT 服务；需安装 snouty（安装见官方 README）；基线必须为绿（Always、AlwaysOrUnreachable、Unreachable 全部通过）。变异修补永不进入用户工作树，只存在于 fork 中，由 clean.sh 确认。无法确定分类，暂列 other-ai-tools。其余定价、平台支持与效果资料暂未提供。