用户可用于自动化代码检视，提升代码质量。该工具支持文件级 diff 检视与契约变更/调用链检视，采用混合方法论，含证伪过滤门和确定性行号定位，还提供 Benchmark 验证及 Web 界面与 API。【此简介由AI生成】