How do I install the Discover Systems Theory skill?

Run npx skillmds add rand/discover-systems-theory in your terminal (requires Node.js), paste this page's agent-chat prompt into Claude, Cursor, or any MCP-connected agent, or download the SKILL.md file and copy it into your agent's skills directory.

Is Discover Systems Theory safe to use?

This skill has not completed SkillMD's automated safety review yet. Capability flags: docs only. SkillMD never runs a skill's scripts for you; review the SKILL.md before installing.

Which AI agents work with Discover Systems Theory?

This skill is tagged as working with Claude Code, Claude.ai, OpenAI Codex. SKILL.md is an open format, so most agents that read a skills directory can load it too.

Is Discover Systems Theory free to use?

Yes. Installing skills from SkillMD is free. This skill is licensed under MIT.

Who published Discover Systems Theory?

rand (@rand) published this skill. Their other Agent Skills are listed on their SkillMD profile.

Discover Systems Theory by rand — Agent Skill

Name: Discover Systems Theory
Rating: 4.5 (4 reviews)
Author: rand

File contents

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)

ebpf-fundamentals - eBPF programs, verifier, maps
ebpf-networking - XDP, TC, socket filtering
ebpf-security-monitoring - LSM hooks, syscall tracing
ebpf-tracing-observability - kprobes, tracepoints, profiling

Information Retrieval (5 skills)

ir-search-fundamentals - Indexing, tokenization, TF-IDF, BM25
ir-query-understanding - Query parsing, expansion, intent
ir-ranking-reranking - Learning to rank, cross-encoders
ir-vector-search - Embeddings, ANN, HNSW, FAISS
ir-recommendation-systems - Collaborative/content-based filtering

Programming Language Theory (13 skills)

type-systems - Type theory, inference, polymorphism
lambda-calculus - Lambda calculus, reduction, Church encodings
curry-howard - Propositions as types, proofs as programs
dependent-types - Dependent types, refinement types
operational-semantics - Small-step, big-step semantics
program-verification - Hoare logic, invariants, correctness
structure-editors - Structural editing, projectional editors
hazelnut-calculus - Hazelnut typed holes calculus
live-programming-holes - Live programming with typed holes
typed-holes-foundations - Typed holes theory and foundations
typed-holes-interaction - Interactive typed hole filling
typed-holes-llm - LLM-powered typed hole completion
typed-holes-semantics - Typed holes formal semantics

Formal Methods (10 skills)

z3-solver-basics - Z3 SMT solver, constraints, assertions
sat-solving-strategies - SAT solving, DPLL, CDCL
smt-theory-applications - SMT theories, bitvectors, arrays
lean-proof-basics - Lean 4 basics, tactics, terms
lean-tactics - Advanced Lean tactics and automation
lean-theorem-proving - Theorem proving patterns in Lean
lean-mathlib4 - Mathlib4 library usage
csp-modeling - Constraint satisfaction problems
constraint-propagation - Arc consistency, propagation
backtracking-search - Backtracking, branch and bound

Load Full Category Details

Read ../ebpf/INDEX.md Read ../ir/INDEX.md Read ../plt/INDEX.md Read ../formal/INDEX.md

Progressive Loading

Level 1: This gateway loads automatically (~70 lines)
Level 2: Load category INDEX.md for full skill listings
Level 3: Load specific skills as needed

---name: discover-systems-theorydescription: Automatically discover eBPF, compiler, programming language theory, information retrieval, and formal verification skills when working with kernel tracing, parsers, type systems, Z3, Lean, or theorem provinglicense: MIT--- # 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 ### Information Retrieval (5 skills) 1. **ir-search-fundamentals** - Indexing, tokenization, TF-IDF, BM25 2. **ir-query-understanding** - Query parsing, expansion, intent 3. **ir-ranking-reranking** - Learning to rank, cross-encoders 4. **ir-vector-search** - Embeddings, ANN, HNSW, FAISS 5. **ir-recommendation-systems** - Collaborative/content-based filtering ### Programming Language Theory (13 skills) 1. **type-systems** - Type theory, inference, polymorphism 2. **lambda-calculus** - Lambda calculus, reduction, Church encodings 3. **curry-howard** - Propositions as types, proofs as programs 4. **dependent-types** - Dependent types, refinement types 5. **operational-semantics** - Small-step, big-step semantics 6. **program-verification** - Hoare logic, invariants, correctness 7. **structure-editors** - Structural editing, projectional editors 8. **hazelnut-calculus** - Hazelnut typed holes calculus 9. **live-programming-holes** - Live programming with typed holes 10. **typed-holes-foundations** - Typed holes theory and foundations 11. **typed-holes-interaction** - Interactive typed hole filling 12. **typed-holes-llm** - LLM-powered typed hole completion 13. **typed-holes-semantics** - Typed holes formal semantics ### Formal Methods (10 skills) 1. **z3-solver-basics** - Z3 SMT solver, constraints, assertions 2. **sat-solving-strategies** - SAT solving, DPLL, CDCL 3. **smt-theory-applications** - SMT theories, bitvectors, arrays 4. **lean-proof-basics** - Lean 4 basics, tactics, terms 5. **lean-tactics** - Advanced Lean tactics and automation 6. **lean-theorem-proving** - Theorem proving patterns in Lean 7. **lean-mathlib4** - Mathlib4 library usage 8. **csp-modeling** - Constraint satisfaction problems 9. **constraint-propagation** - Arc consistency, propagation 10. **backtracking-search** - Backtracking, branch and bound ## Load Full Category Details Read ../ebpf/INDEX.md Read ../ir/INDEX.md Read ../plt/INDEX.md Read ../formal/INDEX.md ## Progressive Loading - **Level 1**: This gateway loads automatically (~70 lines) - **Level 2**: Load category INDEX.md for full skill listings - **Level 3**: Load specific skills as needed

Frequently asked questions