Skip to main content
Glama
77,083 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Understanding Sequential Thinking in Server Systems" matching MCP servers:

  • F
    license
    Not graded
    quality
    C
    maintenance
    Read-only MCP server for the July 2026 survey of AI in open-source design systems, enabling agents to query 19 systems' affordances, coercion techniques, and platform data via 9 tools, 2 resources, and 2 prompts.
    1
  • A
    license
    Not graded
    quality
    D
    maintenance
    Enables formal logical reasoning, mathematical problem-solving, and proof construction across 11 logic systems including propositional, predicate, modal, fuzzy, and probabilistic logic. Integrates external solvers (Z3, ProbLog, Clingo) for advanced reasoning, with support for proof storage, argument scoring, and cross-system translation.
    1
    MIT
  • A
    license
    Not graded
    quality
    C
    maintenance
    Provides five rigorous reasoning protocols (debate, red team, audit_argument, threat_model, check_study) that run on the AI you're already using, requiring no extra API keys or costs.
    MIT
  • A
    license
    C
    quality
    C
    maintenance
    Enables academic research through paper search across multiple databases (IACR, CryptoBib, Crossref, Google Scholar), PDF processing, and GitHub repository browsing. Features modular architecture with FastMCP-based proxy server routing to specialized academic tools.
    7
    2
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    Enables quantum systems analysis and simulation including quantum circuits, open quantum systems, quantum chemistry calculations, many-body physics, quantum machine learning, and quantum field theory computations.
    1
    MIT
  • F
    license
    Not graded
    quality
    B
    maintenance
    Exposes hybrid document retrieval and evaluation tools from retrieval-lab via MCP, including search_documents, corpus_info, run_evaluation, and search_my_repos, with wire-level conformance tests.
    1
  • A
    license
    A
    quality
    C
    maintenance
    Real human judgment as agent tools -- an AI agent can ask a question and get back a structured, schema-validated JSON answer from a real quality-scored human. 16 response types (yes/no, ratings, rankings, A/B tests, sentiment, image/video/audio review, voice/video/photo capture). Fully programmatic signup with a $5 free trial credit, no card required.
    7
    120
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    Gateway connector between LLM agents and world data, providing access to financial market prices, macroeconomic indicators, and news through a bundled endpoint catalog.
    6
    8
    2
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    Connects DHIS2 health information systems to AI assistants via the Model Context Protocol, enabling natural language queries for analytics, metadata, and tracker data.
    13
    MIT
  • A
    license
    A
    quality
    B
    maintenance
    An MCP server providing access to XRootD file systems, allowing LLMs to browse directories, read file metadata, and access contents via the root:// protocol. It supports advanced features like campaign discovery, file searching, and ROOT file analysis for scientific data management.
    18
    1
    MIT
  • A
    license
    B
    quality
    B
    maintenance
    Enables natural language conversion of production and queueing systems into Petri net models, with simulation and PNML export via MCP tools.
    66
    MIT