用途:/mantis-launch 是 Mantis 自主安全审查流水线的启动命令,对单个源文件或整个代码仓库发起端到端漏洞发现、独立验证、利用可行性分析、崩溃复现、自动补丁生成与风险校准活动。
主要能力:自动检测未配置的环境占位符(如 GCE 沙箱中的 YOUR_PROJECT_ID),自动解析凭据与虚拟化能力,执行快速预检,并在运行前应用运行时覆盖。
使用方式:脚本位于 Mantis 安装目录的 reference/scripts/launch.py 与 reference/run.sh,必须用绝对路径或 $MANTIS_HOME 调用,禁止在受审仓库内使用相对路径。示例:"$MANTIS_HOME/reference/run.sh" src/server/auth.py;"$MANTIS_HOME/reference/run.sh" . --sandbox static-only;"$MANTIS_HOME/reference/run.sh" . --model vertex_ai/claude-opus-5;python3 "$MANTIS_HOME/reference/scripts/launch.py" . --preflight-only。
常用选项:target 位置参数;--sandbox/-s(static-only、gvisor、microsandbox、gce);--model/-m;--api-base;--reasoning-effort;--timeout;--db/-d;--workflow/-w;--preflight-only/--test/--preflight;--probe/--probe-llm;--interactive;--dry-run;--no-auto-configure。
输入输出:读取目标源码、workflow.json;写入 knowledge.db(findings、campaign_artifacts、risk_scores、learnings)与 sessions.db,并输出终端报告与日志。结果可用 mantis-advise 查询。
限制:资料未提供收费、价格、平台支持范围与效果保证等信息。