Wireproof
Compare Protobuf declarations offline, detect field-number reuse, type and cardinality changes, enum hazards, package drift, and rollout risk.
Focused field tools
Apply field numbers checks to the recorded evidence, document assumptions, and retain a concrete verification result before changing a live system.
Apply wire types checks to the recorded evidence, document assumptions, and retain a concrete verification result before changing a live system.
Apply cardinality checks to the recorded evidence, document assumptions, and retain a concrete verification result before changing a live system.
Apply reserved checks to the recorded evidence, document assumptions, and retain a concrete verification result before changing a live system.
Apply enums checks to the recorded evidence, document assumptions, and retain a concrete verification result before changing a live system.
Apply oneof checks to the recorded evidence, document assumptions, and retain a concrete verification result before changing a live system.
Wireproof performs conservative declaration checks and does not compile schemas, understand custom option behavior, or prove semantic compatibility. Use the authoritative compiler and generated clients across supported versions.