"A tool or platform to search within a codebase" matching MCP servers:

A standalone MCP server that provides AI tools by proxying requests to the FTC Platform's REST API, enabling tasks like fetching event applications, evaluations, and scoring criteria.

Turns your PDFs into locally stored flashcards and quizzes, grades your answers, and schedules spaced-repetition reviews entirely on your machine.

A local MCP server for Canvas LMS that enables querying courses, assignments, grades, modules, and more from any MCP-compatible AI client.

MCP server for tracking user course progress, providing tools to retrieve and save course and stage progress for authenticated users with data persisted in SQL Server.

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 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 AI clients to search BUPT byrdocs materials, past exam papers, and freshmen knowledge base via natural language.

MCP server exposing a university course catalog with tools for searching courses, looking up prerequisites and instructors, and generating prerequisite graphs, plus resources and a prompt template for AI academic advisors.

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.

MCP server that exposes a university course catalog to LLMs, enabling course search, prerequisite lookup, instructor details, and department directory through natural language.

Provides LLM assistants with course search, prerequisite lookup, instructor information, and prerequisite graph tools backed by a SQLite database, enabling AI-powered academic advising.

Provides intelligent access to a university course catalog with full-text search, prerequisite tracking, instructor lookups, and course comparison prompts.

Enables querying of a locally pinned snapshot of the Education-to-Workforce Indicator Framework — 99 indicators and 11.8M observations — to browse questions, describe metrics, resolve places, and fetch or rank data across national, state, county, and district levels.

Provides comprehensive mathematical differentiation capabilities using symbolic computation (SymPy) and automatic differentiation (autograd).

Enables the AI Learning Assistant to perform web searches for current or external information, returning ranked public-web results with titles, URLs, snippets, and scores over Streamable HTTP.

Enables querying the Urban Institute's Education Data Portal — harmonized federal data on schools, school districts, and colleges — through a discovery-first set of tools that search and describe datasets, fetch raw records or aggregated statistics, decode coded values, and resolve institution names to IDs, with no API key required and read-only access to the live API.

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