New: 98,000+ skills indexed from GitHub repos with 100+ stars · every skill safety-checkedBrowse top skillsTop skills
Esc to closeBrowse all skills
Submit a skillBrowse skills
Submit a skillBrowse skills

Agent skill

Discover Systems Theory

by rand in rand/cc-polymath

Automatically discover eBPF, compiler, programming language theory, information retrieval, and formal verification skills when working with kernel tracing, parsers, type systems, Z3, Lean, or…

MITAuto-check passedAI & LLM Engineering

Install Discover Systems Theory

skills CLI
$ npx skills add rand/cc-polymath --skill discover-systems-theory -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install rand/cc-polymath discover-systems-theory --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/rand/cc-polymath.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/discover-systems-theory .claude/skills/discover-systems-theory && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
discover-systems-theory
GitHub stars
181
Token cost
~812 tokens
SKILL.md length
305 words
Files
1
Skills in repo
26
Repo updated
First seen
Licence
MIT

At a glance

Automatically discover eBPF, compiler, programming language theory, information retrieval, and formal verification skills when working with kernel tracing, parsers, type systems, Z3, Lean, or…

  • Works in 4 steps: ebpf-fundamentals - eBPF programs,… → ebpf-networking - XDP, TC, socket… → ebpf-security-monitoring - LSM hooks,… → …
  • AI & LLM Engineering work in your project
  • SKILL.md covers When This Skill Activates, Available Skills (32 total), Load Full Category Details and Progressive Loading
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Discover Systems Theory is an agent skill from rand/cc-polymath. 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

Its SKILL.md is about 810 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts. Compatibility notes: {"claude-code":"=1.0.0"}

It sits in AI & LLM Engineering. The repository describes itself as: Claude Code skills and workflows, optimized for context-efficiency and skill quality. Skills ranging from cloud infrastructure to design to advanced maths. The licence is MIT.

When your agent uses it

  • AI & LLM Engineering work in your project

Example prompts

  • “/discover-systems-theory”

Requirements

  • Compatibility (from SKILL.md): {"claude-code":">=1.0.0"}

Workflow steps

4 steps, taken from the first numbered list in SKILL.md.

  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

What it can do on your machine

Read from SKILL.md and the folder at commit baa2df1. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    No scripts in the folder and no shell commands in SKILL.md.

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

  • Compatibility

    {"claude-code":">=1.0.0"}

    From compatibility in the SKILL.md frontmatter.

Context cost

Discover Systems Theory loads about 812 tokens when it runs. Until then it costs about 58 tokens; SKILL.md has 305 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~58
When it runs · the whole SKILL.md, loaded when a task matches
~812

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from rand/cc-polymath at commit baa2df1, republished under its MIT licence (© rand). 305 words, ~812 tokens.

