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

MCP server for agentic-first PDF review of LaTeX papers, enabling commenting, compiling, and visual inspection via Claude Code.

Execute Python code via subprocess with timeout and error handling, returning stdout, stderr, and exit code.

Converts any Python Click or Typer CLI into an MCP server automatically — zero-code transformation that introspects CLI commands and exposes them as MCP tools.

A production-grade MCP server providing a persistent Python REPL with multi-session support, sandboxing, and timeout protection, enabling LLM agents to execute Python code across multiple turns with variables that persist between calls.

Executes Python code with safety constraints and manages Python packages through the Model Context Protocol.

一个基于MCP的Python REPL服务器，支持多会话管理、代码执行、历史记录回放和包安装，为AI提供Python解释器能力。

A SQL Server CLI and MCP server for Claude Code that supports standard SQL Server authentication for database interaction and management. It enables users to perform schema exploration, execute queries, and manage data records with built-in SQL injection prevention.

Enables AI agents to securely connect to and manage remote servers via SSH, with tools for running commands, file operations, log inspection, service management, and system monitoring under configurable access controls and audit logging.

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

A comprehensive MCP implementation designed for fullstack development that enables code manipulation, terminal command execution, and system notifications. It provides an intelligent agent interface powered by Gemini to automate Python and Next.js development workflows.

Enables AI assistants to securely interact with IBM i (AS/400) systems via ODBC, supporting SQL queries, CL commands, source code reading, compilation, and spoolfile analysis.

Enables file reading with pagination and regex-based code search across a codebase using grep.

A passive MCP server that exposes a toolbox of executable tools (shell, network, HTTP, AI search, SSH, S3 file operations) to autonomous agents via Streamable HTTP, with strong security features including Docker sandboxing and WAF.

Enables coding agents to perform file, search, patch, git, process, test, package, network, and system operations through 60 typed MCP tools with structured inputs/outputs, structured errors, and a full event journal, replacing terminal use with a typed machine API.

A local MCP server that lets Hermes supervise Claude Code, delegating focused coding, research, or review tasks to the Claude Code CLI and managing worker sessions, background jobs, cancellations, and read-only reviews.

A Rust + Tauri 2 desktop application that turns local project folders into persistent MCP workspaces, enabling AI agents to read files, modify code, run commands and tests, check Git status, and maintain cross-conversation development context through historical checkpoints, with built-in WSS/FRP/Cloudflare tunnels and OAuth for connecting to ChatGPT.

A local MCP server that gives AI coding assistants read, write, search, and execute capabilities within a specified project directory. This Windows GUI build simplifies setup by eliminating manual Python, Node.js, or Docker installation.

Enables ChatGPT Web to discover and invoke native local Codex tools via OpenAI's Secure MCP Tunnel, with the local host executing commands and returning results.

GDB Enhanced Features MCP server for remote debugging and CTF exploitation with 41 specialized tools including ROP search, format-string detection, and memory patching.

Enables MCP clients to invoke common Kali Linux pentesting tools directly as tool calls, with each binary executed safely without a shell.