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

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

Automates the conversion of Figma designs into TypeScript React components and integrates with GitHub to create pull requests for the generated code. It includes visual regression testing with Playwright and accessibility validation to ensure implementations match the original designs.

Enables AI agents to inspect Git repositories for changes across committed, staged, unstaged, and untracked scopes, and run allowlisted validation commands with structured results.

Zero-sidecar MCP server embedded directly in the Godot 4 editor as a GDScript EditorPlugin — no Node or Python sidecar. Reflection-driven tools over any engine class, validate-before-write GDScript, scene/script/resource authoring, and a runtime play-test loop (play, screenshot, input, assert).

Enables migration of test automation projects from WebDriverIO to Playwright using AST-based transformations. Provides tools for analyzing tests, converting syntax, refactoring to Page Object Model, and generating migration reports.

A simple server implementing the Model Context Protocol (MCP) that echoes messages back, designed for testing MCP clients.

Bridges AI models with WinDbg to analyze Windows crash dumps and perform remote debugging through natural language queries, enabling execution of debugger commands and automated crash analysis.

MCP server for remote debugging of Apps in Toss mini-apps, providing CDP relay and test runner capabilities.

Enables LLMs to perform browser automation tasks including web scraping, taking screenshots, and executing JavaScript using Playwright. It facilitates real-time interaction with web pages and the generation of automated test code.

MCP server that brings Trustabl static reliability scanning into Cursor, letting agents inventory agents/tools, flag risky patterns, score production readiness, and write SARIF reports.

A FastAPI + FastMCP dashboard for registering MCP mock server contracts and connecting to them via Streamable HTTP endpoints.

Automates downloading mobile game performance data from PerfDog and converts it to Tableau-ready CSV format with device statistics, FPS metrics, and time-series data.

Translation quality evaluation MCP Server powered by xCOMET. Provides quality scoring (0-1), error detection with severity levels, and optimized batch processing for AI-assisted translation workflows.

A reference MCP server that enforces identity-aware tool access using role-based permissions (Reader, Analyst, Auditor) and supports multiple identity routes like Entra RBAC, Copilot Studio, and Okta XAA. It provides read-only access to test evidence with explicit denial paths for unauthorized tools.

Enables AI agents to monitor website performance by scanning sites, retrieving Core Web Vitals, detecting regressions, and receiving AI-powered optimization recommendations.

Enables AI agents to review code diffs for bugs, security issues, and bad patterns, and generate fixes.

Enables querying Codecov coverage data including file, commit, repository, and pull request coverage.

Enables AI-powered analysis of mobile app bug videos through screen recordings. Analyzes crashes, UI issues, and unexpected behavior in React Native, iOS, and Android apps to provide root cause identification and code fix suggestions.

Enables interaction with AWS Fault Injection Service to create, manage, and execute chaos engineering experiments. Operates in read-only mode by default for security, with optional write operations for starting/stopping experiments and managing templates.

Performs vulnerability scans using Trivy to generate Software Bill of Materials (SBOM) in CycloneDX format. It enables automated security auditing and dependency tracking through the Model Context Protocol.