streamlit pandas faiss-cpu numpy sentence-transformers groq pydantic mirascope