用途:以 API 消费方(agent 及其程序)的视角验证 Agent Server,证明外部可观察行为,而非仅证明处理函数返回或 CI 通过。
主要能力:control-agent-server CLI 将当前检出启动为隔离的真实服务器(私有 HOME、持久化目录、配置、会话密钥、端口),把每个 API 步骤变成可重跑命令;feature map 以稳定 ID 列出面向 agent 的行为、路由、入口与配方;证据包括请求/响应、WebSocket 帧、webhook 投递与程序记录,以及 pass/fail/blocked/not-run 台账。
使用方式:先把 CLI 加入 PATH 并读帮助:export PATH="$PWD/.agents/skills/verify-agent-server/scripts:$PATH",然后 control-agent-server --help。流程为 launch → doctor → drive → evidence → cleanup。常用命令包括 doctor、llm preset deepseek、conversation start/events、api、ws、sink read、state、exec、logs、stop。命令用 --run 或 $AGENT_SERVER_VERIFY_RUN 指定运行;多运行并存时须显式导出,避免污染他人证据。
适用场景:验证变更或 PR、复现既有修复(基线 xfail 两次、修复 xpass 两次)、创建或扩展 feature map、重跑地图、每日巡检与周期性维护。
限制:需要仓库根目录 make build 或 uv sync --dev;git 用于 fixture,tmux 用于 bash/终端工具,模型配方需 DeepSeek 密钥;启动要求约 1 GB 空闲。不得用 mock 或补丁让检查通过,fixture llm-stub 仅用于真实模型无法按需产生的提供方行为。证据默认脱敏,发布前需人工阅读。无密钥时记录为 blocked,不得当作通过。