checklist.day

Model

JSON →
library 0.1.2 ·rust
✓ verified Jun 17, 2026
testing

A crate for model-based testing of data structures with linearizability checking.

Resources

docsdocs.rs/model/ ↗
githubgithub.com/spacejam/model ↗

API endpoints

full doc /v1/registry/model
install /v1/registry/model/install