Pyroxin

SWI-Prolog-specific tooling, standards, and idioms. Use when working with SWI-Prolog code. Emphasizes relational thinking, steadfastness, DCGs, constraints, and mandatory testing with PlUnit.

Systematic framework for rigorous, situationally-grounded decision analysis. Use when evaluating options with competing benefits where stated values may diverge from actual situational worth, when structural constraints rule out entire categories of value, or when the user wants a documented analytical process rather than a quick answer. Especially useful when early assumptions need challenging as

Esta skill aborda padrões de desenvolvimento específicos do macOS, APIs da plataforma e frameworks de decisão, incluindo gerenciamento de NSWindow, arquitetura NSDocument, sandboxing e padrões de UI. É útil para desenvolver aplicativos Mac, código Cocoa/AppKit, decisões SwiftUI vs AppKit e considerações sobre Mac Catalyst.

Ferramentas específicas de Java, padrões de documentação, práticas de teste e idiomatismos modernos. Utilize ao trabalhar com código ou projetos Java na JVM.

Esta skill aborda os idiomas, ferramentas e a filosofia específicos do Swift, enfatizando programação orientada a protocolos, semântica de valor, concorrência estrita (Swift 6+) e garantias de segurança em tempo de compilação para código Swift.

Functional programming principles, patterns, and practices. Use when working with functional languages (Racket, Clojure, Erlang, Haskell, Idris, Scheme, OCaml, F#, Elixir, etc.) without language-specific skills available, or when applying functional paradigms in multi-paradigm languages.

Racket-specific tooling, libraries, idioms, and language-oriented programming philosophy. Use when working with Racket code. Emphasizes LOP, contracts, macros, and design methodology.

Logic programming thinking patterns and relational design principles. Use when working with logic languages (Prolog, miniKanren, Datalog, OWL2, Answer Set Programming) or applying declarative, constraint-based approaches in multi-paradigm systems.

Clojure-specific philosophy, idioms, and judgment frameworks. Use when working with Clojure code. Emphasizes data-oriented design, runtime validation with spec, REPL-driven development, and the philosophy of simplicity over ease.

Estruturas de julgamento e expressões idiomáticas essenciais para scripts Fish shell e automação. Aborda quando usar Fish vs bash, requisitos de compatibilidade macOS/Fedora e padrões específicos do Fish para prevenir bugs, como anti-padrões de variáveis universais, funções wrapper e guardas interativos.

Git commit standards, branch strategy, and LLM-assisted development workflows. Use when making commits, managing branches, or working in high-velocity LLM-assisted development contexts. Covers atomic commits, conventional commits, branching strategies (trunk-based, GitHub flow), merge vs rebase decisions, and recovery patterns.

Core TDD philosophy and testing principles. Use when writing tests interactively or need testing guidance. Emphasizes tests as contracts, mock boundaries not internals, and implementation fixes over test changes.