z3-solver
smolagents
rich
click
fastapi
uvicorn
streamlit
