Implements robust property-based and fuzz testing for OCaml protocol implementations and parsers using Crowbar.
This skill provides Claude with the specialized knowledge to build comprehensive fuzz testing suites for OCaml projects using the Crowbar library. It focuses on the 'crash-safety first' philosophy, ensuring that parsers never fail on malformed input and that roundtrip invariants—where decoding an encoded value returns the original—are strictly maintained. It includes standardized patterns for testing state machine transitions, boundary conditions, and smart constructors, organized into a clean directory structure compatible with the Dune build system.
Key Features
01Crash-safety verification for binary and text-based parsers
02Standardized Dune build configuration for local and AFL fuzzing
03Automated roundtrip invariant testing for encoders and decoders
04State machine transition and lifecycle coverage patterns
0513 GitHub stars
06Constraint-aware testing for smart constructors and range-limited types
Use Cases
01Validating security-critical state machines in authentication or authorization modules
02Ensuring data integrity in complex serialization and deserialization logic
03Verifying the robustness of network protocol parsers against malicious or malformed data
