A
license-
qualityC
maintenanceA server that enables compilation of LaTeX documents to PDF and management of reusable templates and snippets through the Model Context Protocol.
3
MIT
73,107 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:
- FlicenseAqualityDmaintenanceEnables AI assistants to create, edit, and validate LaTeX documents through a standardized protocol with support for multiple document classes and package management. It provides tools for document structure analysis and file organization to streamline the generation of professional academic papers.817
- Alicense-qualityDmaintenanceEnables Claude and other MCP clients to access and process arXiv papers by fetching their LaTeX source code, providing accurate interpretation of mathematical equations and notations that PDF processing often struggles with.MIT
m-dev-tools-mcpofficial
AlicenseAqualityBmaintenanceMCP server that exposes tools to route natural language queries to typed IDs, describe catalog entries, and list repository verification commands for the m-dev-tools organization.3AGPL 3.0- FlicenseAqualityDmaintenanceA Model Context Protocol server that converts Markdown documents to plain text with flexible options and dual protocol support.4
- AlicenseAqualityBmaintenanceEnables searching and retrieving documentation from crawled documentation sites as an MCP server, allowing coding agents to query real docs instead of relying on training data.4MIT
- AlicenseBqualityDmaintenanceEnables AI assistants to convert LaTeX source code into professionally formatted PDF documents with comprehensive error handling and local file generation capabilities.1201MIT
- AlicenseBqualityFmaintenanceAutomatically crawls documentation websites, converts them to organized markdown files, and generates condensed cheat sheets. Intelligently categorizes content into tools/APIs and provides local-first access to downloaded documentation.3GPL 3.0
- Alicense-qualityCmaintenanceConverts Markdown files to Atlassian Document Format and publishes them to Confluence, with support for rendering Mermaid diagrams as PNG attachments.41MIT
- Alicense-qualityDmaintenanceConverts any OpenAPI/Swagger spec into an MCP server, exposing REST API endpoints as tools for Claude.MIT
- MIT
- Alicense-qualityDmaintenanceA minimal MCP server that auto-generates tools from your OpenAPI spec, optimized for Vercel.288MIT
- Flicense-qualityDmaintenanceA Cloudflare Worker that transforms Cloudflare AI Search (AutoRAG) instances into an MCP server for querying documentation. It enables AI models to search and retrieve relevant information from custom document sets stored in R2 buckets.17
- FlicenseAqualityDmaintenanceAn MCP server that provides utility tools for markdown processing, including ADF-to-markdown conversion, table formatting, and table of contents management.7
- AlicenseAqualityBmaintenanceEnables inspecting local OpenAPI specification files by listing and retrieving spec details with filters and $ref resolution.3MIT
- AlicenseAqualityCmaintenanceProvides AI assistants with specialized tools to interact with NIST's Open Security Controls Assessment Language (OSCAL) framework. It enables agents to retrieve schemas, explore models, and generate valid OSCAL documentation for security compliance automation.4051Apache 2.0
- AlicenseAqualityDmaintenanceA Model Context Protocol (MCP) server designed to easily dump your codebase context into Large Language Models (LLMs).163Apache 2.0
- AlicenseAqualityDmaintenanceSearch and explore a catalog of 2,000+ MCP servers — full-text search, trending, hot, categories, and side-by-side comparison — from any MCP client. A zero-dependency stdio bridge over the hosted awesome-mcp.tools endpoint.820MIT
- AlicenseAqualityDmaintenanceA comprehensive tool server for reading, merging, and extracting content from PDF files via local paths or direct URLs. It enables metadata retrieval, regex searching, and page-specific text extraction with built-in caching and workspace-restricted security.9MIT
- AlicenseAquality-maintenanceAn MCP server that enables users to read, search, and analyze PDF documents. It provides tools for extracting text, viewing metadata, searching content with context, and generating word statistics.5
