Reverse Dependencies of kani

The following projects have a declared dependency on kani:

• fanoutqa — The companion code for the FanOutQA dataset + benchmark for LLMs.
• kani-ratelimits — A wrapper engine to enforce request-based, token-based, and concurrency-based limits on kani engines.
• kani-vision — Kani extension for supporting vision-language models (VLMs). Comes with model-agnostic support for GPT-Vision and LLaVA.
• redel — A toolkit for recursive delegation of LLMs