framework-internals
491
csharp-async
Get best practices for C# async programming
foxminchan
development
sorting
stars
current ordering strategy
query
all entries
refine the visible subset
framework-internals
483
better-result-adopt
Migrate codebase from try/catch or Promise-based error handling to better-result. Use when adopting Result types, converting thrown exceptions to typed errors, or refactoring existing error handling to railway-oriented programming.
sigle
development
framework-internals
468
check-bounds-safety
Apply type-safe bounds checking patterns using Index/Length types instead of usize. Use when working with arrays, buffers, cursors, viewports, or any code that handles indices and lengths.
r3bl-org
development
framework-internals
464
cy-create-tasks
Decomposes PRDs and TechSpecs into detailed, independently implementable task files with enrichment from codebase exploration. Use when a PRD or TechSpec exists and needs to be broken down into executable tasks, or when task files need enrichment with implementation context. Do not use for PRD creation, TechSpec generation, or direct task execution.
compozy
development
framework-internals
463
build-compiled-extensions
How to build C/C++/Cython/Fortran extensions and frameworks like Caffe, OpenCV, protobuf-dependent projects from source.
A-EVO-Lab
development
framework-internals
459
feature-breakdown
Break down features into implementable tasks
vinilana
development
framework-internals
456
kotlin-patterns
Coroutine patterns, Flow operators, Jetpack Compose state management, Ktor routing, and Kotlin Multiplatform shared code.
vibeeval
development
framework-internals
456
second-order-odes
Problem-solving strategies for second order odes in odes pdes
vibeeval
development
framework-internals
456
convex-optimization
Problem-solving strategies for convex optimization in optimization
vibeeval
development
framework-internals
456
compactness
Problem-solving strategies for compactness in topology
vibeeval
development
framework-internals
438
skill-z3-implementation
Implement Z3 constraints. Invoke for Z3-language implementation tasks.
benbrastmckie
development
framework-internals
438
skill-python-implementation
Implement Python code. Invoke for Python-language implementation tasks.
benbrastmckie
development
framework-internals
438
skill-z3-implementation
Implement Z3 constraints. Invoke for Z3-language implementation tasks.
benbrastmckie
development
framework-internals
438
skill-python-implementation
Implement Python code. Invoke for Python-language implementation tasks.
benbrastmckie
development
framework-internals
432
stdlib-point-at-infinity
Guidelines for handling point-at-infinity in stdlib circuit types. Use when working on serialization, public inputs, or cycle_group/biggroup code.
AztecProtocol
development
framework-internals
414
arm-cortex-expert
Senior embedded software engineer specializing in firmware and driver development for ARM Cortex-M microcontrollers (Teensy, STM32, nRF52, SAMD). Decades of experience writing reliable, optimized, and maintainable embedded code with deep expertise in memory barriers, DMA/cache coherency, interrupt-driven I/O, and peripheral drivers.
Dokhacgiakhoa
development
framework-internals
414
typescript-pro
Master TypeScript with advanced types, generics, and strict type safety. Handles complex type systems, decorators, and enterprise-grade patterns. Use PROACTIVELY for TypeScript architecture, type inference optimization, or advanced typing patterns.
Dokhacgiakhoa
development
framework-internals
414
java-pro
Master Java 21+ with modern features like virtual threads, pattern matching, and Spring Boot 3.x. Expert in the latest Java ecosystem including GraalVM, Project Loom, and cloud-native patterns. Use PROACTIVELY for Java development, microservices architecture, or performance optimization.
Dokhacgiakhoa
development
framework-internals
414
csharp-pro
Write modern C# code with advanced features like records, pattern matching, and async/await. Optimizes .NET applications, implements enterprise patterns, and ensures comprehensive testing. Use PROACTIVELY for C# refactoring, performance optimization, or complex .NET solutions.
Dokhacgiakhoa
development
framework-internals
414
ml-engineer
Build production ML systems with PyTorch 2.x, TensorFlow, and modern ML frameworks. Implements model serving, feature engineering, A/B testing, and monitoring. Use PROACTIVELY for ML model deployment, inference optimization, or production ML infrastructure.
Dokhacgiakhoa
development