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

DXF drawings for AI agents: structured facts, PNG renders, and an interactive in-chat viewer.

MCP for SpaceTime Server APIs

An MCP server for converting data between 16 formats including JSON, YAML, TOML, CSV, XML, Markdown, HTML, Excel, PDF, and more. Supports single transforms, batch fan-out to multiple targets in one call, and JSON reshaping with dot-notation path mapping. 240 conversion pairs, zero config.