Types
Type checking and type generation
interpreters
by mohitmishra786
Bytecode interpreter and JIT compiler skill for implementing language runtimes in C/C++. Use when designing bytecode dispatch loops (switch, computed goto, threaded code), implementing stack-based or register-based VMs, adding a simple JIT using mmap/mprotect, or understanding performance trade-offs in interpreter design. Activates on queries about bytecode VMs, dispatch loops, computed goto, JIT compilation basics, tracing JITs, or implementing a scripting language runtime.
supabase-postgres-best-practices
by oldwinter
Postgres performance optimization and best practices from Supabase. Use this skill when writing, reviewing, or optimizing Postgres queries, schema designs, or database configurations.
code-completion-semantic-constraints
by ArabelaTso
Automatically complete partial code snippets while satisfying semantic constraints including variable types, invariants, pre/post-conditions, interface contracts, and expected input/output behavior. Use when users provide incomplete code with specific requirements like "complete this function that takes a list and returns sorted unique elements" or "fill in this method body that must maintain the invariant that x stays positive" or "implement this interface method with these type constraints." Produces compilable, executable code with tests and a constraint satisfaction report.
c-cpp-to-lean4-translator
by ArabelaTso
Translate C or C++ programs into equivalent Lean4 code, preserving program semantics and ensuring the generated code is well-typed, executable, and can run successfully. Use when the user asks to convert C/C++ code to Lean4, port C/C++ programs to Lean4, translate imperative code to functional Lean4, or create Lean4 versions of C/C++ algorithms.
symfony:interfaces-and-autowiring
by MakFly
Apply production-grade Symfony architecture and execution workflows with controlled scope and clear checkpoints. Use for interfaces and autowiring tasks.
symfony:runner-selection
by MakFly
Apply production-grade Symfony architecture and execution workflows with controlled scope and clear checkpoints. Use for runner selection tasks.
symfony:value-objects-and-dtos
by MakFly
Apply production-grade Symfony architecture and execution workflows with controlled scope and clear checkpoints. Use for value objects and dtos tasks.
symfony:strategy-pattern
by MakFly
Apply production-grade Symfony architecture and execution workflows with controlled scope and clear checkpoints. Use for strategy pattern tasks.
symfony:form-types-validation
by MakFly
Strengthen Symfony authorization and validation boundaries with explicit, test-backed enforcement. Use for form types validation tasks.
symfony:config-env-parameters
by MakFly
Apply production-grade Symfony architecture and execution workflows with controlled scope and clear checkpoints. Use for config env parameters tasks.
symfony:doctrine-transactions
by MakFly
Evolve Symfony Doctrine models and schema safely with integrity, performance, and rollout discipline. Use for doctrine transactions tasks.
symfony:doctrine-migrations
by MakFly
Evolve Symfony Doctrine models and schema safely with integrity, performance, and rollout discipline. Use for doctrine migrations tasks.
symfony:doctrine-fixtures-foundry
by MakFly
Evolve Symfony Doctrine models and schema safely with integrity, performance, and rollout discipline. Use for doctrine fixtures foundry tasks.
symfony:controller-cleanup
by MakFly
Apply production-grade Symfony architecture and execution workflows with controlled scope and clear checkpoints. Use for controller cleanup tasks.
symfony:doctrine-fetch-modes
by MakFly
Evolve Symfony Doctrine models and schema safely with integrity, performance, and rollout discipline. Use for doctrine fetch modes tasks.
symfony:doctrine-batch-processing
by MakFly
Evolve Symfony Doctrine models and schema safely with integrity, performance, and rollout discipline. Use for doctrine batch processing tasks.
symfony:doctrine-relations
by MakFly
Evolve Symfony Doctrine models and schema safely with integrity, performance, and rollout discipline. Use for doctrine relations tasks.
symfony:effective-context
by MakFly
Apply production-grade Symfony architecture and execution workflows with controlled scope and clear checkpoints. Use for effective context tasks.
data-client-schema
by reactive
Define data schemas - Entity, Collection, Union, Query, pk/primary key, normalize/denormalize, relational/nested data, polymorphic types, Invalidate, Values
data-client-manager
by reactive
Implement @data-client Managers for global side effects - websocket, SSE, polling, subscriptions, logging, middleware, Controller actions, redux pattern
data-client-rest
by reactive
Define REST APIs with @data-client/rest - resource(), RestEndpoint, CRUD, GET/POST/PUT/DELETE, HTTP fetch, normalize, cache, urlPrefix, path parameters
data-client-vue-testing
by reactive
Test @data-client/vue composables and components - renderDataCompose, mountDataClient, fixtures, jest, nock, Vue 3 reactive props, useSuspense testing
validating-startup-ideas
by nweii
"Find and validate startup ideas by mining user complaints, crafting premises, and navigating the idea maze. Use when discovering product opportunities, validating ideas, shaping solutions, researching user pain points, or exploring what to build."
valid-skill
by pproenca
A valid test skill with proper formatting. This skill should pass all validations and serves as a reference for the expected format.