菜单
安全审计 — CodeQL/Semgrep 静态分析、漏洞检测、智能合约审计
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
学术论文全流程 — research → write → review → finalize，含文献综述、论文撰写、审稿回复
算法与数据结构 — 数组/链表/树/图/堆/哈希/DP/排序/BFS-DFS/线段树/复杂度分析
API 设计 — RESTful/GraphQL/gRPC/OpenAPI/向后兼容/版本策略
后端 API — REST/GraphQL 设计, JWT/OAuth 认证, 输入验证/限流/缓存
代码审查 — 正确性/安全/性能/可维护性审查维度, 基于严重级别的反馈流程
数据分析 — pandas/numpy 数据清洗/聚合/可视化, 统计检验/A-B测试/SQL
| name | trailofbits-security |
| description | 安全审计 — CodeQL/Semgrep 静态分析、漏洞检测、智能合约审计 |
基于 CodeQL 和 Semgrep 的代码安全扫描。
| 类型 | 工具 | 检测内容 |
|---|---|---|
| 静态分析 | CodeQL | SQL注入、XSS、路径遍历、命令注入 |
| 模式匹配 | Semgrep | 硬编码密钥、危险函数、不良实践 |
| 依赖检查 | pip-audit / npm audit | CVE 已知漏洞 |
| 密钥扫描 | truffleHog / Gitleaks | 泄露的 API Key/Token |
# 安装 CodeQL CLI
gh extension install github/gh-codeql
# 创建数据库
gh codeql database create ./codeql-db --language=javascript
# 运行查询
gh codeql database analyze ./codeql-db --format=sarif-latest --output=results.sarif
# 查看结果
gh codeql database analyze ./codeql-db
rules:
- id: no-hardcoded-secrets
pattern-either:
- pattern: 'password = "..."'
- pattern: 'api_key = "..."'
message: "发现硬编码密钥"
languages: [python, javascript, typescript]
severity: ERROR