@break-point/specjs (npm): Design by contract javascript library
Keywords: contract|offensive|correctness|precondition|postcondition|invariant|test|require|ensure