Reverse Dependencies of kani-ratelimits

The following projects have a declared dependency on kani-ratelimits:

• redel — A toolkit for recursive delegation of LLMs