"Comparison of Python-based tools for converting TeX to Lean" matching MCP servers:

Provides web automation utilities, including taking Camofox browser tab screenshots and saving them directly to local files.

A comprehensive Model Context Protocol server providing access to 70+ IT tools for developers and system administrators, including encoding/decoding, text manipulation, hashing, and network utilities.

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.

An MCP server that connects AI assistants to a Neo4j graph database, enabling querying of movie data through tools like graph statistics, genre-based search, and movie details, along with advanced features such as LLM sampling and completions.

Enables agents to quickly find and edit code in a codebase with surgical precision. Find symbols, edit them everywhere with tools for reading code blocks, searching/replacing text, and making precise line-based modifications.

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.

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.

A production-grade, extensible Python template for building Model Context Protocol servers with support for Streamable HTTP and stdio transports. It provides a structured framework for implementing tools, resources, and prompts with built-in authentication, observability, and background task management.

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

A lightweight MCP server that enables AI assistants to execute local development tools and retrieve system status with low latency over stdio or HTTP.

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

A local-first, no-API-key MCP server that enables LLMs to search the web, fetch pages, and read documents using multiple engines and smart fallbacks.

Enables AI assistants to perform Google searches with real, resolvable sources and transparent search terms.

MCP server for overseer.nvim — gives any MCP-capable coding agent running inside Neovim (Claude Code, Codex, Gemini CLI, opencode) the same visibility and control over tasks the user has: list, run, tail, restart, stop. Agent-started dev servers land in the user's own task list instead of becoming invisible orphaned processes.

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.

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 multi-level reasoning with configurable depth levels, session-based state management, structured thought input, and real-time trace resources.

Provides unofficial access to Philippine Stock Exchange data including quotes, price history, disclosures, financial reports, and market data via MCP.

Local MCP server for generating image assets with Google Gemini (Nano Banana 2 / Pro). Supports transparent PNG/WebP output, exact resizing/cropping, up to 14 reference images, and Google Search grounding.