Expert-level mathematical logic knowledge. Use when working with propositional logic, first-order logic, proof theory, model theory, computability theory, Godel incompleteness theorems, set theory, type theory, or formal verification. Also use when the user mentions 'formal proof', 'Godel', 'incompleteness', 'Turing machine', 'decidability', 'Zermelo-Fraenkel', 'axiom of choice', 'model theory', 'completeness theorem', 'computability', 'formal language', or 'type theory'.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
luokai0/ai-agent-skills-by-luo-kai☆ 132026년 5월 6일 업데이트
Use when building the theoretical engine of an Accounting, Organizations and Society (AOS) manuscript — choosing a social/organizational theory tradition (institutional theory, governmentality, Bourdieu, actor-network theory, practice theory, psychological process theory) and making it generate the analysis rather than decorate it. Builds the lens; it does not collect data (aos-methods) or frame the contribution (aos-contribution-framing).
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
brycewang-stanford/Awesome-Journal-Skills☆ 1.3천2026년 9월 27일 업데이트
Write focused C# unit tests with XUnit, including tests that run against multiple input datasets. Apply consistent naming, setup, assertions, shared fixtures, and mock dependencies to keep tests readable, independent, and organized.
한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.
- Set up an XUnit test project for C#
- Test multiple input cases with Theory and data attributes
- Check exceptions and isolate dependencies with mocks
github/awesome-copilot☆ 4만2026년 10월 17일 업데이트
"Apply Grounded Theory (Glaser and Strauss) to build theory inductively from qualitative data through open, axial, and selective coding. Use this skill when the user needs to develop new theory from data rather than test existing hypotheses, conduct theoretical sampling and constant comparison, determine when theoretical saturation is reached, or when they ask 'what theory explains this phenomenon', 'how do I code qualitative data systematically', or 'when do I stop collecting data'.".
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
charlieviettq/awesome-agent-skill☆ 262026년 7월 20일 업데이트
Expert in visualizing and explaining braid theory, knot mathematics, and topological concepts for educational purposes. Use for creating interactive visualizations, explainer cards, step-wise animations, and translating abstract algebra into intuitive understanding. Activate on keywords: braid theory, knot visualization, σ notation, crossing diagrams, Yang-Baxter, topological education. NOT for general math tutoring, pure knot invariant computation, or non-educational knot theory research.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
curiositech/windags-skills☆ 162026년 10월 14일 업데이트
Turn scattered research equations and notes into a structured derivation document. Clarify the target, assumptions, and notation; distinguish exact steps from approximations and interpretations; and report missing conditions or logical gaps when the derivation cannot be supported.
한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.
- Organize scattered equations into a coherent derivation
- Choose the central quantity for a theory
- Separate exact steps, approximations, and interpretations
wanshuiyin/Auto-claude-code-research-in-sleep☆ 1.8만2026년 10월 17일 업데이트
World-class color theory expertise combining the scientific precision of Josef Albers' "Interaction of Color," the systematic thinking of color systems from Pantone and RAL, and the perceptual psychology insights from researchers like Bevil Conway. Color is not just aesthetics - it's communication, emotion, and usability compressed into wavelengths. Great color work is invisible when done right. Users don't notice "nice colors" - they notice when they can't read text, when buttons don't look clickable, when errors don't feel urgent, or when the interface feels "off" without knowing why. Color theory is the science of making the right thing feel obvious. Use when "color theory, color palette, color scheme, color harmony, complementary colors, analogous colors, contrast ratio, dark mode colors, light mode, color tokens, semantic colors, color accessibility, color blindness, color psychology, color system, brand colors, data visualization colors, color, design, accessibility, contrast, dark-mode, theming, tokens, wcag, palette, harmony" mentioned.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
omer-metin/skills-for-antigravity☆ 1682026년 1월 22일 업데이트
"Habitual Domain (HD) theory by Taiwanese scholar P.L. Yu (游伯龍, 1977) — integrates four domains (potential/actual/reachable/activated), eight general hypotheses, seven-layer decision structure, and nine HD-expansion tools to analyze decision blind spots, break cognitive inertia, and support cross-domain integration. Use for diagnosing why alternatives are invisible, decision paralysis, breaking cognitive frames, or explaining perception gaps between people. Triggers: 『思維框架』『打破盲點』『創新思考』『決策盲區』『跨域整合』『游伯龍』『習慣領域』『HD 理論』『七層決策』『四領域』『八大通性』『P.L. Yu』. Especially for NYCU EMBA HD course, 政大科管所, 中山企管系 decision-analysis/innovation/leadership courses. Taiwan-origin theory cited in J. Optimization Theory, Theory & Decision, Human Systems Management.".
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
charlieviettq/awesome-agent-skill☆ 262026년 7월 20일 업데이트
Expert-level abstract algebra knowledge. Use when working with groups, rings, fields, modules, Galois theory, representation theory, or algebraic structures. Also use when the user mentions 'group', 'ring', 'field', 'homomorphism', 'isomorphism', 'normal subgroup', 'quotient group', 'Sylow theorem', 'Galois theory', 'polynomial ring', 'ideal', 'module', 'vector space', or 'representation theory'.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
luokai0/ai-agent-skills-by-luo-kai☆ 132026년 5월 6일 업데이트
Structured Domain Modeling Architecture (SDMA) principles. Trigger when: - Designing domain models, building ologs (ontological graphs), verifying protocol equivalence, selecting schemas, or measuring architectural entropy. - Modeling structures using Category Theory, Coalgebra, or Information Theory. - Prompt contains keywords: sdma, olog, Category Theory, Coalgebra, Information Theory, entropy, schema, pullback, functor, monad.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
nrdxp/predicate☆ 102026년 9월 1일 업데이트
Supports palette creation and contrast checks using color science references. It also covers color naming, pigment mixing, and historical color theory, helping you explore color choices for design and creative work.
한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.
- Creating a palette for a design
- Checking text and background contrast
- Choosing names for colors
nexu-io/open-design☆ 10.3만2026년 10월 19일 업데이트
Generate, continue, revise, polish, and stress-test game theory research papers. Use when the user provides a game theory topic, phenomenon, draft, outline, model idea, literature anchor, reviewer comments, or asks for 博弈论论文生成, 选题建模, 文献迁移, 模型修正, 均衡分析, 数值模拟, 论文润色, 改稿打磨, or R&R response work.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
brycewang-stanford/Auto-Empirical-Research-Skills☆ 4.7천2026년 10월 15일 업데이트
Problem-solving strategies for integration theory in measure theory
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
parcadei/Continuous-Claude-v3☆ 3.9천2026년 1월 27일 업데이트
Use when situating an Accounting, Organizations and Society (AOS) manuscript in the literature — entering one of the journal's own long-running conversations, engaging the interdisciplinary sources (organization theory, sociology, psychology) those conversations draw on, and marking precisely what the paper adds. Positions the argument; it does not build the theory itself (aos-theory-development).
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
brycewang-stanford/Awesome-Journal-Skills☆ 1.3천2026년 9월 27일 업데이트
Use when writing the response document for an Academy of Management Review (AMR) Revise & Resubmit — structuring point-by-point replies that show the theory was genuinely strengthened, not just defended. Drafts the response; revise the manuscript's theory FIRST (amr-theory-development / amr-data-analysis) before writing the letter.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
brycewang-stanford/Awesome-Journal-Skills☆ 1.3천2026년 9월 27일 업데이트
Use when building the actual theory for an Academy of Management Review (AMR) manuscript — turning a positioned puzzle into defined constructs, explicit relationships, propositions, and boundary conditions. Constructs the theory; it does NOT stress-test the argument's logic (that is amr-data-analysis) or design any data collection (AMR has none).
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
brycewang-stanford/Awesome-Journal-Skills☆ 1.3천2026년 9월 27일 업데이트
Use when turning results into an explicit theoretical contribution for an Academy of Management Journal (AMJ) manuscript — the "what new theory do we learn?" statement and the discussion section. Frames the contribution and implications; it does not build the original theory (amj-theory-development) or run the analysis (amj-data-analysis).
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
brycewang-stanford/Awesome-Journal-Skills☆ 1.3천2026년 9월 27일 업데이트
Use when scoping or sanity-checking a research question for an Academy of Management Journal (AMJ) manuscript — fit, theory-drivenness, and feasibility. Decides whether the idea can earn a theoretical contribution; it does not build the theory itself (use amj-theory-development) or position the literature (amj-literature-positioning).
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
brycewang-stanford/Awesome-Journal-Skills☆ 1.3천2026년 9월 27일 업데이트
Use when articulating and differentiating the theoretical contribution of an Academy of Management Review (AMR) manuscript — showing precisely what is NEW versus prior theory and why it matters. Frames the contribution; it does NOT build the theory (amr-theory-development) or check its internal logic (amr-data-analysis).
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
brycewang-stanford/Awesome-Journal-Skills☆ 1.3천2026년 9월 27일 업데이트
Design a variation theory task using contrast, separation, and fusion to teach critical features of a concept. Use when students confuse similar concepts or fail to discern key distinctions.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
GarethManning/education-agent-skills☆ 8802026년 8월 29일 업데이트
中医诊疗 — 中医临床医师的认知操作系统 (经典理论 阴阳五行脏腑气血经络六经卫气营血三焦 + 四诊八纲 + 治法 + 方剂学 经方时方 + 中药学 四气五味归经炮制 + 针灸学 经络穴位手法灸法 + 推拿按摩 + 中医各科 内外妇儿骨伤皮肤眼耳鼻喉肛肠老年急症 + 中西医结合 + 循证中医 + NATCM 监管 + 中医诊所备案 + 国家级名老中医 学术继承人 — 不含 道家修炼 / 风水算命 / 中医养生科普 / 中医美容 / 民族医学藏蒙维傣) (Traditional Chinese Medicine (TCM) clinical practice — the cognitive operating system of practicing TCM physicians covering (a) 经典理论 (阴阳/五行/脏腑/气血津液/经络/六淫/七情/六经/卫气营血/三焦) classical theory, (b) 四诊 (望闻问切) clinical observation/inquiry/pulse + 八纲 (阴阳/表里/寒热/虚实) syndrome differentiation, (c) 治法 (汗吐下和温清消补 + 扶正祛邪) therapeutic principles, (d) 方剂学 (经方 时方 验方) formula science, (e) 中药学 (四气五味/归经/七情/炮制/配伍禁忌) materia medica, (f) 针灸学 (经络穴位/手法/灸法/电针) acupuncture+moxibustion, (g) 推拿按摩 tuina massage, (h) 中医各科 (内/外/妇/儿/骨伤/皮肤/眼/耳鼻喉/肛肠/老年/急症) clinical specialties, (i) 中西医结合 integrative medicine, (j) 循证中医 + 临床流行病学 evidence-based TCM + 现代研究, (k) 中医诊所备案 / 中医师资格 / NATCM 监管 / 药典 / GMP regulatory framework, (l) 国家级名老中医 学术继承人 项目 transmission program; NOT 道家修炼 / 风水 / 算命八字 (那是 玄学不是 中医), NOT 中医养生科普 (是 衍生 不是 临床主体), NOT 中医美容 (是 商业化分支), NOT 民族医学 (藏蒙维傣 是 平行体系 不在本 skill 主线 — 仅作 边界标注).) Master OS — automated mastery of Traditional Chinese Medicine (TCM) clinical practice — the cognitive operating system of practicing TCM physicians covering (a) 经典理论 (阴阳/五行/脏腑/气血津液/经络/六淫/七情/六经/卫气营血/三焦) classical theory, (b) 四诊 (望闻问切) clinical observation/inquiry/pulse + 八纲 (阴阳/表里/寒热/虚实) syndrome differentiation, (c) 治法 (汗吐下和温清消补 + 扶正祛邪) therapeutic principles, (d) 方剂学 (经方 时方 验方) formula science, (e) 中药学 (四气五味/归经/七情/炮制/配伍禁忌) materia medica, (f) 针灸学 (经络穴位/手法/灸法/电针) acupuncture+moxibustion, (g) 推拿按摩 tuina massage, (h) 中医各科 (内/外/妇/儿/骨伤/皮肤/眼/耳鼻喉/肛肠/老年/急症) clinical specialties, (i) 中西医结合 integrative medicine, (j) 循证中医 + 临床流行病学 evidence-based TCM + 现代研究, (k) 中医诊所备案 / 中医师资格 / NATCM 监管 / 药典 / GMP regulatory framework, (l) 国家级名老中医 学术继承人 项目 transmission program; NOT 道家修炼 / 风水 / 算命八字 (那是 玄学不是 中医), NOT 中医养生科普 (是 衍生 不是 临床主体), NOT 中医美容 (是 商业化分支), NOT 民族医学 (藏蒙维傣 是 平行体系 不在本 skill 主线 — 仅作 边界标注).: top builders' mental models, tool stack, current workflows, jargon, and where to keep up. Trigger this skill when the user works on Traditional Chinese Medicine (TCM) clinical practice — the cognitive operating system of practicing TCM physicians covering (a) 经典理论 (阴阳/五行/脏腑/气血津液/经络/六淫/七情/六经/卫气营血/三焦) classical theory, (b) 四诊 (望闻问切) clinical observation/inquiry/pulse + 八纲 (阴阳/表里/寒热/虚实) syndrome differentiation, (c) 治法 (汗吐下和温清消补 + 扶正祛邪) therapeutic principles, (d) 方剂学 (经方 时方 验方) formula science, (e) 中药学 (四气五味/归经/七情/炮制/配伍禁忌) materia medica, (f) 针灸学 (经络穴位/手法/灸法/电针) acupuncture+moxibustion, (g) 推拿按摩 tuina massage, (h) 中医各科 (内/外/妇/儿/骨伤/皮肤/眼/耳鼻喉/肛肠/老年/急症) clinical specialties, (i) 中西医结合 integrative medicine, (j) 循证中医 + 临床流行病学 evidence-based TCM + 现代研究, (k) 中医诊所备案 / 中医师资格 / NATCM 监管 / 药典 / GMP regulatory framework, (l) 国家级名老中医 学术继承人 项目 transmission program; NOT 道家修炼 / 风水 / 算命八字 (那是 玄学不是 中医), NOT 中医养生科普 (是 衍生 不是 临床主体), NOT 中医美容 (是 商业化分支), NOT 民族医学 (藏蒙维傣 是 平行体系 不在本 skill 主线 — 仅作 边界标注). problems and wants industry-grade thinking, tool selection, or workflow guidance. 触发词:「中医」「中医学」「中医药」「中医诊疗」「中医临床」
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
swaylq/master-skill☆ 1622026년 9월 6일 업데이트
Design a variation theory task using contrast, separation, and fusion to teach critical features of a concept. Use when students confuse similar concepts or fail to discern key distinctions.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
nota-america/forgecat-agent-profiles☆ 922026년 9월 24일 업데이트
Systematic departures from rational choice theory and their implications for economic analysis and policy. Covers cognitive heuristics (anchoring, availability, representativeness), biases (loss aversion, status quo, overconfidence), prospect theory (reference dependence, probability weighting, diminishing sensitivity), nudge theory and choice architecture, and the integration of psychological findings into economic models. Use when analyzing decision-making under uncertainty, evaluating policy interventions that exploit behavioral patterns, or assessing where standard rational-agent models break down.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Tibsfox/gsd-skill-creator☆ 712026년 7월 20일 업데이트
Advanced matrix theory expert covering spectral theory, matrix factorizations, and numerical linear algebra
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
sandraschi/advanced-memory-mcp☆ 202026년 10월 13일 업데이트