serapi

Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.

Mutation analysis tool for Coq verification projects

🤖🗺️ Headless browser scraper written in python to extract Places data from Google Maps.

A simple LangChain 🦜🔗 bot that uses OpenAI and Google Search to do question answering.

Tool for suggesting lemma names in Coq verification projects

Corpus of Coq code related to MathComp including several machine-readable representations

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

AI-powered ‘10,000 Whys’ chatbot for kids using LangChain, GPT-4o-mini, Google SerpAPI, and Faiss vector database.

AI job discovery pipeline using only free tools — Google Jobs + Indeed + GPT-4 + Airtable. No Apify, no paid scrapers.

Full-stack flight price tracker with real-time flight search, price history, automated alerts, and scheduled price monitoring.

solar-lead-finder

A simple langchain bot that uses OpenAI and Google search for answering questions.

Laravel package to wrap Serp API