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-monitoring - LSM hooks, syscall tracing
4. ebpf-tracing-observability - kprobes, tracepoints, profiling