Search

PythonReactSEOPDF

tools framework internals AI Skills

Discover tools framework internals skills, compare source repositories and read the instructions for each workflow.

Categories: tools framework internals

Showing 577–600 of 740

tools framework internals Clear filters

Browse skills

GitHub

performance

Arthur742Ramos

Performance optimizer with profiling strategies and optimization techniques

GitHub

performance-hunter

j0KZ

Find and fix performance bottlenecks in ANY language or framework. Use when applications are slow, memory usage is high, or you need to optimize critical paths.

GitHub

moai-lang-cpp

zellycloud

Modern C++ (C++23/C++20) development specialist covering RAII, smart pointers, concepts, ranges, modules, and CMake. Use when developing high-performance applications, games, system software, or embedded system...

GitHub

moai-lang-rust

zellycloud

Rust 1.92+ development specialist covering Axum, Tokio, SQLx, and memory-safe systems programming. Use when building high-performance, memory-safe applications or WebAssembly.

GitHub

convex-utility

amirrudd

Skill for standardizing and accelerating Convex backend development with boilerplate generation and pattern enforcement.

GitHub

zephyr-driver-development

ale-alfaro

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, in...

GitHub

implementing-axi

pbozeman

Provides SVC-specific AXI/AXI-Lite naming conventions, signal ordering, and available modules. Triggers when implementing AXI or AXI-Lite interfaces.

GitHub

path-tactics

Arthur742Ramos

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

Arthur742Ramos

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

path-tactics

Arthur742Ramos

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

Arthur742Ramos

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

OxisIndustries

Best practices and guidelines for writing modern Vulkan 1.3+ code in AstralRenderer

GitHub

create-hooks

aaronvstory

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...

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.

More filters

Popularity

Popular tags