framework-internals
0
collimator-optics
Use profunctor optics from the Collimator library for Lean 4. Use when working with lenses, prisms, traversals, or nested data access.
nathanial
development
sorting
stars
current ordering strategy
query
all entries
refine the visible subset
framework-internals
0
optimizing-truffle-performance
[ORCHESTRATOR] Runs full performance optimization loop for Truffle languages. Entry: User wants to optimize performance. Process: Determines current state, executes appropriate phase (1→2→3→4), loops until performance meets expectations. IMPORTANT: Single entry point for all optimization work.
antonykamp
development
framework-internals
0
pytorch-distributed
Distributed training strategies including DistributedDataParallel (DDP) and Fully Sharded Data Parallel (FSDP). Covers multi-node setup, checkpointing, and process management using torchrun. (ddp, fsdp, distributeddataparallel, torchrun, nccl, rank, process-group)
cuba6112
development
framework-internals
0
type-hints-for-ml-code
Apply appropriate type hints for ML/PyTorch code. Use when adding type annotations to ML code or addressing mypy errors.
apassuello
development
framework-internals
0
embedded-systems
Expert embedded systems engineer specializing in microcontroller programming, RTOS development, and hardware optimization. Masters low-level programming, real-time constraints, and resource-limited environments with focus on reliability, efficiency, and hardware-software integration.
vx-daniel
development
framework-internals
0
maturin-debugger
Diagnose and fix maturin build issues for PyO3 Python bindings. Use when encountering problems with maturin develop, missing Python exports, module registration errors, or type stub generation issues. Particularly useful when new PyO3 methods compile but don't appear in Python.
illumination-k
development
framework-internals
0
moai-lang-rust
Rust 1.92+ development specialist covering Axum, Tokio, SQLx, and memory-safe systems programming. Use when building high-performance, memory-safe applications or WebAssembly.
zellycloud
development
framework-internals
0
fstar-verification
Comprehensive F* proof-oriented programming for formal verification including dependent types, refinement types, effect system, SMT solver integration, tactic-based interactive theorem proving, and verified code extraction to OCaml, F#, C, WebAssembly, and Assembly
manutej
development
framework-internals
0
zephyr-driver-development
Full development cycle for Zephyr RTOS C/C++ drivers using Zephyr’s device model best practices. Use for creating or updating drivers, including devicetree bindings, driver implementation, device API wiring, instantiation macros, Kconfig/CMake integration, and test strategy using native_sim and bus emulators.
ale-alfaro
development
framework-internals
0
agent-os-foundry-dev
Skill especializada para desenvolvimento de módulos Foundry VTT, focada em interações com a API, Hooks e sistema PF2e.
questionwho42-jpg
development
framework-internals
0
dsp-architecture
DSP development patterns for this VST3 plugin. Use when working on audio processing, dsp/ folder, processors, effects, delay algorithms, filters, or any code that runs on the audio thread. Covers real-time safety, layered architecture, interpolation choices, and performance budgets.
rolandzwaga
development
framework-internals
0
sdd-design-perf
Design bundle strategy, lazy loading, and render optimization. Use when: sdd-design assigns Performance Strategy section. Triggers: "performance design", "bundle size", "lazy loading", "optimization"
h2b-dev-studio
development
framework-internals
0
windows-cupy-nvrtc
Fix CuPy NVRTC compilation errors on Windows. Trigger: NVRTC_ERROR_BUILTIN_OPERATION_FAILURE, nvrtc-builtins64 not found
smith6jt-cop
development
framework-internals
0
lp-duality
Takes the dual of a linear program (LP). Use when the user provides an LP in LaTeX or markdown and wants its dual, or asks about LP duality transformations.
slahaie
development
framework-internals
0
seer
Set up GPU sandboxes for interpretability research. Use when writing setup.py scripts with Sandbox, SandboxConfig, ModelConfig, or create_notebook_session. Provides the exact API for Modal GPU environments - MUST read before writing any sandbox setup code.
ajobi-uhc
development
framework-internals
0
implementing-python
Implements concise, streamlined Python code matching exact architect specifications. Use when writing Python code, creating modules, or when the user asks to implement features in Python.
qte77
development
framework-internals
0
root-calculator
Performs mathematical root calculations including square root, cube root, and nth roots. Use when user asks to calculate square root, cube root, nth root, or uses keywords like 'sqrt', 'root of', 'calculate root'.
techybolek
development
framework-internals
0
gpu-memory-cleanup
Preventing Jupyter cell hangs with explicit CuPy GPU memory cleanup
smith6jt-cop
development
framework-internals
0
result-simple-perl
Use Result::Simple for tuple-based error handling in Perl
kfly8
development
framework-internals
0
learn
Recursive self-improving holon λ(ο,Κ,Σ).τ' for knowledge compounding and schema evolution. USE WHEN learning, improving, optimizing, assessing, reflecting, debugging, synthesizing, or refining—whether human, AI, or organizational. Triggers on /learn, /compound, /improve, /refine, /optimize, /assess, /reflect, "lessons learned", "best practices", "continuous improvement". Preserves Κ-monotonicity, η≥4, homoiconicity.
Zpankz
development
framework-internals
0
extensions
Generic extension methods for strings, collections, DateTime, decimals, and entities.
erymuzuan
development
framework-internals
0
do-lang-rust
Rust 1.92+ 개발 전문가. Axum, Tokio, SQLx 및 메모리 안전 시스템 프로그래밍 지원. 고성능, 메모리 안전 애플리케이션이나 WebAssembly 구축에 사용.
yejune
development