skill_analysis.json

{
  "name": "Code2Database-analysis",
  "version": "1.3.0",
  "description": "Deep semantic analysis sub-skill for Code2Database. Activated when the user asks about concurrency safety, data races, value flow, parameter flow, data dependencies, path feasibility, invariants, FFI boundaries, commit provenance, lock-held regions, resource alloc/free, blast radius, or direct queries into the cgdb layer via 19 cgdb_* MCP tools. Use when /Code2Database hands off a deep-analysis question, or when the user types /Code2Database-analysis. Not for: graph building/scanning/browsing (parent /Code2Database); transactions/daemon/profile/exports (/Code2Database-ops).",
  "trigger": "/Code2Database-analysis",
  "parent_skill": "Code2Database",
  "languages": [
    "C",
    "C++",
    "Go",
    "Python",
    "Java",
    "Rust",
    "ASM"
  ],
  "tier_1_commands": [
    "concurrency-analyze",
    "detect-races",
    "lock-coverage",
    "value-flow",
    "param-flow",
    "data-dep",
    "field-access",
    "path-feasible",
    "blast-radius",
    "find-invariants",
    "ffi-trace",
    "blame-node",
    "query"
  ],
  "commands": [
    "add-semantic-edges",
    "apply-invariants",
    "apply-semantics",
    "audit-log",
    "blame-node",
    "blast-radius",
    "check-bounds",
    "check-clones",
    "check-cycles",
    "check-infinite-loop",
    "check-recursion",
    "code-slice",
    "concurrency-analyze",
    "concurrency-risks",
    "data-dep",
    "data-lifecycle",
    "describe-commit",
    "detect-races",
    "diagnose",
    "diff-chains",
    "explain-label",
    "explore-flow",
    "extract-invariants",
    "extract-invariants-llm",
    "extract-semantics",
    "extract-signals",
    "ffi-detect",
    "ffi-list",
    "ffi-trace",
    "ffi-types",
    "field-access",
    "field-flow",
    "find-commits",
    "find-invariants",
    "graph-provenance",
    "happens-before",
    "hw-reach",
    "hybrid-search",
    "impact",
    "intent-query",
    "io-path",
    "key-paths",
    "lock-coverage",
    "memory-ordering",
    "neighbors",
    "node-history",
    "null-source",
    "param-flow",
    "path",
    "path-feasible",
    "path-guards",
    "query",
    "reason",
    "resolve-chain",
    "reverse-trace",
    "runtime-guards",
    "semantic-search",
    "taint-analysis",
    "think-chain",
    "unbalanced-alloc-free",
    "value-flow",
    "who-allocates",
    "who-frees",
    "who-locks",
    "why-ambiguous"
  ],
  "cgdb_mcp_tools": [
    "cgdb_search_symbols",
    "cgdb_find_invokers",
    "cgdb_find_invoked",
    "cgdb_get_definition",
    "cgdb_get_function_body",
    "cgdb_get_source",
    "cgdb_get_struct_layout",
    "cgdb_find_type_definition",
    "cgdb_find_ops_impls",
    "cgdb_find_cfg_paths",
    "cgdb_find_data_flow",
    "cgdb_find_aliases",
    "cgdb_find_lock_held_calls",
    "cgdb_check_race_condition",
    "cgdb_find_configs_for",
    "cgdb_find_nodes_under_config",
    "cgdb_index_status",
    "cgdb_time_travel_query",
    "cgdb_list_versions"
  ],
  "routing_table": {
    "Is this thread-safe?": [
      "concurrency-risks",
      "concurrency-analyze",
      "detect-races",
      "lock-coverage",
      "happens-before",
      "memory-ordering",
      "who-locks"
    ],
    "Where does this NULL/value come from?": [
      "value-flow",
      "param-flow",
      "data-dep",
      "data-lifecycle",
      "io-path"
    ],
    "What breaks if I change this?": [
      "impact",
      "blast-radius",
      "neighbors",
      "path",
      "diff-chains"
    ],
    "Is this path feasible?": [
      "path-feasible",
      "resolve-chain",
      "extract-signals"
    ],
    "What invariants does this function enforce?": [
      "extract-invariants",
      "find-invariants",
      "apply-invariants"
    ],
    "Which Python/Go/Rust function calls into C?": [
      "ffi-detect",
      "ffi-list",
      "ffi-trace",
      "ffi-types"
    ],
    "Which commit introduced this?": [
      "blame-node",
      "describe-commit",
      "node-history",
      "graph-provenance",
      "find-commits"
    ],
    "Who allocates/frees this resource?": [
      "who-allocates",
      "who-frees",
      "unbalanced-alloc-free",
      "add-semantic-edges"
    ],
    "Query cgdb tables directly (clang backend)": [
      "cgdb_search_symbols",
      "cgdb_find_invokers",
      "cgdb_find_invoked",
      "cgdb_get_definition",
      "cgdb_get_function_body",
      "cgdb_get_source",
      "cgdb_get_struct_layout",
      "cgdb_find_type_definition",
      "cgdb_find_ops_impls",
      "cgdb_find_cfg_paths",
      "cgdb_find_data_flow",
      "cgdb_find_aliases",
      "cgdb_find_lock_held_calls",
      "cgdb_check_race_condition",
      "cgdb_find_configs_for",
      "cgdb_find_nodes_under_config",
      "cgdb_index_status",
      "cgdb_time_travel_query",
      "cgdb_list_versions"
    ]
  },
  "on_demand_commands": [
    "think-chain",
    "intent-query",
    "extract-invariants-llm",
    "explain-label",
    "why-ambiguous",
    "extract-semantics",
    "apply-semantics",
    "audit-log"
  ],
  "extraction_backends": [
    "auto",
    "clang",
    "tree-sitter"
  ],
  "activation_model": "User explicitly invokes /Code2Database-analysis, OR /Code2Database core skill detects a deep-analysis question (concurrency, data flow, invariants, FFI, provenance, path feasibility, cgdb) and hands off with the phrase 'activate Code2Database-analysis sub-skill'.",
  "shared_resources": {
    "scripts": "scripts/ (shared with parent and ops sub-skill — single CLI)",
    "mcp_server": "All 83 MCP tools (36 code2database_* + 19 cgdb_* + 28 design-report) accessible regardless of sub-skill activation. MCP is separate from skill layer."
  }
}