explicit-problem-modeling
Developer ToolsSigned 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-modelingYour 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.