"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP servers:

Enables querying the BOLD Systems global DNA barcode database for specimen records, taxonomy, barcode sequences, and BIN clusters, with keyless access and FASTA-ready output.

Provides GPU-accelerated scientific computing capabilities including symbolic mathematics, quantum wave mechanics simulations, molecular dynamics, and neural network training through four specialized MCP servers.

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

Enables AI agents to conversationally interact with genomics research networks for data analysis and discovery across multiple Omics AI Explorer platforms. It provides tools for exploring data collections, examining table schemas, and executing SQL queries against datasets like Viral AI and Neuroscience AI.

A specialized MCP server for Metal-Organic Framework research that provides tools for database searching, structural optimization, and energy calculations via ASE. It enables scientific workflows by allowing users to interact with MOF data and perform chemical simulations through a standard SSE interface.

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.

An MCP server that provides standardized access to biomedical knowledge bases and resources, enabling AI systems to retrieve verified information from sources like bioRxiv, EuropePMC, and various protein/gene databases.

Enables deep probabilistic analysis of single-cell omics data using scvi-tools through natural language. Supports SCVI for scRNA-seq analysis, SCANVI for cell type annotation, TOTALVI for multi-modal RNA/protein data, and PEAKVI for scATAC-seq analysis.

Enables searching cryo-EM density maps in EMDB and raw datasets in EMPIAR, with filtering by resolution, keyword, and cross-referencing between the two databases.

MCP server that provides tools to query harmonized gene-disease validity data from the Gene Curation Coalition, supporting consensus and conflict detection for gene-disease assertions.

An MCP server for searching and accessing RNA sequencing datasets from the European Nucleotide Archive (ENA), supporting bulk, single-cell, and spatial transcriptomics with advanced filtering and download capabilities.

Enables AI assistants to query the Ubergraph biomedical ontology SPARQL endpoint with tools for custom SPARQL queries, term lookup, search, and hierarchy traversal.

Enables AI-powered genomic variant analysis including variant impact prediction, regulatory element discovery, and batch variant scoring. Currently operates in mock mode as a proof-of-concept awaiting the public release of Google DeepMind's AlphaGenome API.

Allows to retrieve information about an AnnData object via MCP using the read_lazy function from anndata.

MCP server for interacting with Galaxy bioinformatics platform, enabling AI assistants to connect to Galaxy instances, search and execute tools, manage workflows, and access other features.

MCP-native scientific skills for reproducible computational biology and AI-driven drug-discovery workflows. It combines deterministic scientific tools with an MCP server to give AI agents real computational capabilities.

Enables AI agents to look up molecular interactions from the EBI IntAct database by gene/protein name or UniProt ID, returning detection method, interaction type, organism, PubMed reference, and MI confidence score, along with fast interaction counts. It is keyless and available either through a hosted MCP endpoint, a plain HTTP API, or a local stdio server.

MCP server for biological protein design, folding, and affinity prediction using Refua tools, with optional support for ADMET, clinical simulation, preclinical planning, wet-lab automation, and more.

Enables AI assistants to explore VEuPathDB WDK catalogs, searches, parameters, and gene data, and to perform gene lookups, expression summaries, step estimates, and download URL retrieval using VEuPathDB credentials.

Enables AI agents to retrieve and analyze breeding data from BrAPI-compliant databases through shared tools, with human-in-the-loop approval and verification.