GitHub
asi-polynomial-operads
ASI skill integrating polynomial functors, free monad/cofree comonad
☆ 5View skill
testing security framework internals AI Skills
Discover testing security framework internals skills, compare source repositories and read the instructions for each workflow.
Categories: testing security framework internals
testing security framework internals Clear filters
Browse skills
GitHub
uv-discohy
UV/UVX/Ruff toolchain for DiscoHy Thread Operad with Python packaging and linting
☆ 5View skill
GitHub
lambda-calculus
Lambda Calculus Skill
☆ 5View skill
GitHub
libafl
Fuzzing framework LibAFL for custom fuzzing campaigns.
☆ 5View skill
GitHub
aflpp
Fuzzing with AFL++ for comprehensive binary and source code fuzzing.
☆ 5View skill
GitHub
unworlding-involution
Self-inverse derivation patterns where ι∘ι = id for frame-invariant self
☆ 5View skill
GitHub
codex-self-rewriting
Lisp machine self-modification patterns via MCP Tasks and Narya bridge
☆ 5View skill
GitHub
pijul-sparse-skills
Sparsity-preserving skill versioning via Pijul patches with GF(3) projection gates
☆ 5View skill
GitHub
codex-self-rewriting
Lisp machine self-modification patterns via MCP Tasks and Narya bridge types
☆ 5View skill
GitHub
policyengine-vectorization
PolicyEngine vectorization patterns - NumPy operations, where/select usage, avoiding scalar logic with arrays
☆ 5View skill
GitHub
unity-mobile
Optimize Unity games for mobile platforms with IL2CPP, platform-specific code, and memory management. Masters iOS/Android deployment, app size reduction, and battery optimization. Use for mobile builds, platfor...
☆ 5View skill
GitHub
unity-unitask
UniTask library expert specializing in allocation-free async/await patterns, coroutine migration, and Unity-optimized asynchronous programming. Masters UniTask performance optimizations, cancellation handling,...
☆ 5View skill
GitHub
decomp-permuter
Use the decomp-permuter to automatically find C code variations that match target assembly. Useful when stuck at 99%+ match with stubborn register allocation issues. Invoked with /decomp-permuter or when manu...
☆ 5View skill
GitHub
implementing-functions
Implements functions following project conventions. Applies data-first parameter order, currying patterns with *On and *With variants, and consistent universal operation names.
☆ 5View skill
GitHub
embedded-thinking
提供嵌入式系统软硬件协同思考框架，涵盖硬件层、软件架构、资源约束、实时性、测试调试五大维度。当需要设计嵌入式应用、评审物联网系统、或需要全局视角审视 MCU/MPU 与软件配合时使用。支持裸机/RTOS 选型、功耗优化、内存...
☆ 5View skill
GitHub
hasktorch-typed
Hasktorch type-safe tensor operations with categorical structure preservation. Use when implementing type-safe deep learning in Haskell, leveraging dependent types for tensor shape verification, applying catego...
☆ 5View skill
GitHub
flox-cuda
CUDA and GPU development with Flox. Use for NVIDIA CUDA setup, GPU computing, deep learning frameworks, cuDNN, and cross-platform GPU/CPU development.
☆ 5View skill
GitHub
executing-ai-development-workflow
Execute a comprehensive AI-driven development workflow with planning, implementation, multi-layer review (Sub-agents + /review + CodeRabbit CLI), automated fixes, and PR creation. Use when implementing new feat...
☆ 5View skill
GitHub
explore-feature
Explore how to implement a new SystemVerilog feature in the Lyra compiler. Use when investigating what changes are needed across the compilation pipeline.
☆ 4View skill
GitHub
cargo-asm
Inspects generated assembly for Rust functions using cargo-asm. Use when analyzing low-level codegen, verifying SIMD/vectorization, or debugging performance at the instruction level.
☆ 4View skill
GitHub
feature-implement
Systematic approach to implementing new features in Rust memory systems
☆ 4View skill
GitHub
build-compile
Build Rust code with proper error handling and optimization for development, testing, and production. Use when compiling the self-learning memory project or troubleshooting build errors.
☆ 4View skill
GitHub
vision-utilities
Guide for using vision utilities in speedy_utils, including fast GPU image loading, memory-mapped datasets, and notebook visualization.
☆ 4View skill
GitHub
compiler-explorer
Optimize functions by generating and analyzing compiler assembly output. Use when asked to optimize a function, analyze generated assembly, or improve performance by examining what the compiler produces.
☆ 4View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.