GitHub repository: oneilsh/kani-utils
Primary language: Python
Created: 2024-05-05T04:27:39Z
Description: Streamlit-based UI for Kani LLM agents