spec-double-compiler
by haydenrear
'Use when creating or maintaining Python spec doubles generated from a constrained, annotated TLA+ state-machine specification, including manifests, generated fakes, ports, validators, Hypothesis strategies, traces, internal/external Test Graph integration cases, and adapter conformance tests.'