Skip to main content
Glama
72,476 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

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

  • FLASK-tools by FLASK-LLNL

    FLASK-toolsofficial

    FLASK-LLNL
    F
    license
    -
    quality
    B
    maintenance
    Provides a collection of MCP servers for computational chemistry tasks including molecular generation and retrosynthesis. Also offers property prediction and molecule pricing capabilities.

  • Omics AI MCP Server

    mfiume
    A
    license
    A
    quality
    D
    maintenance
    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.
    6
    1
    MIT

  • MOF Tools MCP Server

    liuyuxiang92
    A
    license
    -
    quality
    D
    maintenance
    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.
    MIT

  • scvi-tools MCP Server

    hyennnnnnn
    A
    license
    -
    quality
    D
    maintenance
    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.
    MIT

  • nucleotide_archive_mcp

    biocontext-ai
    A
    license
    A
    quality
    C
    maintenance
    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.
    11
    1
    Apache 2.0

  • mcp-ubergraph-query

    twhetzel
    A
    license
    A
    quality
    D
    maintenance
    Enables AI assistants to query the Ubergraph biomedical ontology SPARQL endpoint with tools for custom SPARQL queries, term lookup, search, and hierarchy traversal.
    4
    MIT

  • AlphaGenome MCP Server

    taehojo
    A
    license
    B
    quality
    D
    maintenance
    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.
    20
    14
    2
    MIT
  • galaxy-mcp by galaxyproject

    galaxy-mcpofficial

    galaxyproject
    A
    license
    -
    quality
    A
    maintenance
    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.
    37
    MIT

  • SciAgentKit

    ehsansyh
    A
    license
    -
    quality
    C
    maintenance
    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.
    Apache 2.0

  • gene-family-mcp

    xxay-16
    F
    license
    -
    quality
    B
    maintenance
    MCP server for gene family analysis, providing tools for FASTA validation and PlantCARE cis-element prediction, with backend task management for AI agents.

  • Redis Graph MCP Server

    yskale
    F
    license
    -
    quality
    D
    maintenance
    Enables LLMs and AI agents to query a biomedical knowledge graph stored in RedisGraph, with tools for concept search, synonym enrichment, and study variable discovery through semantic relationships.

  • protein-lab

    QINGMINGMIKU
    F
    license
    -
    quality
    A
    maintenance
    Manages local protein experiments with a Flask backend and SQLite, offering tools for protein library management, Beer-Lambert concentration calculations, BLI dilution planning, and experiment archiving. It provides 7 MCP tools for AI assistants like Claude to interact with the system.