kani
Core shared libraries for multimodal Kani extensions.
Kani extension for supporting vision-language models (VLMs). Comes with model-agnostic support for GPT-Vision and LLaVA.
