"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP servers:

TEX 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.

Stdio 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.

A 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.

A celebratory MCP server that provides information about the MCP spec graduation, including tools for trivia, toasts, and migration checklists. No authentication required.

A self-hosted MCP server for Linear that reduces response sizes by field-selecting minimal data, saving tokens and costs in LLM agent sessions.

Enables coding agents to reduce context tokens by requesting file outlines, individual symbols, compact searches, and condensed test, lint, and type-check failures instead of reading whole files or raw command output.

A lean, agent-first MCP server for JIRA Cloud that exposes 10 intent-shaped tools for searching, creating, updating issues, and more, with human-friendly references and recovery hints.

Provides intelligent codebase analysis, dependency scanning, architecture detection, security vulnerability scanning, and automatic documentation generation for modern development teams.

An MCP server that provides structured, AI-powered guidance for LeetCode problems, including approach analysis, hints, complexity breakdowns, and optimization directions without spoiling solutions.

MCP server for amazon.in — cheapest in-stock, best-value picks, and price history links.

A unified MCP server for multi-stand infrastructure testing, enabling REST API calls, PostgreSQL queries, and OpenSearch searches through a single config file.

A 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.

Fork of @cyanheads toolkit MCP server. Added encoding functions, removed system network functions.

Enables querying a Git-stored Markdown wiki by syncing, indexing, and providing tools to list, search, and read documents via MCP.

Provides comprehensive startup consulting services including commercial area analysis, competitor research, policy funding recommendations, startup checklists, and business trends using Kakao Map API and public data.

Enables LLMs to access MCP protocol specifications and TypeScript SDK documentation with context-aware search and code templates for building custom MCP servers.

A local, trustless MCP server that lets AI coding assistants sync brainCloud cloud-code scripts to and from your filesystem and git repo.

Enables an Alexa+ host to place and manage customer-care calls by building a case, navigating phone menus, waiting on hold, explaining the issue, guarding sensitive disclosures, handing off identity checks, recording ticket numbers and promises, and scheduling follow-ups.

Enables natural language management of job applications through MCP-compatible clients, including searching real job offers, creating and deleting applications, generating CVs or cover letters, and retrieving application metrics.

An MCP server for AI-powered game development tools, including combat balancing, skill analysis, level pacing, and simulation.

An MCP server that adds vision capability to any LLM by forwarding images to OpenRouter vision models, returning text analysis. Supports image analysis, model listing, and config diagnostics.

Enables Codex to rank available tools and skills, rerank code and documentation search results, and triage saved output artifacts using Jev-based relevance scoring while leaving final decisions to Codex.

Enables MCP clients to turn Make blueprints and Zapier exports into n8n workflow files, with a per-step report of what converted, what to review, and what must be finished by hand. Also lists zaps, explains how individual steps are handled, checks workflow files for broken links or placeholders, and can upload the result to an n8n instance as an inactive workflow.

Provides compiler-grade TypeScript symbol renaming and file/directory move planning through the TypeScript Language Service, returning structured edit plans without modifying files.

An MCP relay that adds a use_jev tool to every connected server, letting the Jev model autonomously select and execute tool calls while the calling model supplies any required text values. It enables agents to delegate multi-step tool use across all configured MCP servers through a single unified interface.

Enables AI coding agents to perform Lean 4 formal verification, navigate project symbols offline, and inspect C FFI bindings.

Troubleshoot nTop issues with AI-powered error diagnosis, swarm analysis, screen capture, and macro automation.

Enables Codex to manage a local Claude Code companion through MCP, implementing a dual-agent workflow where Codex handles reasoning and review while Claude Code performs engineering tasks.

A modular monolith MCP server connecting multiple providers (Redash, PostgreSQL, GitHub) with unified permission, security, and auditing, enabling secure data access and tool execution.

Provides emergency coding assistance by querying three AI coding models simultaneously through OpenRouter, with automatic premium fallback on rate limits, returning multiple expert opinions with cost and latency telemetry for debugging and problem-solving.