Skip to content
SkilVault
Sign inGet started

explicit-problem-modeling

Developer Tools
Signed by SkilVault

Builds a written problem model covering data shapes, state, operations with preconditions and effects, invariants, and open questions, then freezes that model as a fixed agreement before any implementation code is written. Use when the user asks to model or specify before coding, or when a task involves state machines, business rules, constraint systems, or multi-step logic where correctness matters. Not for quick one-file scripts, simple text edits, or exploratory work with no rules to enforce.

Version
v1.0.0
Size
14 KB
Updated
2026-10-06
$ skilvault read --manual explicit-problem-modeling

Your client verifies the signature before reading. This explicit manual read is available on every plan. Free automatically loads five chosen skills; paid plans automatically load relevant skills across the library.