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

Exposes the SiftingIO market-data SDK to AI assistants, enabling live prices, fundamental data, and market information retrieval.

Provides Dify apps with a secure, app-scoped MCP tool catalog and action gateway for authorized FlowFlox operations, enabling intent-driven planning and fixed operational processes without exposing global credentials.

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.

Enables LLMs to query live data from over 250+ sources via CData Python Connectors using natural language. Wraps connectors as a Model Context Protocol server.

Enables AI assistants to query PostgreSQL, MySQL, SQL Server, Oracle, and MongoDB databases through MCP with read-only, audited access.

Enables agents to prove and verify that a real, unique human performed an action, issuing machine-readable signed credentials with public verification.

Enables secure execution of Python code in a sandboxed WebAssembly environment using Pyodide and Deno. Automatically handles package management and captures complete execution results including stdout, stderr, and return values.

Provides deterministic tools for transforming, formatting, and inspecting structured data for AI agents.

Enables agents to ground and compare visual specifications by calculating physical dimensions and degrees of freedom from multimodal inputs.

Provides a collection of MCP servers for computational chemistry tasks including molecular generation and retrosynthesis. Also offers property prediction and molecule pricing capabilities.

MCP server exposing First CH Tools' free web-tool logic for WCAG contrast, JP character counting, WebP conversion, JSON-LD, and llms.txt generation to AI agents.

Provides read-only, governance-audited operations for OLVM and oVirt 4.5 engines, enabling inventory, health, capacity, and diagnosis queries over MCP and CLI with audit logging and budget guards.

Search and resolve MCP server packages on the mpak registry, enabling agents to discover servers, inspect tools, and check credential requirements before installation.

Enables AI agents to discover live and recent football matches, scores, and fan clips on Vublox. Supports searching by team, league, or keyword and retrieving match summaries.

Read-only MCP tools for TROCCO API, enabling workflow and BigQuery datamart audit information retrieval.

Provides deployable, stateless MCP services for rigorous inference evaluation and benchmarking, including a profiled lm-evaluation-harness controller/worker and a bounded vLLM forward-pass benchmark adapter.

Enables planning, scaffolding, diagnosing, and hardening MediaSFU frontend and backend integrations across multiple SDKs with 138 integration tools.

Jewellery sizing and gemstone grading tools by FITINY. Carat-to-millimetre conversion for moissanite, diamond and cubic zirconia corrected for each stone's density — every chart online is calculated for diamond, which is wrong for moissanite by about 9%. Also covers GIA colour (D-K) and clarity (FL-SI) scales, ISO 8653 ring size conversion across US/UK/EU, necklace lengths and stud diameter.

This MCP server lets AI agents connect to Figma to read, analyze, create, and modify designs, including elements, styles, assets, and code generation. It works with free Figma accounts and supports parallel multi-agent use across MCP-compatible clients.

A Machine Comprehension Protocol server that enables AI assistants to interact with Kestra workflows through natural language, supporting operations like flow management, executions, backfills, and other Kestra features.