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

MCP server for comparing Commvault release versions, retrieving categorized changes, and generating release summaries to support upgrade planning.

Enables AI coding assistants to browse Unreal Python API documentation, search classes and functions, and execute Python code in Unreal Editor.

Provides search and retrieval over a local database of Pathfinder 2e rules. Enables Claude Code to answer rules questions with cited, accurate answers from fetched entries.

Python Docs MCP Server gives AI coding agents local access to the official Python standard library docs. It can look up docs by Python version, return specific sections, and keep answers compact for clients like Claude Desktop, Cursor, and Codex. It runs without API keys or a hosted service.

MCP 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.

An MCP server that provides utility tools for markdown processing, including ADF-to-markdown conversion, table formatting, and table of contents management.

Enables converting a public release-note URL into ordered upgrade tasks with source excerpts, anchors, confidence, and uncertainty, without executing release text or project code.

A Model Context Protocol server that converts Markdown documents to plain text with flexible options and dual protocol support.

A Python-based MCP server that enables users to interact with the esa.io API for documentation management. It provides tools for retrieving user information and performing full CRUD operations on articles.

Enables 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.

Provides up-to-date Python package manager commands by cross-referencing official pip, poetry, uv, and conda documentation with automatic weekly updates.

Automatically 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.

An MCP server that enables users to fetch Python documentation using the Brave Search API through natural language queries.

Provides real-time access to code library documentation and examples through Context7 API integration, enabling AI assistants to retrieve up-to-date technical documentation, code snippets, and best practices for various programming libraries.

Provides documentation generation and analysis tools for AI agents, including JSDoc generation, README analysis, changelog generation, API documentation, and code comment analysis.

Converts Markdown files to Atlassian Document Format and publishes them to Confluence, with support for rendering Mermaid diagrams as PNG attachments.

An MCP server that provides tools for analyzing, linting, formatting, and generating Markdown content. It enables users to programmatically manage Markdown files through features like table of contents generation, statistics calculation, and JSON-to-table conversion.

lark-tools-mcp connects Lark and cursor. It provides cursor with the ability to read documents, send messages, process tasks, and perform data analysis.

Converts any OpenAPI/Swagger spec into an MCP server, exposing REST API endpoints as tools for Claude.

pdf-tools-mcp