visual-design-foundations
Apply typography, color theory, spacing systems, and iconography principles to create cohesive visual designs. Use when establishing design tokens, building style guides, or improving visual hierarchy and consistency.
sympy
Use this skill when working with symbolic mathematics in Python. This skill should be used for symbolic computation tasks including solving equations algebraically, performing calculus operations (derivatives, integrals, limits), manipulating algebraic expressions, working with matrices symbolically, physics calculations, number theory problems, geometry computations, and generating executable code from mathematical expressions. Apply this skill when the user needs exact symbolic results rather than numerical approximations, or when working with mathematical formulas that contain variables and parameters.
qutip
Quantum mechanics simulations and analysis using QuTiP (Quantum Toolbox in Python). Use when working with quantum systems including: (1) quantum states (kets, bras, density matrices), (2) quantum operators and gates, (3) time evolution and dynamics (Schrödinger, master equations, Monte Carlo), (4) open quantum systems with dissipation, (5) quantum measurements and entanglement, (6) visualization (Bloch sphere, Wigner functions), (7) steady states and correlation functions, or (8) advanced methods (Floquet theory, HEOM, stochastic solvers). Handles both closed and open quantum systems across various domains including quantum optics, quantum computing, and condensed matter physics.
sympy
Use this skill when working with symbolic mathematics in Python. This skill should be used for symbolic computation tasks including solving equations algebraically, performing calculus operations (derivatives, integrals, limits), manipulating algebraic expressions, working with matrices symbolically, physics calculations, number theory problems, geometry computations, and generating executable code from mathematical expressions. Apply this skill when the user needs exact symbolic results rather than numerical approximations, or when working with mathematical formulas that contain variables and parameters.
data-visualization
Create effective data visualizations with Python (matplotlib, seaborn, plotly). Use when building charts, choosing the right chart type for a dataset, creating publication-quality figures, or applying design principles like accessibility and color theory.
entropy
Problem-solving strategies for entropy in information theory
operator-theory
Problem-solving strategies for operator theory in functional analysis
graph-algorithms
Problem-solving strategies for graph algorithms in graph number theory
limits-colimits
Problem-solving strategies for limits and colimits in category theory
natural-transformations
Problem-solving strategies for natural transformations in category theory
source-coding
Problem-solving strategies for source coding in information theory
integration-theory
Problem-solving strategies for integration theory in measure theory
categories-functors
Problem-solving strategies for categories functors in category theory
sigma-algebras
Problem-solving strategies for sigma algebras in measure theory
modular-arithmetic
Problem-solving strategies for modular arithmetic in graph number theory
skill-upgrader
Upgrade any skill to v5 Hybrid format using decision theory + modal logic
channel-capacity
Problem-solving strategies for channel capacity in information theory
proof-theory
Problem-solving strategies for proof theory in mathematical logic
prime-numbers
Problem-solving strategies for prime numbers in graph number theory
lebesgue-measure
Problem-solving strategies for Lebesgue measure in measure theory
Backend Testing
Backend testing with xUnit, Foundatio.Xunit, integration tests with AppWebHostFactory, FluentClient, ProxyTimeProvider for time manipulation, and test data builders. Keywords: xUnit, Fact, Theory, integration tests, AppWebHostFactory, FluentClient, ProxyTimeProvider, TimeProvider, Foundatio.Xunit, TestWithLoggingBase, test data builders
aesthetic
Create aesthetically beautiful interfaces following proven design principles. Use when building UI/UX, analyzing designs from inspiration sites, generating design images with ai-multimodal, implementing visual hierarchy and color theory, adding micro-interactions, or creating design documentation. Includes workflows for capturing and analyzing inspiration screenshots with chrome-devtools and ai-multimodal, iterative design image generation until aesthetic standards are met, and comprehensive design system guidance covering BEAUTIFUL (aesthetic principles), RIGHT (functionality/accessibility), SATISFYING (micro-interactions), and PEAK (storytelling) stages. Integrates with chrome-devtools, ai-multimodal, media-processing, ui-styling, and web-frameworks skills.
game-theory
Advanced game theory analysis for crypto protocols, DeFi mechanisms, governance systems, and strategic decision-making. Use when analyzing tokenomics, evaluating protocol incentives, predicting adversarial behavior, designing mechanisms, or understanding strategic interactions in web3.
skill-from-masters
Create high-quality skills using real-world cases. First find golden (successful) cases and failure cases, summarize what works and what doesn't, and then use theory to explain why. Skills are for doing work — they should be learned from practice, not from books. Trigger phrases: "Help me create a skill", "I want to make a skill to..."
math-tools
Deterministic mathematical computation using SymPy. Use for ANY math operation requiring exact/verified results - basic arithmetic, algebra (simplify, expand, factor, solve equations), calculus (derivatives, integrals, limits, series), linear algebra (matrices, determinants, eigenvalues), trigonometry, number theory (primes, GCD/LCM, factorization), and statistics. Ensures mathematical accuracy by using symbolic computation rather than LLM estimation.
sympy
Use this skill when working with symbolic mathematics in Python. This skill should be used for symbolic computation tasks including solving equations algebraically, performing calculus operations (derivatives, integrals, limits), manipulating algebraic expressions, working with matrices symbolically, physics calculations, number theory problems, geometry computations, and generating executable code from mathematical expressions. Apply this skill when the user needs exact symbolic results rather than numerical approximations, or when working with mathematical formulas that contain variables and parameters.
perf-theory-gatherer
Use when generating performance hypotheses backed by git history and code evidence.
perf-theory-tester
Use when running controlled perf experiments to validate hypotheses.
probabilistic-analysis-toolkit
Analyze randomized algorithms with probability theory tools and concentration inequalities
capacity-constraint-analyzer
Production capacity analysis skill using Theory of Constraints principles
qualitative-analysis
Conduct systematic qualitative data analysis using grounded theory, thematic analysis, and content analysis with NVivo or Atlas.ti
critical-theory-application
Apply theoretical frameworks (postcolonial, feminist, Marxist, post-structuralist) to cultural texts and phenomena
Type Theory
Expert skill in type theory foundations for implementing type systems including inference, checking, and subtyping
queuing-analyzer
Queuing theory analysis tool for analytically evaluating waiting-line systems.
number-theory-toolkit
Provide number theory algorithm implementations and guidance
decision-tree-analyzer
Decision tree analysis skill with expected value, risk analysis, and utility theory.
latex-econ-model
Write and typeset economic models in LaTeX with proper notation
general-equilibrium-model-builder
Build and solve Walrasian general equilibrium models with theory derivations and Julia computation
jtbd-building
Builds features based on Jobs-to-be-Done theory using Bob Moesta's frameworks. Use when designing features, identifying customer jobs, understanding push/pull forces, or uncovering hidden needs beyond stated feature requests.
jobs-to-be-done
Strategic framework for discovering and designing product innovations based on Clayton Christensen's Jobs to Be Done (JTBD) theory from "Competing Against Luck". Use when you need to: (1) understand customers' true motivations, (2) design a new product or feature, (3) conduct customer discovery interviews, (4) analyze competition through the "jobs" lens, (5) diagnose why a product isn't selling or customers are churning, (6) create positioning strategy, (7) build a jobs-oriented organization.
cognitive-load
Design experiences that optimize mental resources using Cognitive Load Theory. Use when designing interfaces, creating onboarding flows, planning information architecture, or improving task completion rates.
jobs-to-be-done
Understand customer motivations through job theory. Use when defining product strategy, conducting user research, identifying competitors, writing user stories, or reframing features around customer progress.
game-theory-tit-for-tat
Apply Tit for Tat strategy for negotiations, relationships, and repeated interactions. Use when navigating workplace dynamics, building partnerships, handling conflicts, or designing systems with reciprocal interactions.
book-illustrator
Expert children's book illustrator guide with 2024-2025 best practices, focusing on age-appropriate styles, color theory, character design, and visual storytelling for kids books that captivate young readers.
discover-plt
Automatically discover programming language theory skills when working with compilers, parsers, type systems, interpreters, grammars, language design, type theory, or abstract syntax tree. Activates for PLT development tasks.
discover-math
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.
data-visualization
Data visualization with chart selection, color theory, and annotation best practices. Covers chart types (bar, line, scatter, heatmap), axes rules, and storytelling with data. Use for: charts, graphs, dashboards, reports, presentations, infographics, data stories. Triggers: data visualization, chart, graph, data chart, bar chart, line chart, scatter plot, data viz, visualization, dashboard chart, infographic data, data presentation, chart design, plot, heatmap, pie chart alternative
Reality Testing
Reality is the ultimate judge. Use when need to ground insights in experience, test if it actually works, or validate through results not theory.