GitHub
lean-hit-development
Guides adding new Higher Inductive Types to the ComputationalPaths library. Use when creating new HITs, defining fundamental group (pi1) calculations, implementing encode-decode proofs, or adding new topologica...
Skills IA testing security framework internals
Découvrez les skills testing security framework internals, comparez leurs dépôts et consultez leurs instructions.
Catégories: testing security framework internals
testing security framework internals Effacer les filtres
Explorer
GitHub
path-tactics
Use ComputationalPaths path tactics to automate common RwEq goals (path_simp/path_auto/path_normalize), and structure calc-based proofs cleanly.
GitHub
lean-hit-development
Guides adding new Higher Inductive Types to the ComputationalPaths library. Use when creating new HITs, defining fundamental group (pi1) calculations, implementing encode-decode proofs, or adding new topologica...
GitHub
vulkan
Best practices and guidelines for writing modern Vulkan 1.3+ code in AstralRenderer
GitHub
astralrenderer-architecture
Guidelines for navigating and extending the AstralRenderer engine architecture
GitHub
modern-c
Standards for using C++23 features in the codebase
GitHub
create-hooks
Expert guidance for creating, configuring, and using Opencode hooks. Use when working with hooks, setting up event listeners, validating commands, automating workflows, adding notifications, or understanding ho...
GitHub
backend-dev
Python backend development for CTF-AI. Use when working on game engine, player logic, pathfinding, WebSocket server, or any backend Python code.
GitHub
adding-features
Step-by-step guide for adding new feature modules to the renderer process using feature-based architecture
GitHub
ralph-setup
Initialize or repair Ralph loop structure
GitHub
plan-mode-advanced
Create and execute advanced execution plans for complex AI model development incorporating 2024-2026 cutting-edge techniques (DeepSeek GRPO, manifold-constrained architectures, geometric scaling). Use when plan...
GitHub
quantization-evaluation-pipeline
Execute GGUF quantization with imatrix protection, perform statistical benchmark evaluation with error bars, generate academic-style methodology documentation, and create comprehensive scorecards. Use when eval...
GitHub
webgpu
WebGPU compute pipelines, texture pooling, buffer management, and spatial hashing. Use when working on GPU shaders, optimizing performance, or debugging rendering issues.
GitHub
unsloth-kernel-optimization
Optimize and implement GPU kernels using CubeCL for memory-efficient LLM training
GitHub
mobile-perf
Optimizes React Native Expo applications for speed, responsiveness, and battery efficiency. Use when fixing lag, optimizing lists, or reducing bundle size.
GitHub
agent-os-foundry-dev
Skill especializada para desenvolvimento de módulos Foundry VTT, focada em interações com a API, Hooks e sistema PF2e.
GitHub
react-native-best-practices
React Native performance optimization guidelines from Callstack's Ultimate Guide. Use this skill when writing, reviewing, or debugging React Native code for performance issues. Triggers on tasks involving FPS o...
GitHub
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 perf...
GitHub
math
Compute a value from a Python math expression string.
GitHub
global-free-threading
Your approach to handling global free threading. Use this skill when working on files where global free threading comes into play.
GitHub
compound-engineering
Compound Engineering workflow for AI-assisted development. Use when planning features, executing work, reviewing code, or codifying learnings. Follows the Plan → Work → Review → Compound loop where each unit of...
GitHub
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...
GitHub
pro
Professional engineering skill combining senior engineer thinking patterns, adaptive task assessment, and Google-grade standards. Invoke with /pro before any coding task to ensure production-quality work with p...
GitHub
superpowers-factory-bridge
统一开发编排器：将 Superpowers 方法论框架与 AI 代码工厂深度整合， 创建统一的开发工作流，结合 TDD 纪律、SoT 合规和自动化代码生成。
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.