A
licenseA
qualityB
maintenanceAn MCP server for LaTeX that enables AI assistants to check documents for errors, parse compiler logs, and compile LaTeX files, helping them fix documents instead of guessing.
3
MIT
73,156 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
Matching MCP tools:
Matching MCP Connectors:
app.ofia
io.github.max124vip-dev
io.github.eltociear
actor.apify.godberry--content-to-social-mcp
"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:
- Alicense-qualityDmaintenanceA Model Context Protocol (MCP) server that converts LaTeX mathematical expressions to MathML format.7MIT
- Alicense-qualityCmaintenanceA server that enables compilation of LaTeX documents to PDF and management of reusable templates and snippets through the Model Context Protocol.3MIT
- AlicenseBqualityCmaintenanceMCP server for agentic interaction with the Lean theorem prover via LSP, providing tools for understanding, analyzing, and interacting with Lean projects.2120MIT
- AlicenseAqualityDmaintenanceAn MCP server that provides a persistent sandbox for AI coding agents to explore codebases server-side, returning only compact summaries to reduce context consumption.38MIT
- AlicenseAqualityCmaintenanceEnables Large Language Models to access and manipulate Autodesk Revit models through a pyRevit-based bridge and the Model Context Protocol.20161MIT
- MIT
- Flicense-qualityCmaintenanceA collection of production-ready MCP tools for common tasks such as web search, code execution, file operations, and database queries, enabling AI agents to perform these actions through a unified interface.
- AlicenseAqualityAmaintenanceEnables AI assistants to perform controlled Linux system administration tasks like reading logs, managing services, cron jobs, WordPress, and executing sandboxed Python code, with strict security constraints.292GPL 2.0
- AlicenseAqualityDmaintenanceGuides problem-solving by breaking down complex problems into steps and recommending appropriate MCP tools for each stage, with confidence scores and rationales for tool suggestions.144829MIT
- AlicenseAqualityBmaintenanceEnables dynamic creation and execution of custom tools/functions in multiple programming languages at runtime, exposing them to MCP clients like Claude.41043MIT
- AlicenseAqualityDmaintenanceA Model Context Protocol server for time manipulation tasks, enabling AI models to get the current date/time and calculate duration between timestamps.72MIT
- AlicenseBqualityFmaintenanceA 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.3410017922TypeScriptMIT
- AlicenseBqualityDmaintenanceA dynamic MCP server that automatically discovers Python files in a directory and exposes them as tools to any MCP-compatible AI client, allowing users to easily create and deploy custom AI tools.1MIT
- AlicenseBqualityDmaintenanceA Model Context Protocol server providing AI assistants with comprehensive project, task, and subtask management capabilities with project-specific storage.293988MIT
- Alicense-qualityBmaintenanceA throwaway Docker sandbox for agents to run code and shell commands safely.24MIT
- Alicense-qualityBmaintenanceEmpower any MCP-compatible AI Agent(MCP Client) with engineering-grade capabilities to understand, modify, run, and deliver real-world code repositories.749Apache 2.0
- Alicense-qualityCmaintenanceEnable Claude (or any other LLM) to interactively debug your code (set breakpoints and evaluate expressions in stack frame). It's language-agnostic, assuming debugger console support and valid launch.json for debugging in VSCode.17513MIT
- Flicense-qualityCmaintenanceProvides AI agents with tools to retrieve live system statistics (CPU, memory) and safely evaluate basic arithmetic expressions.
- -license-quality-maintenanceProvides access to OpenAI's advanced models (including o3) with integrated web search, Python code interpreter, and combined analysis capabilities. Enables users to perform web searches, execute code in sandboxed environments, and combine search with analysis through natural language.