"Using agents in VSCode to reference library documentation during programming" matching MCP servers:

An MCP server that helps AI agents comprehend a codebase by providing tools for navigating, searching, and understanding code structure and history.

Enables full-text search and paginated retrieval of indexed documentation (PDFs, Markdown, text) through MCP tools, with filtering by category and file.

Enables coding agents to establish exact-release library identity, search provenance-tracked API, docs, example, source, and release evidence, compare releases, and test proposed invocations in isolated capsules for Rust and Python dependency environments.

Enables locally-first literature research through an MCP host by collecting sources, parsing documents, retrieving evidence, validating citations, and exporting research records in multiple formats.

Provides 23 modular tools for competitive programming, including problem analysis, algorithm planning, code generation, verification, testing, code review, and learning assistance.

Search and retrieve Agent2Agent (A2A) protocol documentation using full-text search and section filtering.

MCP server that wraps STM32CubeMX CLI to let AI load .ioc projects, modify pin/peripheral configurations, generate HAL code, and export pinout tables.

MCP server for Claude Code that generates a documentation skeleton from Git repository changes, outputting a Markdown file with placeholders for AI analysis.

Provides full-text search and retrieval tools for Apache Spark documentation using SQLite FTS5 with BM25 ranking. It enables AI assistants to efficiently search, filter by section, and read specific Spark documentation pages.

Enables a persistent local library for mathematical PDFs with cached LaTeX extraction, full-text search in English and Greek, and page/image retrieval over MCP.

MCP server providing governed access to board meeting data, with tools to query meetings, motions, and documents, automatically applying anonymity policies before returning answers.

Enables searching and reading OCI documentation using the Oracle Help Center Search API. Provides tools for finding relevant documentation URLs and reading page content.

Enables AI coding agents to synthesize and play concise spoken summaries of their work through multiple TTS providers, including Azure, OpenRouter, OpenAI, Gemini, ElevenLabs, and local OpenAI-compatible endpoints. It also lets agents stop playback on demand and check which provider, voice, and audio bridge are currently active.

Ultra-fast local markdown documentation RAG for AI coding agents, enabling instant BM25 search over official framework docs and live AI model registries via MCP.

MCP server giving AI models direct access to 30M+ resources at ETH Library Zurich – books, maps, images, archival material, and linked-data person records.

Enables Claude clients to access notes, guidance, projects, and search from a knowledge library, with explicit-save write tools for creating, updating, and appending content only when the user approves.

Provides Large Language Models with real-time access to the latest documentation for Python libraries like Langchain, LlamaIndex, and OpenAI, enabling accurate and up-to-date code suggestions.

An MCP server that lets AI assistants add papers and books to your Zotero library by DOI, arXiv ID, or ISBN, and manage your collections, tags, and items.

Enables an AI agent to launch, monitor, and steer multiple coding agents running in tmux panes, including sending keystrokes, waiting for idle or output patterns, and managing sessions.

A portable MCP server enabling AI assistants to operate VS Code, including file management, extension control, and workspace automation.