discover-systems-theory
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 proving
- Installs
- 69
- Last 24h
- —
- Trending rank
- —
- Security
- Not audited
Install
Works with every agent the skills CLI supports.
npx skills add https://github.com/rand/cc-polymath --skill discover-systems-theory- 01
Install
Run the command in your project. The CLI asks which agents to install for.
- 02
Describe the task
Ask your agent for something this skill covers. It loads discover-systems-theory automatically when relevant.
- 03
Review the result
The agent follows the SKILL.md steps, scripts and references bundled with the skill.
SKILL.md
The instructions your agent reads when the skill is triggered.
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
FAQ
What does the discover-systems-theory skill do?
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 proving
How do I install discover-systems-theory?
Run npx skills add https://github.com/rand/cc-polymath --skill discover-systems-theory in your project. The skills CLI detects the agents you use and copies the skill into the right folder. For Claude Code you can also place the skill folder at ~/.claude/skills/discover-systems-theory/ (personal) or .claude/skills/discover-systems-theory/ (project).
Which AI agents can use discover-systems-theory?
Any agent that supports the open Agent Skills format (a folder with a SKILL.md file), including Claude Code, Codex, Cursor, GitHub Copilot, Gemini CLI, Windsurf, Cline, OpenCode and more.
Is discover-systems-theory safe to install?
No partner security audit is available yet. Skills can run commands and scripts, so read the SKILL.md and any bundled files before installing.
Who maintains discover-systems-theory?
It is published by rand in rand/cc-polymath. It has 69 recorded installs.
More from rand/cc-polymath
anti-slop
rand/cc-polymath
Comprehensive toolkit for detecting and eliminating "AI slop" - generic, low-quality AI-generated patterns in natural language, code, and design. Use when reviewing or improving content quality, preventing generic AI patterns, cleaning up existing content, or enforcing quality standards in writing, code, or design work.
discover-frontend
rand/cc-polymath
Automatically discover frontend development skills when working with React, Next.js, UI components, state management, data fetching, forms, accessibility, performance optimization, or SEO. Activates for frontend web development tasks.
discover-research
rand/cc-polymath
Automatically discover research methodology skills when working with research methodology, literature review, systematic review, evidence synthesis, academic research, or experimental design. Activates for research tasks.
discover-math
rand/cc-polymath
Automatically discover mathematics and algorithm skills when working with linear algebra, calculus, optimization, statistics, probability, numerical methods, category theory, or topology. Activates for math development tasks.
discover-ml
rand/cc-polymath
Automatically discover machine learning and AI skills when working with machine learning, PyTorch, training, inference, RAG, embeddings, fine-tuning, LLM, DSPy, HuggingFace, or diffusion models. Activates for ML development tasks.
Popular other skills
hyperframes-cli
heygen-com/hyperframes
The HyperFrames CLI by job - scaffold, check, look at frames, edit the timeline, preview, render locally or in the cloud, publish, project history - plus reading its JSON and recovering from build or render failures.
triage
mattpocock/skills
Move issues and external PRs through a state machine of triage roles, categorise, verify, grill if needed, and write agent-ready briefs.
ask-matt
mattpocock/skills
Ask which skill or flow fits your situation. A router over the skills in this repo.
to-questionnaire
mattpocock/skills
Turn a decision you can't fully answer into a questionnaire for someone else to fill in.
loop-me
mattpocock/skills
Grill me about specs for the workflows I want to build, within this workspace.