Highest-trust agent skills

Fast-forwards through remaining waves end-to-end without stopping for review between waves.

Archives a completed feature to docs/evolution/, migrates lasting artifacts to permanent directories, and cleans up the temporary workspace. Use after all implementation steps pass and mutation testing completes.

Toyota 5 Whys methodology with multi-causal branching, evidence requirements, and validation techniques

Creates new specialized agents using the 5-phase workflow (ANALYZE > DESIGN > CREATE > VALIDATE > REFINE). Use when building a new AI agent or validating an existing agent specification.

TLA+ and PlusCal for specifying distributed system invariants. Decision heuristics for when formal verification adds value, key patterns, state explosion management, and alternatives comparison.

Algebra-driven API design with monoids, semigroups, and interpreters via algebraic equations

Clojure language-specific patterns, data-first modeling, REPL-driven development, and spec

Domain modeling with algebraic data types, smart constructors, and type-level error handling

F# language-specific patterns, Railway-Oriented Programming, and Computation Expressions

Haskell language-specific patterns, GADTs, type classes, and effect systems

Hexagonal architecture patterns with pure core and side-effect shell for functional codebases

Kotlin language-specific patterns with Arrow, Raise DSL, and coroutine-based effects

Core functional programming thinking patterns and type system foundations, language-agnostic

Scala 3 language-specific patterns with ZIO, Cats Effect, and opaque types

Naming conventions, API ergonomics, and usability patterns for functional code

5-layer agent output validation, I/O contract specification, vertical slice development, and test doubles policy with per-layer examples

Git change frequency hotspot analysis — find the most-changed files in your codebase

Infrastructure as Code patterns (Terraform, Kubernetes), observability design (SLOs, metrics, alerting, dashboards), and pipeline security stages. Load when designing infrastructure, observability, or security scanning.

Mom Test questioning toolkit, JTBD analysis, interview conduct, assumption testing framework, and hypothesis design

Evidence collection methods, problem categorization, analysis techniques, and solution design patterns

JTBD methodology for extracting real jobs behind feature requests — job statements, abstraction layers, first-principles extraction, ODI outcome statements, and opportunity scoring

Translating JTBD analysis to BDD scenarios - job story to Given-When-Then patterns, forces-based test discovery, job-map-based test discovery, and property-shaped criteria

LeanUX backlog management methodology - user story template, story sizing, story states, task types, Definition of Ready/Done, anti-pattern detection and remediation

DDD-guided legacy refactoring patterns -- strangler fig, bubble context, ACL migration, 14 tactical/strategic/infrastructure patterns, and incremental monolith-to-microservices methodology