serapi
Here are 12 public repositories matching this topic...
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
- Updated Mar 23, 2026
- JavaScript
Mutation analysis tool for Coq verification projects
- Updated Oct 13, 2020
- Java
🤖🗺️ Headless browser scraper written in python to extract Places data from Google Maps.
- Updated May 5, 2026
- Python
A simple LangChain 🦜🔗 bot that uses OpenAI and Google Search to do question answering.
- Updated Aug 26, 2023
- Python
Tool for suggesting lemma names in Coq verification projects
- Updated Sep 6, 2022
- Python
Corpus of Coq code related to MathComp including several machine-readable representations
- Updated Sep 6, 2022
- Common Lisp
This is our final project , in this we have utlized langgraph coupled with various mcp server mounted of fastapi using fastmcp to create mutlifaceted application for healthcare vendor to make them understand more about their product performance and provide suggestions and strategies
- Updated Jul 5, 2025
- Python
AI-powered ‘10,000 Whys’ chatbot for kids using LangChain, GPT-4o-mini, Google SerpAPI, and Faiss vector database.
- Updated Sep 22, 2024
- Python
AI job discovery pipeline using only free tools — Google Jobs + Indeed + GPT-4 + Airtable. No Apify, no paid scrapers.
- Updated Mar 28, 2026
Improve this page
Add a description, image, and links to the serapi topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the serapi topic, visit your repo's landing page and select "manage topics."