mobile
70
state-management
State Management - React Query, Zustand, MMKV. Use when managing application state.
TheBeardedBearSAS
development
sorting
stars
current ordering strategy
query
all entries
refine the visible subset
frontend
70
navigation
Navegação - Expo Router. Use when implementing navigation.
TheBeardedBearSAS
development
frontend
70
navigation
Navegación - Expo Router. Use when implementing navigation.
TheBeardedBearSAS
development
full-stack
70
sveltekit-remote-functions
SvelteKit remote functions guidance. Use for command(), query(), form() patterns in .remote.ts files.
spences10
development
package-distribution
70
venv-manager
Create, manage, and validate Python virtual environments. Use for project isolation and dependency management.
jmagly
development
full-stack
70
aptos-dapp-integration
Expert on building Aptos dApps with frontend integration. Covers wallet connectivity (Petra, Martian, Pontem), wallet adapter patterns, TypeScript SDK, transaction building and submission, account management, and React/Next.js integration.
raintree-technology
development
ecommerce-development
70
whop
Whop platform expert for digital products, memberships, and community monetization. Covers memberships API, payments, courses, forums, webhooks, OAuth apps, and checkout integration. Build SaaS, course platforms, and gated communities. Triggers on Whop, memberships, digital products, course platform, community monetization, Whop API, license keys.
raintree-technology
development
full-stack
70
frontend-design
Create distinctive, production-grade frontend interfaces with high design quality. Activate when user needs: "生成网页/创建网页/设计界面/前端设计/UI设计/网页制作/交互式网页". Output: Interactive HTML/CSS/React (web UI, components, dashboards, landing pages). Use for websites, web apps, interactive interfaces, posters with visual impact. NOT for document-style HTML reports (use document-creation for reports/docs).
JinFanZheng
development
framework-internals
70
raw-processor-module
Use when modifying the RAW Processor module in pu-erh_lab, shared Metal GPU utilities, or Metal RAW shaders and their CMake wiring.
zidage
development
framework-internals
70
aptos-move-language
Expert on Move programming language - abilities (copy/drop/store/key), generics, phantom types, references, global storage operations, signer pattern, visibility modifiers, friend functions, inline optimization, and advanced type system. Triggers on keywords move language, abilities, generics, phantom type, borrow global, signer, friend, inline, type parameter
raintree-technology
development
full-stack
70
write-music
write limut DSL code to produce music in a style requested by the user
sdclibbery
development
full-stack
70
sveltekit-structure
SvelteKit structure guidance. Use for routing, layouts, error handling, SSR, or svelte:boundary. Covers file naming, nested layouts, error boundaries, pending UI, and hydration.
spences10
development
full-stack
70
expo-expert
Comprehensive Expo expert with access to complete official documentation covering React Native development, EAS Build, EAS Submit, EAS Update, Expo Router, Expo Modules API, configuration, deployment, and all platform features. Invoke when user mentions Expo, React Native, EAS, Expo Router, mobile app development, iOS/Android development, or cross-platform development.
raintree-technology
development
package-distribution
70
starting-project
How to set-up the skeleton of a new application
mrsimpson
development
package-distribution
70
autobot-release
Create proper releases following EVALinux standards with signed tags and changelogs
crystal-autobot
development
ecommerce-development
69
launch-planning-frameworks
Launch planning frameworks including tiered launches, timelines, checklists, and go/no-go decisions. Use when planning product launches, creating launch timelines, aligning launch execution, or building launch playbooks. Trigger on: 'plan my launch', 'launch checklist', 'go/no-go decision', 'launch timeline', 'when should I launch'.
slgoodrich
development
ecommerce-development
69
go-to-market-playbooks
GTM strategies, product positioning, messaging, and launch planning. Use when planning a product launch, entering a new market, positioning a product, or developing go-to-market strategy. Trigger on: 'plan my launch', 'GTM strategy', 'how do I position this', 'market entry plan'.
slgoodrich
development
cms-platforms
69
example-workflow
Use when demonstrating plugin workflow features - shows how skills can guide multi-step processes
obra
development
frontend
69
nuxt-better-auth
Use when implementing auth in Nuxt apps with @onmax/nuxt-better-auth - provides useUserSession composable, server auth helpers, route protection, and Better Auth plugins integration.
onmax
development
package-distribution
69
node-deps
This skill should be used when the user asks to "update dependencies", "update npm packages", "run taze", "upgrade node packages", "check for outdated packages", "update package.json", or mentions dependency updates, npm/pnpm/yarn package upgrades, or taze CLI usage.
PaulRBerg
development
framework-internals
69
tlaplus-spec-generator
Automatically generate TLA+ specifications from source code (C/C++, Python) for formal verification of distributed systems. Use when users need to: (1) Generate TLA+ specs from program implementations, (2) Model distributed systems, consensus protocols, or concurrent algorithms, (3) Extract state variables, actions, and invariants from code, (4) Create formal specifications for model checking with TLC, (5) Verify safety and liveness properties of distributed systems. Particularly effective for message-passing systems, replication protocols, consensus algorithms, and distributed transactions.
ArabelaTso
development
framework-internals
69
tlaplus-model-reduction
Automatically simplify and minimize TLA+ specifications by reducing redundant state variables, merging equivalent actions, and minimizing invariants while preserving specified properties. Use when working with TLA+ specifications that need optimization, simplification, or reduction. Triggers when users ask to minimize, reduce, simplify, or optimize TLA+ specs, or when they want to remove redundancy from formal specifications while maintaining semantic equivalence.
ArabelaTso
development
framework-internals
69
smv-model-extractor
Automatically extract abstract finite-state models in SMV/NuSMV format from source code (C/C++, Java, Python) for formal model checking. Use when users need to: (1) Generate SMV models from program code for verification, (2) Extract state-transition models from protocol implementations, (3) Analyze control flow and data flow to construct formal models, (4) Create models for checking safety and liveness properties, (5) Convert imperative code to declarative state machines. Particularly effective for protocol implementations, concurrent systems, and control logic with clear state transitions.
ArabelaTso
development
framework-internals
69
smart-mutation-operator-generator
Analyzes a repository and its test suite to generate customized mutation operators tailored to the project. Use this skill when setting up mutation testing, improving test quality, or generating project-specific mutants. Considers language constructs, business logic patterns, API calls, data types, and code complexity to produce effective mutation operators that maximize test sensitivity while avoiding trivial or equivalent mutations. Generates prioritized operator sets (high/medium/low value) with impact summaries. Triggers when users ask to generate mutation operators, customize mutation testing, analyze code for mutation opportunities, or create project-specific mutants.
ArabelaTso
development