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
์คํ
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