Systems Theory & Language Design Skills Discovery When This Skill Activates - eBPF, kernel tracing, XDP, kprobes, BPF - Compilers, parsers, interpreters, AST, bytecode - Type systems, type theory, programming language design - LLVM, IR, SSA, code generation, optimization passes - Information retrieval, search, ranking, vector search - Formal verification, theorem proving, model checking - SAT, SMT, Z3, Lean, constraint solving Available Skills (32 total) eBPF (4 skills) 1. ebpf-fundamentals - eBPF programs, verifier, maps 2. ebpf-networking - XDP, TC, socket filtering 3. ebpf-security-monitor…