CodeQL Security Scan
trailofbits/skills
Scans a codebase for vulnerabilities with CodeQL's data flow and taint tracking in run-all or important-only modes, including data extensions for project-specific sources and sinks.
Scans code with a bundled Node script for injection, secrets, XSS and other risky patterns, ranks findings by severity and checks that security decisions are documented.
SKILL.md written in Chinese; this summary is our English description.
$ npx skills add fengshao1227/ccg-workflow --skill verify-security -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install fengshao1227/ccg-workflow verify-security --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/fengshao1227/ccg-workflow.git skills-src && mkdir -p .claude/skills && cp -r skills-src/dsh-ccg/skills/verify-security .claude/skills/verify-security && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "verify-security" agent skill from https://github.com/fengshao1227/ccg-workflow/tree/main/dsh-ccg/skills/verify-security into .claude/skills/verify-security/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "verify-security", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/fengshao1227/ccg-workflow/tree/main/dsh-ccg/skills/verify-securityType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add fengshao1227/ccg-workflow --skill verify-security -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install fengshao1227/ccg-workflow verify-security --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/fengshao1227/ccg-workflow.git skills-src && mkdir -p .agents/skills && cp -r skills-src/dsh-ccg/skills/verify-security .agents/skills/verify-security && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "verify-security" agent skill from https://github.com/fengshao1227/ccg-workflow/tree/main/dsh-ccg/skills/verify-security into .agents/skills/verify-security/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "verify-security", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add fengshao1227/ccg-workflow --skill verify-security -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install fengshao1227/ccg-workflow verify-security --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/fengshao1227/ccg-workflow.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/dsh-ccg/skills/verify-security .cursor/skills/verify-security && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "verify-security" agent skill from https://github.com/fengshao1227/ccg-workflow/tree/main/dsh-ccg/skills/verify-security into .cursor/skills/verify-security/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "verify-security", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/fengshao1227/ccg-workflow.git --path dsh-ccg/skills/verify-security--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add fengshao1227/ccg-workflow --skill verify-security -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install fengshao1227/ccg-workflow verify-security --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/fengshao1227/ccg-workflow.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/dsh-ccg/skills/verify-security .gemini/skills/verify-security && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "verify-security" agent skill from https://github.com/fengshao1227/ccg-workflow/tree/main/dsh-ccg/skills/verify-security into .gemini/skills/verify-security/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "verify-security", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install fengshao1227/ccg-workflow verify-securityInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add fengshao1227/ccg-workflow --skill verify-security -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/fengshao1227/ccg-workflow.git skills-src && mkdir -p .github/skills && cp -r skills-src/dsh-ccg/skills/verify-security .github/skills/verify-security && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "verify-security" agent skill from https://github.com/fengshao1227/ccg-workflow/tree/main/dsh-ccg/skills/verify-security into .github/skills/verify-security/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "verify-security", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add fengshao1227/ccg-workflow --skill verify-security -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install fengshao1227/ccg-workflow verify-security --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/fengshao1227/ccg-workflow.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/dsh-ccg/skills/verify-security .opencode/skills/verify-security && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "verify-security" agent skill from https://github.com/fengshao1227/ccg-workflow/tree/main/dsh-ccg/skills/verify-security into .opencode/skills/verify-security/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "verify-security", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
verify-securityScans code with a bundled Node script for injection, secrets, XSS and other risky patterns, ranks findings by severity and checks that security decisions are documented.
The skill is written in Chinese and acts as a gate on security-relevant work, holding that security decisions must be traceable and that Critical and High issues be fixed before delivery. It runs `node scripts/security_scanner.js` on a path, with a verbose flag, and groups findings by severity: injection and hardcoded secrets as Critical, XSS, unsafe deserialization, path traversal, SSRF and XXE as High, weak hashes and insecure randomness as Medium, and leftover debug code as Low.
Beyond the scan, it checks that security-related code has a DESIGN.md recording the threat model, the security decisions, trust boundaries and accepted risks. Quick-reference lists of dangerous patterns cover Python, JavaScript and Go, such as eval and shell execution. It triggers on new modules, changes to authentication, authorization, encryption or input handling, red and blue team tasks, finished refactors and before commits, and ends with a pass or fail report.
Read from SKILL.md and the folder at commit f349e3d. It shows what the files ask for, not the result of running them.
Pre-approves these tools, so the agent can use them without asking each time:
BashReadGrepFrom allowed-tools in the SKILL.md frontmatter.
Ships 1 file in scripts/ (JavaScript), which the agent can run.
Shell commands in SKILL.md call:
nodeFrom the folder's file list and the shell code blocks in SKILL.md.
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
node>=18
From compatibility in the SKILL.md frontmatter.
Security Verification Gate loads about 621 tokens when it runs. Until then it costs about 32 tokens; SKILL.md has 79 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
The automated check noted patterns worth knowing about, such as sudo or a known installer.
allowed-tools: Bash, Read, GrepAutomated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); the scripts in this folder are not scanned.
The full file from fengshao1227/ccg-workflow at commit f349e3d, republished under its MIT licence (© fengshao1227). 79 words, ~621 tokens.
.claude/skills/verify-security/SKILL.md (or your agent's skills folder). This skill also uses 1 other file; get the full folder from GitHub.安全即道基,破则劫败
安全决策必须可追溯
Critical/High 问题必须修复后才能交付运行安全扫描脚本(跨平台):
# 在 skill 目录下运行
node scripts/security_scanner.js <扫描路径>
node scripts/security_scanner.js <扫描路径> -v # 详细模式
node scripts/security_scanner.js <扫描路径> --json # JSON 输出
node scripts/security_scanner.js <扫描路径> --exclude vendor # 排除目录| 类别 | 检测项 | 严重度 |
|---|---|---|
| 注入 | SQL 注入、命令注入、代码注入 | 🔴 Critical |
| 敏感信息 | 硬编码密钥、AWS Key、私钥 | 🔴 Critical |
| XSS | innerHTML、dangerouslySetInnerHTML | 🟠 High |
| 反序列化 | pickle.loads、yaml.load | 🟠 High |
| 路径遍历 | 未验证的文件路径操作 | 🟠 High |
| SSRF | 未验证的 URL 请求 | 🟠 High |
| XXE | 不安全的 XML 解析 | 🟠 High |
| 弱加密 | MD5、SHA1 用于安全场景 | 🟡 Medium |
| 不安全随机 | random 模块用于安全场景 | 🟡 Medium |
| 调试代码 | console.log、print、debugger | 🔵 Low |
安全相关代码必须在 DESIGN.md 中记录:
# 🔴 危险 - 触犯道基
eval(), exec(), os.system()
subprocess(..., shell=True)
pickle.loads(), yaml.load()
cursor.execute(f"SELECT * FROM t WHERE id = {id}")
# ✅ 安全替代 - 道基稳固
ast.literal_eval()
subprocess([...], shell=False)
yaml.safe_load()
cursor.execute("SELECT * FROM t WHERE id = %s", (id,))// 🔴 危险 - 触犯道基
eval(), innerHTML, document.write()
new Function(userInput)
// ✅ 安全替代 - 道基稳固
JSON.parse(), textContent
模板引擎自动转义// 🔴 危险 - 触犯道基
exec.Command("sh", "-c", userInput)
template.HTML(userInput)
// ✅ 安全替代 - 道基稳固
exec.Command("cmd", args...)
html/template 自动转义1. 运行 security_scanner.js 自动扫描
2. 分析扫描结果,按严重度排序
3. 检查安全决策是否有文档记录
4. 输出安全校验报告
5. Critical/High 问题必须修复后才能交付| 场景 | 触发条件 |
|---|---|
| 新建模块 | 模块创建完成时 |
| 安全相关变更 | 涉及认证、授权、加密、输入处理 |
| 攻防任务 | 红队/蓝队任务完成时 |
| 重构完成 | 重构任务完成时 |
| 提交前 | 代码提交前检查 |
## 安全校验报告
✓ 通过 | ✗ 未通过
- 🔴 Critical: N
- 🟠 High: N
- 🟡 Medium: N
- 🔵 Low: N
### 发现问题
| 文件 | 行号 | 类型 | 严重度 | 描述 |
|------|------|------|--------|------|
| ... | ... | ... | ... | ... |
### 结论
可交付 / 需修复后交付© fengshao1227, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
SKILL.md and 1 other file (scripts) in dsh-ccg/skills/verify-security of fengshao1227/ccg-workflow.
Open the folder on GitHubat commit f349e3d
Security Verification Gate next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Security Verification Gate this skillfengshao1227/ccg-workflow | 5.9k | — | ~621 | Automated safety check: Notes | MIT | |
| CodeQL Security Scantrailofbits/skills | 7.4k | — | ~4.6k | Automated safety check: Notes | CC-BY-SA-4.0 | |
| Cyber NeoHainrixz/cyber-neo | 283 | — | ~5.9k | Automated safety check: Warn | MIT | |
| Constant-Time Analysistrailofbits/skills | 7.4k | — | ~3.3k | Automated safety check: Notes | CC-BY-SA-4.0 | |
| Taint Instrumentation AssistantArabelaTso/Skills-4-SE | 253 | — | ~2.9k | Automated safety check: Pass | Apache-2.0 | |
| Security Reviewgithub/awesome-copilot | 40k | 1 repos | ~2.3k | Automated safety check: Notes | MIT |
trailofbits/skills
Scans a codebase for vulnerabilities with CodeQL's data flow and taint tracking in run-all or important-only modes, including data extensions for project-specific sources and sinks.
Hainrixz/cyber-neo
Comprehensive cybersecurity analysis for any local project. An agent skill from Hainrixz/cyber-neo.
trailofbits/skills
Compiles cryptographic code and inspects the assembly or bytecode for variable-time instructions, then triages which flagged operations actually touch secrets.
ArabelaTso/Skills-4-SE
Instruments code to track the flow of untrusted or sensitive data at runtime, enabling detection of injection vulnerabilities, data leaks, and privilege violations.
github/awesome-copilot
AI-powered codebase security scanner that reasons about code like a security researcher — tracing data flows, understanding component interactions, and catching vulnerabilities that pattern-matching…
secondsky/claude-skills
XSS attack prevention with input sanitization, output encoding, Content Security Policy.
fengshao1227/ccg-workflow
Analyzes a code diff for documentation sync, test coverage and impact scope, warning when docs or tests lag behind a design-level change or a large edit.
fengshao1227/ccg-workflow
Scans a module directory for the required README.md and DESIGN.md plus recommended files and reports what is missing, so a module is not delivered incomplete.
fengshao1227/ccg-workflow
Scans code for complexity, long functions, duplicated blocks, naming problems and code smells with a Node script, then reports and suggests refactors.
fengshao1227/ccg-workflow
Generates README.md and DESIGN.md skeletons for a module by scanning its structure with a Node script, then lists what to fill in by hand.
fengshao1227/ccg-workflow
How to run a non-trivial change end to end with the CCG role tools (ccganalyze / ccgdesign / ccgbuild / ccgdebug / ccgoptimize / ccgreview / ccgtest) and the verify- quality gates.
Works with
Categories
Scans code with a bundled Node script for injection, secrets, XSS and other risky patterns, ranks findings by severity and checks that security decisions are documented. The skill is written in Chinese and acts as a gate on security-relevant work, holding that security decisions must be traceable and that Critical and High issues be fixed before delivery.js` on a path, with a verbose flag, and groups findings by severity: injection and hardcoded secrets as Critical, XSS, unsafe deserialization, path traversal, SSRF and XXE as High, weak hashes and insecure randomness as Medium, and leftover debug code as Low.
Security Verification Gate fits situations like: scanning a codebase for common vulnerability patterns before delivery; checking that authentication or encryption changes have documented security decisions; looking for hardcoded keys, injection and XSS risks after a refactor.
Run `npx skills add fengshao1227/ccg-workflow --skill verify-security -a claude-code`. Or copy the skill folder (dsh-ccg/skills/verify-security in fengshao1227/ccg-workflow) into .claude/skills/verify-security in your project. Claude Code loads it when a task matches its description.
Run `npx skills add fengshao1227/ccg-workflow --skill verify-security -a codex`. Or copy the skill folder (dsh-ccg/skills/verify-security in fengshao1227/ccg-workflow) into .agents/skills/verify-security in your project. Codex loads it when a task matches its description.
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add fengshao1227/ccg-workflow --skill verify-security -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/verify-security, .gemini/skills/verify-security, .github/skills/verify-security and .opencode/skills/verify-security in your project.
Going by SKILL.md and its folder, Security Verification Gate needs JavaScript for the scripts in its folder and the command-line tools its instructions call (node). Our summary lists: Node.js 18 or later. Its frontmatter pre-approves these tools: Bash, Read, Grep. Compatibility (from SKILL.md): node>=18.
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Our automated static check of SKILL.md found notes only (pre-approves every shell command (allowed-tools: bash)), nothing it rates as a warning. It is not a guarantee. The check reads SKILL.md only: the scripts in the folder are not scanned, so read them before running anything.
Security Verification Gate is published under the MIT licence (declared in SKILL.md). It allows redistribution, so the full SKILL.md is shown on this page.
About 621 tokens (SKILL.md is roughly 2.5k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
Skills that share tags, products or a category with Security Verification Gate: CodeQL Security Scan (trailofbits/skills, 7.4k stars), Cyber Neo (Hainrixz/cyber-neo, 283 stars), Constant-Time Analysis (trailofbits/skills, 7.4k stars) and Taint Instrumentation Assistant (ArabelaTso/Skills-4-SE, 253 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
fengshao1227 (a GitHub user) maintains it in fengshao1227/ccg-workflow, which has 5,932 GitHub stars. The repository holds 6 skills in this directory. The repository was last updated on September 15, 2026.
Source: fengshao1227/ccg-workflow on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.