A
license-
qualityC
maintenanceTEX is an MCP server that enables Claude Code to perform browser tasks using plain language, driving a real browser to interact with web applications that lack APIs.
Last updated
MIT
51,359 servers. Last updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
Matching MCP tools:
Matching MCP Connectors:
actor.apify.godberry--content-to-social-mcp
io.github.ComeHomeAI
io.github.pipeworx-io
io.github.kimjin8
"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP servers:
- Alicense-qualityDmaintenanceEnables verification of Lean 4 mathematical proofs via MCP tools, allowing AI clients to compile and check theorems with Mathlib.Last updated1MIT
- AlicenseAqualityBmaintenanceMCP server that converts URLs into token-minimized clean text for LLMs, providing a receipt of token and cost savings.Last updated1MIT
- AlicenseAqualityAmaintenanceEnables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external search services.Last updated22431MIT
- FlicenseDqualityDmaintenanceA local agent that monitors your system clipboard, automatically uploads copied images to Supabase Storage, and replaces the clipboard content with the public URL for immediate sharing.Last updated22
- Alicense-qualityFmaintenanceMCP server for agentic interaction with the Lean theorem prover via LSP, providing tools for understanding, analyzing, and interacting with Lean projects.Last updated19MIT
- Alicense-qualityCmaintenanceStdio MCP server for managing recommended.by lists from agents like OpenClaw, Codex, Claude Desktop, etc. It exposes tools to create, read, update, delete lists and items via the recommended.by REST API.Last updated7MIT
- Alicense-qualityBmaintenanceA production-grade MCP server for managing git projects, offering dynamic tool selection and enterprise-grade security.Last updated2MIT
- Flicense-qualityDmaintenanceEnables ChatGPT Desktop to interact with MetaTrader 5 for trading, market data access, and trade management via HTTP/ngrok.Last updated1
- Alicense-qualityDmaintenanceA multi-agent MCP server that enables AI coding agents (Claude Code, Codex CLI, Gemini CLI) to communicate with each other.Last updatedMIT
- Alicense-qualityCmaintenanceProvides read-only access to MetaTrader 5 market data, trading history, and technical analysis through Python execution. Supports querying price data, calculating indicators, creating charts, and generating forecasts with Prophet and ML models.Last updated3MIT
- Alicense-quality-maintenanceProvides intelligent codebase analysis, dependency scanning, architecture detection, security vulnerability scanning, and automatic documentation generation for modern development teams.Last updated30MIT
- Alicense-qualityFmaintenancePersistent memory and pattern learning for AI coding assistants via MCP.Last updated117170MIT
- Flicense-qualityCmaintenanceAn MCP server that provides structured, AI-powered guidance for LeetCode problems, including approach analysis, hints, complexity breakdowns, and optimization directions without spoiling solutions.Last updated2
- Flicense-qualityDmaintenanceGitHub Repo Helper is a simple and beginner-friendly Model Context Protocol (MCP) server that takes a GitHub repository URL and returns a structured summary of the repo. It fetches metadata such as the repository name, description, languages used, README content (summarized), and dependency infoLast updated
- AlicenseAqualityBmaintenanceCall OpenAI Codex from Claude Code for independent second opinions, structured code review, and delegated coding tasks through a FastMCP plugin that drives the codex CLI safely.Last updated16MIT
- FlicenseAqualityFmaintenanceProvides documentation search, reading, and AI-powered Q\&A for ArkTS/ArkUI development, enabling AI coding assistants to answer questions and retrieve official docs.Last updated743
- AlicenseAqualityAmaintenanceMCP server for amazon.in — cheapest in-stock, best-value picks, and price history links.Last updated31103MIT
- FlicenseAqualityDmaintenanceMCP server for generating consistent UTM-tagged links based on an authoritative, version-controlled UTM specification.Last updated1
- AlicenseAqualityDmaintenanceA lightweight server that exposes FFmpeg's video processing capabilities to AI assistants through the Model Context Protocol (MCP), supporting operations like video format conversion, audio extraction, and adding watermarks.Last updated82225MIT