mcpField
C
competition-websocket-runtime

competition-websocket-runtime

github.com/zhaoxuya520安全43.7k94 次安装5 周前更新
代码仓库

关于 competition-websocket-runtime

用于行为取决于实时握手和 WebSocket 帧流的 CTF 安全技能，须在 `$ctf-sandbox-orchestrator` 之后使用。它追踪连接、消息及其状态影响，以提炼最小可复现序列。

主要功能

  1. 01梳理握手标头与身份验证
  2. 02区分订阅、心跳和推送消息
  3. 03还原消息结构与频道标识
  4. 04关联帧流与状态变化
  5. 05提炼可重放的最小序列

适用场景

  1. 01追踪 WebSocket 握手中的身份验证
  2. 02分析订阅与服务器推送行为
  3. 03复现实时状态变化

安装

复制下面的命令，在终端中运行。

$npx skills add https://github.com/zhaoxuya520/reverse-skill --skill competition-websocket-runtime

安装后在 Claude Code 中输入/competition-websocket-runtime确认已加载。

附带文件agents/openai.yamlreferences/websocket-runtime.md

详细介绍

竞赛 WebSocket 运行时

仅当 $ctf-sandbox-orchestrator 已经激活，并且已经建立沙箱假设、节点归属和证据优先级之后，再将此技能用作下游专门化技能。如果尚未做到这一点，请先回到 $ctf-sandbox-orchestrator。

当决定性行为由实时握手和帧流承载，而不是仅由一次性 HTTP 承载时，请使用此技能。

除非用户明确要求英语，否则用简体中文回复。

快速开始

  1. 先梳理握手：origin、path、headers、cookies、query、auth token 和 upgrade response。
  2. 区分连接建立、订阅消息、keepalive、服务器推送和重连逻辑。
  3. 在一条链中记录消息 schema、topic 或 channel 身份，以及状态副作用。
  4. 将帧与渲染、存储或后端可见效果关联起来。
  5. 复现能够到达决定性状态变化的最小握手加帧序列。

工作流

1. 梳理实时握手
  • 记录初始 HTTP 或 SSE 请求、upgrade headers、cookies、tokens、query params、origin checks 和协商协议。
  • 注意认证材料是由 headers、cookies、query strings 还是初始应用帧携带。
  • 将 route、subscription endpoint 和 session 身份保持关联。
2. 解码消息流
  • 区分 subscribe、unsubscribe、ack、heartbeat、server push、reconnect 和 terminal frames。
  • 恢复对行为重要的消息类型、channel IDs、schema fields 和 sequencing。
  • 区分传输层 keepalive 与应用层业务消息。
3. 归约到决定性实时路径
  • 将结果压缩为最小序列：握手 -> 认证或订阅帧 -> 推送或被接受的帧 -> 产生的状态变化。
  • 将规范帧顺序与任何重放的最小时序并排保留。
  • 如果难点是通用协议重组，且没有运行时 UI 或应用状态关联，请切换回更严格的协议技能。

阅读此参考

  • 加载 references/websocket-runtime.md 以获取握手清单、帧清单和证据打包。

需要保留的内容

  • 握手 headers、cookies、query params、认证材料、协商 subprotocol 和 channel IDs
  • 帧 schemas、订阅消息、服务器推送、重连流和产生的状态变化
  • 能证明决定性分支的最小可重放实时序列

评论

支持 Markdown