codeql

codeql18 wordsInspect firstinspect-then-install

Curated third-party skill source. Run external-skill-auditor before repo promotion.

Quick Start

Install:

npx skills add trailofbits/skills --skill codeql --skill semgrep --skill property-based-testing -y -g -a antigravity claude-code codex crush cursor gemini-cli github-copilot grok opencode

Use: /codeql

Works with Claude Code, Gemini CLI, OpenCode, and other agentskills.io-compatible agents.

Curated external (hand-maintained)

Composed compose-external-wave-2 using authoring SSOT (docs/src/authoring/skills/codeql.mdx) + research. Do not run wagents docs generate on this file (HAND-MAINTAINED sentinel). Run external-skill-auditor before using in production or promoting.

What It Does

Deep security vulnerability scanning using CodeQL’s interprocedural data flow and taint tracking. Supports Python, JS/TS, Go, Java/Kotlin, C/C++, C#, etc. Builds databases, creates custom data extension models for project APIs, selects/runs query packs (security-extended + Trail of Bits + community), outputs SARIF. Workflows for quality assessment, build fixes, and result processing. From Trail of Bits static-analysis plugin (Testing Handbook based).

Harness Coverage

Targets verified harnesses: antigravity, claude-code, codex, crush, cursor, gemini-cli, github-copilot, grok, opencode.

Portable multi-harness install command:

npx skills add trailofbits/skills --skill codeql --skill semgrep --skill property-based-testing -y -g -a antigravity claude-code codex crush cursor gemini-cli github-copilot grok opencode

Trust / Audit

Trust tier: Inspect first (needs-inspection)

Curated status: inspect-then-install

Risk notes: Curated third-party skill source. Run external-skill-auditor before repo promotion.

Entry maintained via authoring + research for compose-external-wave-2; provenance and audit notes are authoritative there (research context is advisory).

Install Prerequisites

Install: npx skills add trailofbits/skills --skill codeql --skill semgrep --skill property-based-testing -y -g -a ... (grouped); pre-install CodeQL CLI. status=inspect-then-install; selector=named. Use after auditor for build/CLI surface.

Public Metadata

Field	Value
Source Type	curated-external
Display Source	trailofbits/skills
Source Kind	github
Installability	portable command
Review State	curated
Trust Tier	needs-inspection
Target Agents	antigravity, claude-code, codex, crush, cursor, gemini-cli, github-copilot, grok, opencode

General

Field	Value
Name	codeql

Curated catalog entry

docs/src/authoring/skills/codeql.mdx (full SSOT excerpt)

---
name: "codeql"
description: "Curated third-party skill source. Run external-skill-auditor before repo promotion."
title: "Codeql"
source_kind: "curated-external"
source: "trailofbits/skills"
install_source: "trailofbits/skills"
status: "inspect-then-install"
trust_tier: "needs-inspection"
provenance_status: "verified-install-command"
install_command: "npx skills add trailofbits/skills --skill codeql --skill semgrep --skill property-based-testing -y -g -a antigravity claude-code codex crush cursor gemini-cli github-copilot grok opencode"
target_agents: [antigravity, claude-code, codex, crush, cursor, gemini-cli, github-copilot, grok, opencode]
source_url: "https://github.com/trailofbits/skills"
notes: "Curated third-party skill source. Run external-skill-auditor before repo promotion."
risk_notes: "Curated third-party skill source. Run external-skill-auditor before repo promotion."
promotion_policy: "Inspect source, hooks, scripts, credentials, and dedupe before install."
provenance_evidence: "Curated `npx skills add` command with named `--skill` selectors under `inspect-then-install` in config/external-skills.md."
---

{/* GENERATED-AUTHORING: source=config/external-skills.md; entry=codeql; re-run migration to refresh */}

Curated third-party skill source. Run external-skill-auditor before repo promotion.

Install / provenance (from authoring frontmatter + research):

Field	Value
install_command	npx skills add trailofbits/skills --skill codeql --skill semgrep --skill property-based-testing -y -g -a antigravity claude-code codex crush cursor gemini-cli github-copilot grok opencode
source	trailofbits/skills
source_url	https://github.com/trailofbits/skills
trust_tier	needs-inspection
curated_status	inspect-then-install
target_agents	antigravity, claude-code, codex, crush, cursor, gemini-cli, github-copilot, grok, opencode

Resources

Skill Catalog Browse custom and external skills.

CLI Reference Install and manage skills.