Encoder, decoder, and lint/validator for JSON compliant with RFC 7159
