"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP servers:

A celebratory MCP server that provides information about the MCP spec graduation, including tools for trivia, toasts, and migration checklists. No authentication required.

Provides documentation search, reading, and AI-powered Q\&A for ArkTS/ArkUI development, enabling AI coding assistants to answer questions and retrieve official docs.

Provides intelligent codebase analysis, dependency scanning, architecture detection, security vulnerability scanning, and automatic documentation generation for modern development teams.

Enables querying a Git-stored Markdown wiki by syncing, indexing, and providing tools to list, search, and read documents via MCP.

Enables LLMs to access MCP protocol specifications and TypeScript SDK documentation with context-aware search and code templates for building custom MCP servers.

Helps migrate projects from AI SDK 4.x to 5.0 by generating a migration checklist and searching the official migration guide for code and data changes.

Enables users to search and access AppCan mobile development platform documentation with intelligent fuzzy search, caching, and content retrieval. Provides comprehensive access to AppCan's API documentation, development guides, and tutorials through natural language queries.

Provides a minimal MCP server with safe tools for AI assistants to search project files, read files, search local documentation, and run pre-approved checks within a single project directory.

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

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

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.

Enables developers to interact with SignNow API for document signing workflows, providing documentation access, code examples, and authentication help.

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.

Fetches website content and converts it to Markdown format with AI-powered content cleanup, ad removal, and full OpenAPI/Swagger specification support for easy processing by AI assistants.

MCP server that gives AI assistants on-demand access to 1,500+ amCharts 5 docs, ~300 code examples, and 1000+ class API references.

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

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

Enables converting Markdown text into clean HTML for headings, lists, code blocks, tables, links, and images, with optional full-document wrapping via x402 micropayments.

A minimal MCP server that auto-generates tools from your OpenAPI spec, optimized for Vercel.

Enables AI assistants to analyze project folders for dependencies and frameworks and fetch current documentation or datasheets from the web.