Streamlit utils for Kani

[oneilsh]

Hello! I just wanted to share the little utilities I've been building off of Kani (with many thanks for the help in token/cost tracking in the issues). My goal was to try and make it easy to rapidly develop web frontends for Kanis and integrate some UI components; here's the repo: https://github.com/oneilsh/kani-utils It's currently backing a demo v2 of our Phenomics Assistant at https://phenomics-assistant2.streamlit.app/

Thanks again for an awesome toolkit :)