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

Enables natural-language querying of a mock legacy healthcare database and returns validated FHIR resources (Patient, Observation, Condition).

This server enables interacting with the National Digital Health Mission's Health Information User (HIU) API, allowing agents to access and manage health information through the Multi-Agent Conversation Protocol.

MyChart MCP Server

Exposes four CMS public datasets as callable tools in Claude conversations, enabling natural-language real-world evidence analytics without SQL expertise.

Enables users to understand lab test results, check food-drug interactions, and get medication information from official Korean sources. Offers personalized insights based on user's health profile and current medications.

Empowers AI agents with direct access to the official ClinicalTrials.gov database, enabling programmatic searching, retrieval, and analysis of clinical study data through a Model Context Protocol interface.

Enables agents to interact with a clinic booking API, including listing specialties, doctors, and a patient's appointments, and booking or cancelling appointments when the active profile permits, while preserving the caller's authority and screening tool descriptions for safety.

An MCP server that enables AI coding assistants to interact with Rosetta, PyRosetta, and Biotite for running RosettaScripts, validating XML, translating between Rosetta and Biotite, scoring structures, and querying documentation.

Provides seamless integration with FHIR APIs, enabling AI/LLM tools to search, retrieve, and analyze clinical healthcare data with support for SMART-on-FHIR authentication and multiple transport protocols.

Provides safe read-only access to synthetic healthcare data via FHIR R4, enabling AI assistants to search patients, retrieve vitals, and summarize conditions using a public sandbox.

An MCP server that exposes a DICOMweb-compliant DICOM archive to AI assistants. It lets any MCP-capable client search studies, series and instances, inspect metadata, read Structured and Encapsulated PDF Reports, and render image frames — all through natural language.

A Model Context Protocol (MCP) server for searching the National Provider Identifier (NPI) registry. This server provides tools to search and retrieve information about healthcare providers and organizations in the United States.

Enables AI assistants to upload clinical documents and medical device images for health data extraction, normalization, and retrieval of structured coded results in formats such as JSON, FHIR, HL7, CSV, and Parquet.

An MCP server for interventional pain medicine that provides Medicare documentation checklists, CPT/ICD-10 coding, ASRA anticoagulation guidance, prior-authorization letters, denial appeals, and research evidence for 85+ procedures.

MCP server for FHIR interoperability, enabling natural language querying and manipulation of clinical data with full CRUD operations, semantic search, and RAG capabilities.

An MCP server for querying the KEGG bioinformatics database, providing tools, resource templates, and guided prompts for pathways, genes, compounds, and more.

A Claude-compatible MCP server that exposes health-domain tools over 100% synthetic data, built with security and compliance in mind.

Enables AI assistants to search the doktor.mx directory for over 56,000 verified doctors and medical specialists across Mexico. It provides tools for verifying professional licenses, finding specialists by symptoms or conditions, and checking medical insurance compatibility.

Provides access to the Human Phenotype Ontology (HPO) API with tools for searching, browsing hierarchy, and analyzing phenotypic terms used in genetic research.

MCP server for Tebra practice management that gives AI agents access to 45 tools for patients, appointments, billing, documents, and clinical data via SOAP and FHIR APIs.