# Crates documentation

Kani currently ships with a `kani` crate that provide APIs to allow users to
write and configure their harnesses.
These APIs are tightly coupled with each Kani version, so they are not
published yet at <https://crates.io>.

You can find their latest documentation here:
  - [kani](https://model-checking.github.io/kani/crates/doc/kani): This crate
  provide APIs to write Kani harnesses.