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

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

An MCP server that integrates AI agents with Figma, enabling reading and programmatic modification of designs.

Enables AI agents to directly control Figma Desktop via MCP, supporting UI creation, editing, prototyping, and variable management with over 60 tools.

MCP server for time, timezone, and duration operations. Enables getting current time in any timezone, converting timestamps between timezones, adding/subtracting ISO-8601 durations, and computing time between two timestamps.

The cosense-mcp-server facilitates the integration with Claude Desktop by serving as a middleware command pipeline server, allowing for interaction with projects in cosense.

Enables AI assistants to read and modify Figma designs programmatically through the Model Context Protocol.

An MCP server that provides AI clients with access to developer documentation via llms.txt files. Exposes tools, resources, and prompts.

Enables AI models to access and search offline Wikipedia and other knowledge bases stored in ZIM format files. Provides intelligent content retrieval, structured browsing, advanced search capabilities, and metadata extraction for comprehensive offline knowledge access.

Enables AI assistants to read, search, and traverse your entire reMarkable library, including handwritten notes via OCR.

A TypeScript-based server that enables programmatic management of pseudo-terminal sessions. It allows users to spawn, control, and interact with terminal processes in real-time through the Model Context Protocol.

Enables AI assistants to manage WordPress networks through a MainWP Dashboard, including site management, updates, plugin/theme control, and bulk operations via natural language.

Provides AI assistants with direct access to Jamf official documentation, enabling them to answer Jamf-related questions by searching, retrieving articles, and browsing product documentation.

Model Context Protocol (MCP) server for GitLab — exposes 1006 GitLab REST & GraphQL API operations as MCP tools (42 meta-tools / 57 enterprise), 24 resources, 38 prompts, and 17 completion types for AI assistants. Written in Go, single static binary, stdio and HTTP transport.

Enables AI assistants to scrape pages, batch-process URLs, and crawl entire websites with AI-powered extraction.

Enables AI assistants to read, search, and traverse your reMarkable tablet's library, including handwritten notes via OCR.

An MCP server for interacting with Reddit, enabling browsing, searching, content creation, and management with built-in safe mode and bot disclosure features.

An MCP server that lets LLM agents operate the IDnow Trust Platform sandbox to list verification flows, create sessions, check sessions, and get session details.

MCP server enabling AI assistants to interact with your LogicMonitor, providing 125 tools for comprehensive monitoring and management operations.

A task-board MCP server that provides tools to search, create, and update tasks, resources for reading the board, and prompts for standup and triage workflows.

Thin MCP wrapper around the SQD Portal API for blockchain data queries across multiple networks including EVM, Solana, Bitcoin, Substrate, and Hyperliquid. Provides 25 public tools for discovery, cross-chain queries, and chain-specific operations.