Explorar skills

Comprehensive BubbleTea TUI code review for terminal applications

Vercel AI Elements for workflow UI components. Use when building chat interfaces, displaying tool execution, showing reasoning/thinking, or creating job queues. Triggers on ai-elements, Queue, Confirmation, Tool, Reasoning, Shimmer, Loader, Message, Conversation, PromptInput.

Reviews Elixir code for idiomatic patterns, OTP basics, and documentation. Use when reviewing .ex/.exs files, checking pattern matching, GenServer usage, or module documentation.

Retrospective facilitation and organizational learning for project teams. Covers retrospective formats (Start/Stop/Continue, 4Ls, timeline, sailboat), blameless postmortems, lessons learned databases, knowledge management, organizational learning theory (Senge's Fifth Discipline, Argyris's double-loop learning), after-action reviews (military AAR heritage), GSD's session-to-session retrospective p

Reviews axum web framework code for routing patterns, extractor usage, middleware, state management, and error handling. Use when reviewing Rust code that uses axum, tower, or hyper for HTTP services. Covers axum 0.7+ patterns including State, Path, Query, Json extractors.

Entrepreneurship, innovation, and disruption for starting, scaling, and defending new ventures. Covers opportunity recognition, jobs-to-be-done, the disruptive innovation framework, sustaining vs disruptive innovation, platform businesses, network effects, minimum viable product, customer development, and the startup lifecycle from idea to exit. Use when evaluating a venture idea, positioning a ne

Mandatory verification steps for all code reviews to reduce false positives. Load this skill before reporting ANY code review findings.

Reviews LangGraph code for bugs, anti-patterns, and improvements. Use when reviewing code that uses StateGraph, nodes, edges, checkpointing, or other LangGraph features. Catches common mistakes in state management, graph structure, and async patterns.

shadcn/ui component patterns with Radix primitives and Tailwind styling. Use when building UI components, using CVA variants, implementing compound components, or styling with data-slot attributes. Triggers on shadcn, cva, cn(), data-slot, Radix, Button, Card, Dialog, VariantProps.

Extending propositional and predicate logic with modal operators -- necessity and possibility, and their relatives (obligation, knowledge, belief, time). Covers Kripke possible-worlds semantics, accessibility relations, the main modal systems (K, T, S4, S5), translation from natural language, and applications in epistemic, deontic, and temporal reasoning. Use when ordinary logic is insufficient to

Verify documentation coverage and generate missing docs interactively

Mandatory verification steps for all code reviews to reduce false positives. Load this skill before reporting ANY code review findings.