Tipus
Comprovació i generació de tipus
interpreters
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
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
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
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
MakFly
Apply production-grade Symfony architecture and execution workflows with controlled scope and clear checkpoints. Use for interfaces and autowiring tasks.
symfony:runner-selection
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
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
MakFly
Apply production-grade Symfony architecture and execution workflows with controlled scope and clear checkpoints. Use for strategy pattern tasks.
symfony:form-types-validation
MakFly
Strengthen Symfony authorization and validation boundaries with explicit, test-backed enforcement. Use for form types validation tasks.
symfony:config-env-parameters
MakFly
Apply production-grade Symfony architecture and execution workflows with controlled scope and clear checkpoints. Use for config env parameters tasks.
symfony:doctrine-transactions
MakFly
Evolve Symfony Doctrine models and schema safely with integrity, performance, and rollout discipline. Use for doctrine transactions tasks.
symfony:doctrine-migrations
MakFly
Evolve Symfony Doctrine models and schema safely with integrity, performance, and rollout discipline. Use for doctrine migrations tasks.
symfony:doctrine-fixtures-foundry
MakFly
Evolve Symfony Doctrine models and schema safely with integrity, performance, and rollout discipline. Use for doctrine fixtures foundry tasks.
symfony:controller-cleanup
MakFly
Apply production-grade Symfony architecture and execution workflows with controlled scope and clear checkpoints. Use for controller cleanup tasks.
symfony:doctrine-fetch-modes
MakFly
Evolve Symfony Doctrine models and schema safely with integrity, performance, and rollout discipline. Use for doctrine fetch modes tasks.
symfony:doctrine-batch-processing
MakFly
Evolve Symfony Doctrine models and schema safely with integrity, performance, and rollout discipline. Use for doctrine batch processing tasks.
symfony:doctrine-relations
MakFly
Evolve Symfony Doctrine models and schema safely with integrity, performance, and rollout discipline. Use for doctrine relations tasks.
symfony:effective-context
MakFly
Apply production-grade Symfony architecture and execution workflows with controlled scope and clear checkpoints. Use for effective context tasks.
data-client-schema
reactive
Define data schemas - Entity, Collection, Union, Query, pk/primary key, normalize/denormalize, relational/nested data, polymorphic types, Invalidate, Values
data-client-manager
reactive
Implement @data-client Managers for global side effects - websocket, SSE, polling, subscriptions, logging, middleware, Controller actions, redux pattern
data-client-rest
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
reactive
Test @data-client/vue composables and components - renderDataCompose, mountDataClient, fixtures, jest, nock, Vue 3 reactive props, useSuspense testing
validating-startup-ideas
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
pproenca
A valid test skill with proper formatting. This skill should pass all validations and serves as a reference for the expected format.