Download SKILL.mdSave it as .claude/skills/discover-systems-theory/SKILL.md (or your agent's skills folder).
name
discover-systems-theory
description
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
compatibility
{"claude-code":">=1.0.0"}
license
MIT
metadata.author
rand
metadata.version
4.0

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

© rand, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in skills/discover-systems-theory of rand/cc-polymath.

Open the folder on GitHubat commit baa2df1

Compare with similar skills

Discover Systems Theory next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Discover Systems Theory compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Discover Systems Theory this skillrand/cc-polymath181—~812Automated safety check: PassMIT
Agent BuildershareAI-lab/learn-claude-code78k5 repos~1.2kAutomated safety check: PassMIT
Add Uint Supportpytorch/pytorch104k2 repos~2.3kAutomated safety check: PassCustom licence
LLM Benchmarking with lm-evaluation-harnessOrchestra-Research/AI-Research-SKILLs13k8 repos~3kAutomated safety check: PassMIT
Segment Anything Model GuideOrchestra-Research/AI-Research-SKILLs13k8 repos~3.3kAutomated safety check: PassMIT
1passwordtrpc-group/trpc-agent-go1.9k14 repos~656Automated safety check: PassApache-2.0

Similar skills

  • Agent Builder

    shareAI-lab/learn-claude-code

    Design and build AI agents for any domain. An agent skill from shareAI-lab/learn-claude-code.

    78k GitHub starsUsed in 5 repos~1.2k tokens
    AI & LLM EngineeringAuto-check passed

  • Add Uint Support

    pytorch/pytorch

    Add unsigned integer (uint) type support to PyTorch operators by updating ATDISPATCH macros.

    104k GitHub starsUsed in 2 repos~2.3k tokens
    AI & LLM EngineeringAuto-check passed

  • LLM Benchmarking with lm-evaluation-harness

    Orchestra-Research/AI-Research-SKILLs

    Runs lm-evaluation-harness to benchmark language models on academic suites such as MMLU, GSM8K and HumanEval, compare models and track training checkpoints.

    13k GitHub starsUsed in 8 repos~3k tokens
    AI & LLM EngineeringAuto-check passed

  • Segment Anything Model Guide

    Orchestra-Research/AI-Research-SKILLs

    Guide to using Meta's Segment Anything Model for zero-shot image segmentation with point, box or mask prompts, or automatic mask generation.

    13k GitHub starsUsed in 8 repos~3.3k tokens
    AI & LLM EngineeringAuto-check passed

  • 1password

    trpc-group/trpc-agent-go

    Set up and use 1Password CLI (op). An agent skill from trpc-group/trpc-agent-go.

    1.9k GitHub starsUsed in 14 repos~656 tokens
    AI & LLM EngineeringAuto-check passed

  • Planning With Files

    jarrodwatts/claude-code-config

    Transforms workflow to use Manus-style persistent markdown files for planning, progress tracking, and knowledge storage.

    1.1k GitHub starsUsed in 5 repos~967 tokens
    AI & LLM EngineeringAuto-check passed

More from rand/cc-polymath

All 26 skills in this repo

  • 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.

    181 GitHub stars~2.9k tokensUpdated 7 mo ago
    Auto-check passed

  • Typed Holes Refactor

    rand/cc-polymath

    Refactor codebases using Design by Typed Holes methodology - iterative, test-driven refactoring with formal hole resolution, constraint propagation, and continuous validation.

    181 GitHub stars~5.6k tokensUpdated 7 mo ago
    Auto-check passed

  • Elegant Design

    rand/cc-polymath

    Create world-class, accessible, responsive interfaces with sophisticated interactive elements including chat, terminals, code display, and streaming content.

    181 GitHub stars~2.7k tokensUpdated 7 mo ago
    Auto-check passed

  • Discover Agentic

    rand/cc-polymath

    Automatically discover agentic workflow skills when building AI agents, implementing tool use patterns, managing context windows, decomposing complex tasks, or designing multi-step autonomous…

    181 GitHub stars~1.4k tokensUpdated 7 mo ago
    Auto-check passed

  • Discover API

    rand/cc-polymath

    Automatically discover API design skills when working with REST APIs, GraphQL schemas, API authentication, OAuth, JWT, rate limiting, API versioning, error handling, or endpoint design.

    181 GitHub stars~1.5k tokensUpdated 7 mo ago
    Auto-check passed

  • Discover Database

    rand/cc-polymath

    Automatically discover database skills when working with SQL, PostgreSQL, MongoDB, Redis, database schema design, query optimization, migrations, connection pooling, ORMs, or database selection.

    181 GitHub stars~2k tokensUpdated 7 mo ago
    Auto-check passed

Categories

Questions about Discover Systems Theory

What does Discover Systems Theory 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…. Discover Systems Theory is an agent skill from rand/cc-polymath.

When should I use Discover Systems Theory?

Discover Systems Theory fits situations like: AI & LLM Engineering work in your project.

How do I install Discover Systems Theory in Claude Code?

Run `npx skills add rand/cc-polymath --skill discover-systems-theory -a claude-code`. Or copy the skill folder (skills/discover-systems-theory in rand/cc-polymath) into .claude/skills/discover-systems-theory in your project. Claude Code loads it when a task matches its description.

How do I install Discover Systems Theory in Codex?

Run `npx skills add rand/cc-polymath --skill discover-systems-theory -a codex`. Or copy the skill folder (skills/discover-systems-theory in rand/cc-polymath) into .agents/skills/discover-systems-theory in your project. Codex loads it when a task matches its description.

Can I use Discover Systems Theory in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add rand/cc-polymath --skill discover-systems-theory -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/discover-systems-theory, .gemini/skills/discover-systems-theory, .github/skills/discover-systems-theory and .opencode/skills/discover-systems-theory in your project.

What does Discover Systems Theory need to run?

SKILL.md names no scripts, command-line tools or credentials: Discover Systems Theory is instructions for the agent only. Compatibility (from SKILL.md): {"claude-code":">=1.0.0"}.

Does Discover Systems Theory access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Discover Systems Theory safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Discover Systems Theory use?

Discover Systems Theory is published under the MIT licence (declared in SKILL.md). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Discover Systems Theory use?

About 812 tokens (SKILL.md is roughly 3.2k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Discover Systems Theory?

Skills that share tags, products or a category with Discover Systems Theory: Agent Builder (shareAI-lab/learn-claude-code, 78k stars), Add Uint Support (pytorch/pytorch, 104k stars), LLM Benchmarking with lm-evaluation-harness (Orchestra-Research/AI-Research-SKILLs, 13k stars) and Segment Anything Model Guide (Orchestra-Research/AI-Research-SKILLs, 13k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Discover Systems Theory?

rand (a GitHub user) maintains it in rand/cc-polymath, which has 181 GitHub stars. The repository holds 26 skills in this directory. The repository was last updated on February 28, 2026.

Source: rand/cc-polymath on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.