Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx agentmods add skills/rand/cc-polymath/discover-systems-theorynpx skills add rand/cc-polymath --skill discover-systems-theorygit clone --depth 1 https://github.com/rand/cc-polymathWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/skills/rand/cc-polymath/discover-systems-theory)<a href="https://agentmods.dev/skills/rand/cc-polymath/discover-systems-theory"><img src="https://agentmods.dev/badge/skills/rand/cc-polymath/discover-systems-theory.svg" alt="Measured on agentmods" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00045 | $0.00861 |
| Opus 5 | $0.00023 | $0.00430 |
| Sonnet 5 | $0.00009 | $0.00172 |
| Haiku 4.5 | $0.00005 | $0.00086 |
Grade A, and why
discover-systems-theory scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 6d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
How it starts
The opening of the file, as written. The whole thing — 75 lines — stays where its author put it; the contents beside it link to each section on GitHub.
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
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 6d ago First seen · 75 lines · 45 tokens per session scan A 5e1afdaa0a46
discover-systems-theory is a skill published in the GitHub repository rand/cc-polymath (161 stars, last pushed 6mo ago), licensed MIT. It adds 45 tokens to every session and 861 once invoked, about $0.0002 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.
Other skills, from other repositories
math-olympiad
Solve competition math problems (IMO, Putnam, USAMO, AIME) with adversarial verification that catches the errors self-verification misses. Activates when asked to 'solve this IMO problem', 'prove this olympiad inequality', 'verify this competition proof', 'find a counterexample', 'is this proof correct', or for any…
google-agents-cli-onboarding
Onboarding entrypoint for agents-cli in Agent Platform. It should be used when the user wants to "create a new agent", "develop an agent", "build an agent using ADK", "run the agent locally", "debug agent code", "test an agent", "evaluate an agent", "deploy an agent", "publish an agent", "monitor an agent", or needs…
edu-math-tutorial
数学题分步讲解视频的领域知识。适用场景：(1) 用户给出一道数学题并要求做讲解/ 解题视频；(2) 用户说"讲解这道题"、"生成解题视频"、"make a math tutorial"； (3) 需要中文数学教学视频，涉及方程、公式或几何图形。本 skill 只提供领域 知识（题目拆解、讲解节奏、旁白文案规范、版式与 KaTeX 排版风格）；画面、 配音与成片一律用 Creator 原生 Element 与工具从源头构建。.
offensive-vuln-classes
Exploit development curriculum covering core vulnerability classes with real-world CVE case studies: stack/heap buffer overflows, use-after-free, integer overflows, format strings, type confusion, and race conditions. Use when learning or teaching vuln classes, researching specific CVE patterns, or building exploit…
practice-cognition
触发：当你提出了方案、假设或判断，需要通过实践验证、试错迭代或复盘升级认知时调用；常见信号包括 experiment、prototype、validate、iterate、feedback loop。 English: Trigger when an idea, hypothesis, or plan must be tested in practice and improved through iteration. Use this skill to move from action to understanding and back to action in a spiral learning loop.
offensive-exploit-dev-course
Full exploit development course roadmap and syllabus: weekly topics, recommended reading, lab setup, and learning path from vulnerability classes through advanced exploitation. Use to structure exploit dev training or onboard new researchers.