Skip to main content
Glama
73,107 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:

  • A
    license
    -
    quality
    B
    maintenance
    A CDP-native MCP server that lets AI agents drive a real Chrome browser with deep network/console inspection, robust page interaction, and the ability to reverse-engineer a site's API flow into runnable code with dependency chaining and replay verification.
    MIT
  • A
    license
    -
    quality
    C
    maintenance
    A multi-function Streamable HTTP MCP tool aggregation server that provides web search via Brave, Exa, and SearXNG with multi-key rotation and cross-provider fallback, and supports extensible tool families (URL fetch, code search, RAG) through a pluggable architecture.
    MIT
  • F
    license
    -
    quality
    F
    maintenance
    Converts WeChat Official Account articles to clean Markdown with locally downloaded images, supporting single and batch operations via MCP tools.
    93
  • A
    license
    A
    quality
    B
    maintenance
    Fetches a URL and returns the main content as clean Markdown, using plain HTTP when possible and headless Chromium for JavaScript-rendered or bot-protected pages.
    1
    MIT
  • F
    license
    A
    quality
    D
    maintenance
    Provides local web search and content fetching capabilities for AI assistants, enabling them to search DuckDuckGo and extract clean text from web pages. All requests originate from the user's machine to ensure direct network control and bypass external proxies.
    2
  • F
    license
    A
    quality
    D
    maintenance
    An MCP server that provides Claude with comprehensive desktop automation capabilities including browser control, window management, and native mouse/keyboard input on Windows. It enables users to capture screenshots, launch applications, and interact with the system clipboard through natural language.
    20
  • A
    license
    B
    quality
    A
    maintenance
    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.
    1
    184
    44
    MIT
  • A
    license
    -
    quality
    A
    maintenance
    This application is a powerful browser monitoring and interaction tool that enables AI-powered applications via Anthropic's Model Context Protocol (MCP) to capture and analyze browser data through a Chrome extension.
    7,291
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    An MCP server that provides tools for interacting with Chrome through its DevTools Protocol, enabling remote control of Chrome tabs to execute JavaScript, capture screenshots, monitor network traffic, and more.
    44
    53
    MIT