"Projects that showcase advanced GitHub repository search techniques" matching MCP servers:

An advanced calculator MCP server that provides a wide range of mathematical operations over streamable HTTP, enabling users to perform complex calculations via natural language with any MCP client.

Provides an MCP server exposing compute, verify, and plot tools backed by Giac/Xcas for exact symbolic and numerical mathematics, enabling LLMs to solve calculus, algebra, geometry, and more with verified results.

Provides local MCP tools for searching, filtering, adding, updating, and analyzing a catalog of study projects, with statistics and GitHub publication readiness checks, all backed by SQLite.

Enables searching and downloading academic papers from multiple sources including arXiv, PubMed, bioRxiv, Google Scholar, and Semantic Scholar. Provides standardized tools for research workflows and OpenAI Deep Research integration.

Enables searching across UMass Lowell domain for people, website content, places, news, and parsing URLs into markdown.

Enables searching and downloading academic papers from multiple sources including arXiv, PubMed, bioRxiv, Google Scholar, and Semantic Scholar. Provides standardized tools compatible with OpenAI Deep Research and ChatGPT connectors.

Enables accurate Quranic verse search through natural language queries, returning exact text with no hallucinations.

Enables AI clients to search BUPT byrdocs materials, past exam papers, and freshmen knowledge base via natural language.

Enables teams to automate certificate issuance and query engagement data from the thatsme platform via AI-powered tools like search_events and issue_certificates.

Enables Claude and other MCP-compatible clients to query Semantic Scholar and Crossref for scholarly works, retrieving metadata, abstracts, TL;DR summaries, and full-text links when available.

Enables users to find books by keyword, ISBN, or author and check which branches hold copies of them and whether those copies are currently available for loan or when they are due back. Currently covers Shanghai's interlinked public library network of 900+ locations, with a design open to additional cities.

Provides a beginner-friendly MCP server that exposes a safe arithmetic calculator tool and workshop documentation resources, letting AI agents discover and invoke tools and read resources over JSON-RPC. It also ships a deterministic mock LLM agent loop and examples so the full tool lifecycle can be explored without API keys.

MCP server that provides grounded Arabic dictionary lookup, enabling AI agents to search word roots, inflections, and meanings from real dictionary data.

MCP server that enables searching and retrieving Czech university theses from theses.cz, including full-text search, metadata, and direct PDF downloads with optional cookie-based authentication.

Sansfiction library search and management

Enables integration with LeetCode APIs to retrieve problems, contests, solutions, and user data, support daily challenges and advanced searches, and perform authenticated actions such as running or submitting code and managing notes.

Enables AI agents to search and retrieve opportunities from the Opportunities Circle catalog, including scholarships, fellowships, internships, grants, jobs, and more. Supports filtering by type, country, funding, and tags, with full details and official apply links.

Enables LLM clients to perform arithmetic and advanced calculations through MCP tools, access math constants and session calculation history, and receive step-by-step guidance for solving equations.

Enables AI assistants to search and read Materio's educational PDF resources directly, without manual file uploads.

MCP server that enables AI programming tools to search, read, and use a remote library of 180+ professional development skills, with incremental caching and network acceleration for fast access.

Provides AI agents structured access to the Gospel Library — scriptures, General Conference talks, handbooks, manuals, and magazines — with local semantic search.

MCP server that lets AI assistants access University of Waterloo LEARN course data (announcements, content, grades, assignments, outlines) and search past assessments in Google Drive.

MCP server that provides Turkish university preference guide data, enabling users to query provinces, universities, and program groups, and to search university programs with filters, while reminding users to verify results against official sources.

A traceable Chinese-history MCP server that enables querying of nine classical Chinese texts (e.g., 史记, 汉书) with citations and honest status labels. It provides four tools to search events, persons, places, and qualities, all with provenance.

MCP server that wraps UDIR's open registries for Norwegian schools (NSR) and kindergartens (NBR), enabling search by municipality and retrieval of full details including coordinates and enrollment.

Enables Claude to query DataGSM's student, club, meal, and schedule data, as well as search documentation and guide OAuth flows.

MCP server to search and retrieve regulations from 14 Korean universities' regulation management systems. Supports querying, listing, and viewing full text or specific articles.

A technical interviewer that ingests GitHub repos, teaches you your own code, and conducts mock interviews with persistent memory of your weak spots.

An MCP server for college placement cells to analyze student profiles from bulk Excel data, search students, and access evidence-backed skill intelligence from resumes, GitHub, LeetCode, and portfolios. It provides tools for skill gap analysis and profile completeness evaluation.

An MCP server that exposes certifications, projects, and an AI engineering learning roadmap as callable tools for MCP clients like Claude Desktop.