Thin prompt-level router for explicitly authorized Auto M/L work: reuse the acceptance-designer, paradigm crafter, independent examiner, and Git evidence without creating another controller.
nWave-ai/nWave-experimental
SkillsMP has collected 109 skills from nWave-ai/nWave-experimental. Open a skill to review its source and details.
- Latest recorded source activity
- SkillsMP catalog refreshed
- skills collected
- 109
- GitHub stars
- 8
- GitHub forks
- 0
Skills in this repository
Showing 40 of 109 collected skills.
Cross-cutting normative invariants โ lean public routing core for global gate/construction doctrine and on-demand knowledge lenses. Cite clause ids; never re-declare.
Establishes durable architecture, reuse, boundaries, cross-layer algebra, residual stress behavior, paradigm, and prefactoring decisions for later DeliveryContract compilation.
Clarifies jobs, journeys, outcomes, and human-visible value in the durable product SSOT without creating a delivery workspace or executable contract.
Compile value and architecture authority into a minimal executable oracle and one DeliveryContract. Human and Auto share the same route algebra and quality floor.
Erlang/Elixir language-specific patterns, OTP as the effect model, and runtime-enforced immutability
F# language-specific patterns, Railway-Oriented Programming, and Computation Expressions
Haskell language-specific patterns, GADTs, type classes, and effect systems
Kotlin language-specific patterns with Arrow, Raise DSL, and coroutine-based effects
Rust language-specific patterns, compiler-verified exhaustive ADTs, and Result/Option as railway-oriented programming
Scala 3 language-specific patterns with ZIO, Cats Effect, and opaque types
TypeScript language-specific patterns with fp-ts/Effect, discriminated unions, and railway-oriented error handling
Blameless post-mortem structure, incident timeline reconstruction, response evaluation, and organizational learning
PROCEDURE โ migrate one legacy monolithic agent to a lean core plus routed skills. Trigger: an existing agent has measured size, embedded-configuration, duplication, aggressive-language, or multi-responsibility debt. Composes agent validation and requestedโฆ
PROCEDURE โ optimize one requested existing skill. Measures multi-trigger, duplication, and resident-context debt before editing; preserves its name as the lean core and behavioral projections.
The METHOD for finding a design โ name observations and equality before constructors, then follow any contradiction to the type or observation that causes it. Use when a design decision is contested, a law has exceptions, a census or model keeps producingโฆ
Current wave authority and handoff map for answering where product, design, delivery, and feedback facts belong.
Turn a stable layer claim (domain, application, adapter, or infrastructure) into a construction boundary so the invalid state cannot be built, and state honestly what remains unguarded. Use when a requirement says an invalid state or transition must notโฆ
KNOWLEDGE โ resolve code facts (who-calls-X / where-defined-or-read / call-graph / change-scope / file-atoms) through the vendor-neutral CLI `des code-fact`, degrading LOUD through bundled adapters (AST, TextSearch). Trigger: any time an agent designs,โฆ
FP code-design SSOT โ the WHAT-to-design catalog (algebra-driven design, domain modelling with types, railway/error-track isolation) shared by the solution architect (design-time) and the functional crafter (execution-time).
Crafter discipline for implementing one immutable DeliveryContract with minimal production change, reuse, boundary integrity, and terminal evidence.
KNOWLEDGE โ use when choosing resident, map-only, or on-demand context.
KNOWLEDGE โ use when evaluating a claim, check, measurement, or shared-log count.
KNOWLEDGE โ use when adding data, declaring inputs, or choosing a join key.
Use for DELIVER wave orchestration from one validated DeliveryContract to one examined candidate and one whole-delivery finalization.
Finalize one whole delivery by joining terminal evidence and returning one verified final commit F.
Backward-compatible router for creating agents, validating existing agents, migrating existing agent monoliths, or optimizing one existing skill.
Algebra-driven API design with monoids, semigroups, and interpreters via algebraic equations
Choose human-on-the-loop vs auto mode for a piece of work, classify it S/M/L, and pick the matching path before starting. Load at the START of any nWave-adjacent task, before dispatch, when the mode/size has not already been declared by the user in thisโฆ
Routes a new request to the earliest authority that lacks evidence, without creating a feature workspace.
Property-based testing strategies (PBT โ ACTIVE, authored by the acceptance-designer during DISTILL), shrinking, PBT+TDD integration.
Dispatches an independent reviewer for a durable authority, immutable oracle, candidate diff, charter set, or operational artifact.
PROCEDURE โ close bounded architecture consult in durable authority. Trigger: exact AUTO-ARCHITECTURE-CONSULT envelope.
PROCEDURE โ verify one separately selected formal DESIGN obligation and state its runtime refinement boundary.
PROCEDURE โ author or amend one durable application DESIGN authority. Trigger: a non-Auto DESIGN mandate.
Evidence-led orchestration for maximizing delivery throughput with causal fan-out, associative boundary composition, one heavy local box, and concise terminal evidence.
TLA+ and PlusCal for specifying distributed system invariants. Decision heuristics for when formal verification adds value, key patterns, state explosion management, and alternatives comparison.
Advanced architecture stress analysis methodology for designing systems that survive unknown stresses. Load on its semantic trigger โ external/nondeterministic dependency, recovery/retry/compensation/degradation, contagion, infrastructure/substrateโฆ
KNOWLEDGE โ agent/skill/command anti-pattern catalog with fixes. Reference scanned by validate-spec; no sequence.
Review dimensions for validating agent quality - template compliance, safety, testing, and priority validation