"Search results for proofcut" matching MCP servers:

AI-powered academic paper search MCP server with relevance scoring, summarization, author search, and credit checking. Enables users to search papers naturally and get scored results.

Unified MCP server for discovering open datasets across Hugging Face, Zenodo, and Kaggle, with ranked search results and one-click Colab starter code generation.

An MCP server for executable mathematics that enables agents to construct objects, compute invariants, search for witnesses, and verify results with independently checkable evidence.

An MCP server that searches across the Internet Archive and Library of Congress at once, merging results while keeping each archive's differences. Provides tools to search inside texts, search catalogues, and retrieve item records, all read-only and without an API key.

Provides tools for managing quantitative research knowledge graphs, enabling structured representation of research projects, datasets, variables, hypotheses, statistical tests, models, and results.

Institutional-grade quantitative stock analysis and research signals for AI agents via the Model Context Protocol (MCP).

Real human judgment as agent tools -- an AI agent can ask a question and get back a structured, schema-validated JSON answer from a real quality-scored human. 16 response types (yes/no, ratings, rankings, A/B tests, sentiment, image/video/audio review, voice/video/photo capture). Fully programmatic signup with a $5 free trial credit, no card required.

Enables agents to compute cross-verified natal charts, verify ascendants from other tools, and inspect historical timezone data, while refusing to return unverifiable results.

Enables searching Google Scholar papers with year filtering, deduplication, and proxy support. Also provides paper detail retrieval, TF-IDF relevance analysis, and chart generation via MCP tools.

Converts clinical blood-test results between conventional and SI units and resolves lab-marker names to canonical analytes.

Feedback collection for AI agents. Create surveys from JSON schema, collect responses from groups of people, and retrieve structured results.

Enables searching and retrieving articles, citations, and structured content from Grokipedia for research and information retrieval. It provides specialized tools for section extraction, related page discovery, and filtered search results.

Free competitive pricing intelligence for SMB CPG brands. Check where any product price sits in its Amazon category, track pricing trends, and compare products — no NielsenIQ or SPINS subscription needed.

Search 200M+ patents and scientific literature in natural language using PatSnap's global R&D intelligence database.

An MCP implementation that integrates the Brave Search API, providing comprehensive search capabilities including web, local business, image, video, news searches, and AI-powered summarization.

Empowers AI agents with direct access to the official ClinicalTrials.gov database, enabling programmatic searching, retrieval, and analysis of clinical study data through a Model Context Protocol interface.

Enables AI agents to recruit real humans for evaluation tasks like surveys, A/B tests, and ratings on text, images, audio, and video, returning aggregated results directly into the conversation.

A hosted MCP server that returns DuckDuckGo search results as structured JSON, with ranked organic results, separate ads, AI answers, and 37 region/language targets for any MCP client.

Enables searching scholarly literature across CrossRef, ERIC, Semantic Scholar, and OpenAlex, and retrieving open-access PDFs via Unpaywall.

MCP server for searching Chinese academic literature from CNKI Space, returning metadata such as title, authors, year, and links, and retrieving abstracts and degree details. Enables agents to query CNKI without an account.