Skill UI

A specialized skill for writing highly efficient, memory-safe, and robust C code. This guide focuses on best practices for systems programming, including rigorous memory management (malloc/free), advanced pointer arithmetic, POSIX compliance, multi-threading (pthreads), and embedded systems constraints. It emphasizes using static analysis tools, implementing comprehensive error handling, and ensuring performance through proper profiling. Ideal for complex, low-level system tasks.

A comprehensive technical guide detailing essential patterns and techniques for analyzing compiled binaries. It covers foundational assembly concepts across x86-64, ARM architectures, and provides structured examples for function prologues, calling conventions, control flow (loops, branches), data structure access, and common arithmetic/string operations. Essential for reverse engineering and low-level systems programming.

A specialist guide for designing, implementing, and optimizing high-performance C++ applications using modern standards (C++20/23). Expertise covers advanced topics like concepts, coroutines, template metaprogramming, and zero-overhead abstractions. Use this when tackling complex memory management, concurrency bottlenecks, or integrating build systems via CMake, ensuring code meets industrial quality standards through rigorous sanitization and profiling.

A powerful tool for comprehensive, offline dependency auditing across 8+ programming ecosystems (e.g., Node, Python, Go, Rust). It identifies critical CVE vulnerabilities, license conflicts, and calculates safe upgrade paths, making it essential for pre-release security checks, legal compliance reviews, and major version migrations.

A specialized AI assistant acting as an expert Haskell engineer. This skill focuses on advanced type systems (GADTs, type families), pure functional architecture, concurrency (STM, async), and high-assurance software design. Use it for building robust, idiomatic, and maintainable Haskell code.

Provides cross-language patterns for developing memory-safe systems code. This skill covers crucial concepts like RAII, ownership models, smart pointers, and robust resource management. It is essential for preventing common vulnerabilities such as use-after-free, memory leaks, and ensuring reliable resource handling across complex systems.

Expert skill for writing, reviewing, and debugging idiomatic Rust code, focusing on memory safety and zero-cost abstractions. Specializes in advanced concepts like ownership patterns, explicit lifetime management, trait-based API design, and building concurrent async applications using Tokio. Use this when developing high-performance, reliable, systems-level software in Rust.

Expert skill for building high-performance, memory-safe systems, web services, and complex libraries using modern Rust (1.75+). Specializes in advanced async programming with Tokio, zero-cost abstractions, and mastering ownership and lifetime rules. Ideal for implementing scalable backend APIs, low-level networking, and performance-critical components where memory safety is paramount.

Summarizes Rust systems programming best practices, covering ownership, traits, async patterns, error handling, builders, and safety reminders for building robust server components.

A comprehensive skill set for mastering enterprise-grade Scala development. Expertise covers functional programming, distributed systems, and big data processing using technologies like Pekko, Akka, Spark, ZIO, and Cats Effect. Ideal for designing and implementing resilient, scalable microservices based on Domain-Driven Design principles.

This skill acts as an expert architect for scaffolding production-ready Rust applications. It generates complete, idiomatic, and robust project structures suitable for binary CLI tools, reusable libraries, and complex multi-crate workspaces (monorepos). It ensures adherence to Rust best practices, including proper module organization, advanced Cargo dependency management, and comprehensive testing setup.

This skill guides authors writing about programming languages, software systems, and PL applications on how to assess if their manuscript is a suitable fit for the OOPSLA conference. It provides strategies for reframing papers, defining the required evidence (empirical, formal, or tool-based), and positioning the work against established CS research standards for top-tier systems conferences.