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

This server enables multi-agent conversations for interacting with Cirro's biological data platform through its OpenAPI interface, auto-generated using AG2's MCP builder.

A Model Context Protocol (MCP) server that provides access to the Protein Data Bank (PDB) - the worldwide repository of information about the 3D structures of proteins, nucleic acids, and complex assemblies.

Enables AI agents to control RELION 5.x cryo-EM structure determination software through natural language, providing 23 tools for the complete single-particle analysis pipeline.

Provides chemical informatics endpoints for converting between chemical names and SMILES, processing molecule structures, and comparing molecules, with MCP compatibility.

🔍 Enable AI assistants to search and access bioRxiv papers through a simple MCP interface. The bioRxiv MCP Server provides a bridge between AI assistants and bioRxiv's preprint repository through the Model Context Protocol (MCP). It allows AI models to search for biology preprints and access their

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 DNA sequence analysis and variant effect prediction using Evo2-7B via MCP tools, providing forward inference, likelihood scoring, and batch variant comparison through natural language.

A Model Context Protocol (MCP) server for interacting with Gen3 data commons, with GraphQL query validation to reduce hallucinations.

Enables AI agents and applications to search, retrieve, and analyze chemical compounds, substances, and bioassays from PubChem's vast chemical information database through comprehensive tools for chemical research and discovery.

Enables interaction with the CEDAR metadata repository, including fetching templates, searching BioPortal ontology terms, and managing template instances.

A bridge connecting AI agents to NCBI's PubMed database through the Model Context Protocol, enabling seamless searching, retrieval, and analysis of biomedical literature and data.

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.

Enables LLM agents to search biomedical literature, retrieve article details, find related papers, manage caching, and download open-access full texts through MCP with structured, agent-friendly responses.

Biological and medical data search MCP server.

An MCP server that gives Claude access to NCBI Datasets v2 — search genome assembly metadata, retrieve taxonomy records, and download data packages without leaving your conversation.

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

Enables querying the WormBase database for C. elegans and nematode genomics data, including gene information, protein sequences, phenotypes, interactions, and expression patterns through natural language.

Provides access to EMBL-EBI bioinformatics data including InterPro domains, Pfam families, protein features, and taxonomy through a unified tool.

Enables gene set enrichment analysis using the Enrichr API across hundreds of gene set libraries including Gene Ontology, pathways, diseases, tissues, drugs, and transcription factors. Returns only statistically significant results for interpretation.

A Model Context Protocol server providing LLMs with access to the Ensembl genomics database, enabling AI assistants to query gene information, sequences, variants, and other genomic data across multiple species.