"Search results for proofcut" matching MCP servers:

Enables LLMs such as Claude to search and retrieve academic paper information from Semantic Scholar and Crossref, including metadata, abstracts, full-text content when available, and topic/date-filtered results.

Search Vascue's public healthcare-operations documentation: AI front desk for clinics, provider-side insurance claims automation, Cliniko integration, security. Public content only.

Exposes an internal engineering knowledge base to AI assistants, allowing users to search and retrieve standards, runbooks, and architecture decisions. It supports RAG-enhanced search, document scraping, and specialized prompts for incident investigation and code reviews.

Enables searching and querying HackTricks pentesting documentation directly from Claude, with tools for quick lookup, grouped search results, page outlines, section extraction, and cheatsheet mode.

Enables environmental scientists to tidy PFAS lab files, screen results against two drinking-water guideline sets side by side, search public guidance with page-level citations, and check report text so every number traces back to its lab row or guideline page.

Apple developer documentation for coding agents: doc search with developer.apple.com's own results, a complete index of 336,629 pages read in full with signatures and OS availability, and Sample Code with 1,700 WWDC sessions (2014–2026) included. Helps agents write native Swift against current Apple APIs.

Provides tools for retrieving and processing documentation through vector search, enabling AI assistants to augment their responses with relevant documentation context.

Enables investigating issues and finding answers on a NodeBB forum by searching its history, extracting existing answers, and identifying unanswered questions, with optional plugin integrations for sharper results.

High-performance code understanding toolkit that enables batch reading of multiple files with dependency context, structural outline extraction with Java annotation awareness, and precise location of classes/methods across large codebases.

Provides 14 enhanced intelligent search tools for both international platforms (GitHub, StackOverflow, NPM, etc.) and Chinese platforms (CSDN, Juejin, WeChat docs, etc.). Each tool includes smart URL generation, search tips, and related suggestions for comprehensive technical research.

Provides AI assistants with specialized tools to interact with NIST's Open Security Controls Assessment Language (OSCAL) framework. It enables agents to retrieve schemas, explore models, and generate valid OSCAL documentation for security compliance automation.

Enables AI models to search and read technical discussions, customizations, and error resolutions from the Sankhya Community forum. It provides tools to retrieve topic lists and extract clean content from specific posts to help resolve system-related issues.

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.

Enables searching documentation from GitHub repositories and web pages via MCP tools, with in-memory indexing and caching for fast retrieval.

A professional literature search tool built on FastMCP framework that enables AI assistants to search academic literature from Europe PMC, retrieve article details, and analyze journal quality with seamless integration into Claude Desktop and Cherry Studio.

MCP server for Yandex Wiki with full-text search. Read and write pages, comments, attachments, and dynamic tables (grids); optional server-side read-only mode for agents. Docker-ready.

Enables semantic search across multiple AI library documentations to keep coding assistants up-to-date.

Enables searching, downloading, and reading academic papers from multiple platforms including arXiv, Semantic Scholar, PubMed, bioRxiv, medRxiv, IACR, Google Scholar, RePEc/IDEAS, and Sci-Hub with PDF to Markdown conversion.

Live, ranked search across any number of llms.txt documentation sites - Strands, Kiro, the AWS guides, and whatever you add at runtime.

Provides AI-powered search and documentation tools using Google Vertex AI or Gemini API with real-time web search grounding, enabling technical queries, code analysis, documentation retrieval, and architecture recommendations to overcome LLM knowledge gaps.

A Model Context Protocol server that converts diverse file types, including PDFs, images, audio, and Office documents, into Markdown format. It also transforms web content like YouTube transcripts and Bing search results into readable text for model consumption.

Enables AI assistants to search arXiv's research repository, download papers, and access their content programmatically. Includes specialized prompts for comprehensive academic paper analysis covering methodology, results, and implications.

Enables AI agents to search 1m+ open-access papers, standards, textbooks, and legal documents, resolve identifiers such as RFCs, DOIs, and legal citations, download PDFs, and retrieve citations and metadata through MCP tools.

Enables reading, searching, and metadata extraction from PDF files without loading the entire content into the context window. It provides efficient tools for text cleaning, page-specific extraction, and context-aware search results.

Provides AI assistants with locally bundled tools to explore NIST OSCAL models, retrieve schemas, list community resources, and generate valid OSCAL templates for governance, risk, and compliance workflows.

Enables semantic search over local markdown documentation by indexing files and ranking results using vector similarity and BM25 fusion.

Fetches npm package READMEs, metadata, and search results for MCP-compatible AI clients.

Converts various file types (PDF, images, audio, DOCX, XLSX, PPTX) and web content (YouTube videos, web pages, Bing search results) into Markdown format for easy reading and sharing.

Enables AI agents to subscribe to a deterministic daily ethics feed drawn from a four-module curriculum and retrieve read-only tools, resources, and reflection prompts covering principles, case studies, and codes of conduct.

Enables AI coding assistants to perform real-time web searches for technical documentation and deep-fetch web pages, returning clean structured results. It supports integration with MCP clients such as Cursor, Claude, and CodeBuddy.

MCP server for Forge Minecraft modding documentation. Gives AI assistants direct access to Forge docs with structured search results.

Lets any MCP client list and keyword-search a community-curated index of OpenAI Dots guides, news, tools and use cases, with optional filtering by section. Results are pulled from GitHub and cached for ten minutes, and the source list can be swapped via an environment variable.

Enables searching and retrieving NixOS configuration options using the official NixOS search API. It provides detailed metadata including option types, default values, and descriptions with full support for paginated results.

Exposes seven MCP tools that let an AI coding agent detect a project's stack, fetch the priority security checks for that platform, search 2,057 OWASP-derived check cards with file-and-commit provenance, and record evidence-backed pass/fail results in a report.

Automatically crawls documentation websites, converts them to organized markdown files, and generates condensed cheat sheets. Intelligently categorizes content into tools/APIs and provides local-first access to downloaded documentation.

Enables querying detailed information about characters, echoes, and character profiles from the Wuthering Waves game, returning results in LLM-optimized Markdown format.

Enables searching and retrieving documentation files from a local docs folder using a search tool and dynamic resource URIs.

Enables vector similarity search and serving of Svelte documentation via the MCP protocol, with support for local caching and multiple llms.txt documentation formats.

A Model Context Protocol server that enables intelligent searching across documentation for 30+ programming libraries and frameworks, fetching relevant information from official sources.

Read-only search over Ahrom Labs' published guides on Indian ERP requirements, IBR 2026 boiler forms, interior BOQs, TallyPrime integration and AI assistants for business data. Returns passages with the URL of the page each came from; no sign-in.