"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP servers:

📈 提供股票、加密货币的数据查询和分析功能MCP服务器

Complete Vinted MCP and CLI Server

An MCP-native pipeline for collecting structured intelligence on higher education institutions using the WHED schema, enabling scraping, extraction, validation, and saving of profiles.

A fault-tolerant, stealth-enabled Model Context Protocol (MCP) server for web searching and content fetching. Built for AI Agents (Cursor, Claude Code, OpenCode), it uses a stealth browser engine to fetch pages, dynamically handles SPAs/React, and converts bloat into token-optimized Markdown.

Enables AI agents to drive real Google Chrome with stealth and captcha handling, using Patchright to avoid bot detection.

Validates URLs and checks their reputation to help identify AI hallucinations and verify web page authenticity.

Provides 63 production-ready API tools for AI agents, including web scraping, AI generation, crypto data, OCR, image generation, audio transcription, text-to-speech, email, and domain lookup.

Human-in-the-loop automation framework. Log them in, watch them run.

Enables web search via Serper API with advanced search operators and webpage scraping capabilities to extract content in plain text or markdown format.

An MCP server for controlling Google Chrome through native messaging, featuring forced reconnect, diagnostic tools, and automatic permission management. It enables AI assistants to automate browser tasks such as navigation, scraping, and interaction with web pages.

Bridges UI feedback captured by a browser extension on localhost apps into a Claude Code session, queueing picked elements, comments and rewrite requests as batches that the coding agent can claim and act on. It also lets Claude report progress and per-item results back to the extension, and can import batches exported as JSON.

An authless Cloudflare Workers server that provides tools to scrape, analyze, and answer questions about websites using Cloudflare's Browser Rendering and AI capabilities.

Automatically generates complete favicon sets from PNG images or URLs, creating multiple sizes, ICO files, Apple touch icons, and manifest.json for web applications.

Integrates Jina AI Search Foundation APIs to provide web page content extraction and search capabilities. It supports automatic pagination, result caching, and both standard and VIP search endpoints for enhanced information retrieval.

Exposes Amazon Nova Act web automation capabilities through the Model Context Protocol, enabling AI agents to perform browser tasks like navigation, data extraction, and form interaction.

Provides web search and page fetching capabilities using Ollama's API.

Provides 9 utility APIs for AI agents covering DNS, email, IP, QR, WHOIS, URL health, headers, text extraction, and tech detection, with x402 micropayments on Base.

Enables LLM agents to automate browser tasks through secure, sandboxed Rhai scripts executed in a WebAssembly VM, supporting DOM interactions and tab management via MCP tools.

Enables browser automation (navigate, screenshot, click, type, etc.) for Claude Code via MCP protocol, with a Chrome extension for configuration.

Enables estimating used-car market values from comparable Leboncoin listings, providing listing details and exclusion reasons to inform valuations.