Token导航 LogoToken导航TokenDH.com
中转站排行榜
研究检索需要联网github未标认证来源可访问许可证需确认审计通过

discover-systems-theory（发现系统理论）

Agent Skill

discover-systems-theory 用于查找、检索和筛选相关信息，适合在 Codex、Claude、Cursor、Gemini CLI 中需要根据关键词、任务场景或来源线索快速定位候选结果时使用。可结合来源仓库、安装命令和原始 README 继续核验具体用法。安装前建议确认权限范围、维护状态，以及是否会触发联网、命令执行或文件读写。

总安装

233

周安装

10

GitHub Stars

101

下载量

82
CodexClaudeCursorGemini CLI

安装说明

本站只整理中文说明和来源信息，不托管安装包，也不代用户安装。

GitHub

来源数

2

许可证

unknown

最后核验

2026-05-01

来源状态

来源可访问

安装方式

通过对话安装

复制提示词发给支持本地命令或 Skills 的 AI 助手，先确认命令和权限，再让它执行。

请帮我安装这个 Agent Skill：discover-systems-theory（发现系统理论）
来源仓库：https://github.com/rand/cc-polymath
仓库路径：skills/discover-systems-theory
安装命令：
npx skills add https://github.com/rand/cc-polymath --skill discover-systems-theory
安装前请先检查当前环境是否支持对应 CLI，并向我确认将要执行的命令、安装目录、联网范围和文件读写权限；确认后再执行。

命令行安装

复制命令到本机终端执行。该命令会通过 npx skills 从第三方来源获取 Skill；本站只展示命令，不托管安装包，也不自动执行。

skills.shnpx skills
npx skills add https://github.com/rand/cc-polymath --skill discover-systems-theory

简介

discover-systems-theory 用于查找、检索和筛选相关信息，适合在 Codex、Claude、Cursor、Gemini CLI 中需要根据关键词或任务场景快速定位候选结果时使用。

  • 它可自动激活于 eBPF 内核追踪、XDP、kprobes、编程语言设计、类型系统、形式化验证及 SAT/SMT 求解器等系统级理论场景。
  • 使用时建议结合来源仓库和原始 README 核验具体用法，并确认是否涉及联网、命令执行或文件读写操作。
  • 安装前请检查权限范围、维护状态及潜在的资源访问行为，确保符合项目安全策略。
  • 适用宿主包括 Codex、Claude、Cursor、Gemini CLI，接入前应确认版本、权限和运行环境要求。

SKILL.md

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

适合场景

01

用户想查找某类 Agent Skill 时

02

需要根据任务场景推荐可安装能力包时

03

需要对比不同来源的安装命令和来源信息时

能力概览

能力 1

按任务关键词查找相关 Skills

能力 2

展示可复制的安装命令

能力 3

保留来源站点、仓库和原始说明，方便继续核验

能力 4

展示第三方安全扫描或审计结果

安装后应在对应宿主中按原始 README 的触发条件使用；具体调用方式请以来源页面和 README 为准。

平台分布

Codex

36.28%
按下载量换算30

Claude

31.84%
按下载量换算26

Cursor

19.52%
按下载量换算16

Gemini CLI

9.62%
按下载量换算8

安全审计

Gen Agent Trust Hub

通过

Socket

通过

Snyk

通过

权限和风险

需要联网

该 Skill 可能需要联网访问来源站点、仓库或外部 API；具体网络访问范围需要结合源码和 README 复核。

安装前确认

本站仅展示第三方公开信息，不托管安装包，不提供自动安装或运行环境。安装前应自行审查源码、依赖和命令行为。当前只有一个来源，正式发布前建议补源仓库或其他目录站核验。

来源信息

GitHub 仓库

github.com

/rand/cc-polymath

SKILL.md 来源

github.com

/rand/cc-polymath/tree/main/skills/discover-systems-theory

skills-sh

skills.sh

/rand/cc-polymath/discover-systems-theory

继续浏览同类 Skills

更多研究检索 Skills（73,675）返回 Skills 目录

上一个 Skill

discover-stakeholder-summary（发现利益相关者摘要）

discover-stakeholder-summary 用于查找、检索和筛选相关信息，适合在 Codex、Claude、Cursor、Gemini CLI 中需要根据关键词、任务场景或来源线索快速定位候选结果时使用。可结合来源仓库、安装命令和原始 README 继续核验具体用法。安装前建议确认权限范围、维护状态，以及是否会触发联网、命令执行或文件读写。

下一个 Skill

discover-tasks（发现任务）

discover-tasks 用于查找、检索和筛选相关信息，适合在 Codex、Claude、Cursor、Gemini CLI 中需要根据关键词、任务场景或来源线索快速定位候选结果时使用。可结合来源仓库、安装命令和原始 README 继续核验具体用法。安装前建议确认权限范围、维护状态，以及是否会触发联网、命令执行或文件读写。