InferJS is a JavaScript runtime type and validation system with integrated diagnostics, validation tracing, and visualization.