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

Converts AI Skills (following Claude Skills format) into MCP server resources, enabling LLM applications to discover, access, and utilize self-contained skill directories through the Model Context Protocol. Provides tools to list available skills, retrieve skill details and content, and read supporting files with security protections.

Sandboxed Python execution with automatic dependency management. Executes Python scripts in isolated environments (bubblewrap or Docker) with PEP 723 inline dependencies, preventing host pollution.

Enables exploring Microsoft Fabric / Power BI workspaces and semantic models, and executing ad-hoc DAX queries.

Provides CodeQL language intelligence to AI agents via MCP, enabling completions, hover, definitions, references, diagnostics, formatting, and in-memory file updates for QL code.

Enables comprehensive threat analysis for Indicators of Compromise (IoCs) including IP addresses, file hashes, domains, and URLs. It provides detailed reputation scores, security vendor evaluations, and network metadata to facilitate security assessments and risk detection.

An MCP-powered AI agent that audits your Gmail for recurring subscriptions, detects silent price increases, and flags unused services.

A minimal MCP server template that offers calculator tools, resources, and prompts for learning NitroStack fundamentals, built with TypeScript and Zod.

Enables users to search and retrieve fitness exercise information from the Api Ninjas database. It supports filtering by exercise name, target muscle, type, and difficulty level.

Provides tools to search and retrieve news across various categories including business, technology, science, and sports via the Google News API. It supports keyword searches, autocomplete suggestions, and region-specific news across multiple languages.

Generates Lorem Ipsum placeholder text with customizable parameters including paragraph count, length, and formatting options through the API Ninjas service.

Enables detection of AI-generated content from ChatGPT, GPT-4, and Gemini models through the BACH AI Content Detector API.

Enables validation of single or bulk WhatsApp numbers and retrieval of account metadata, such as business status and profile info, via the Bulk WhatsApp Validator API.

Enables access to the Zillow56 API to search for real estate listings and rental market trends using locations, coordinates, or specific property filters. It also provides comprehensive housing market snapshots and historical data based on the Zillow Home Value Index (ZHVI).

Enables access to the Deezer 1 API through MCP protocol. Requires API key authentication and supports integration with Cursor and Claude Desktop for interacting with Deezer services.

Enables users to search for and retrieve detailed information about celebrities from the API Ninjas database. Supports filtering results by name, nationality, net worth range, and height.

A multi-domain MCP server that exposes a small, stable surface of three tools (list_domains, list_domain_tools, call_domain_tool) to gate access to various tool domains like Plane and BloodBank, preventing agent schema overload.

MCP server for DCI API enabling AI models to extract and analyze DCI jobs, components, and topics, with integrations for Google Drive, Jira, GitHub, and Red Hat support cases.

An MCP server that enables LLMs to execute Python code on GPU-accelerated compute nodes within SLURM-managed HPC environments. It bridges local clients to remote clusters by launching JupyterLab sessions via SLURM jobs to facilitate high-performance notebook-based computation.

MCP server for automatic fact-checking of political claims by querying official statistical APIs (INSEE, Eurostat, World Bank, OECD) and providing tools for data retrieval, comparison, and cherry-picking detection.

A travel booking server that enables searching for flights, hotels, and destination recommendations based on user interests and budget. It provides additional tools for calculating total trip costs and retrieving destination-specific travel tips.