ky

semver>=1.0.0postconditions42functions15last verified2026-06-16

Pro tier. Pro profiles cover packages that took meaningful research effort — payments, cloud SDKs, enterprise data stores. We list every Pro profile publicly so you can verify coverage before subscribing, but the postcondition detail is gated. 42 postconditions across 15 functions for ky.

Postconditions (42) — Pro only

Unlock ky postconditions

Pro tier includes every Pro profile, regression-tested releases, and priority on new profile requests.

See Pro pricing

Need a different package?

Request a profile