Skip to main content
Glama
95,423 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Sequential Thinking Model Context Protocol (MCP) Server" matching MCP servers:

GET /v1/servers – MCP directory API reference
  • F
    license
    B
    quality
    D
    maintenance
    An MCP server that integrates AI retrievals with NASA's Common Metadata Repository (CMR), allowing users to search NASA's catalog of Earth science datasets through natural language queries.
    1
    4
    -
  • F
    license
    Not graded
    quality
    D
    maintenance
    A Python implementation of the Model Context Protocol (MCP) server that enables searching and extracting information from arXiv papers, designed to be extensible with additional MCP tools.
    -
  • 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
    Not graded
    quality
    C
    maintenance
    Provides local, evidence-aware research memory with human review, revision history, and an inspector, allowing assistants to preserve source reports, inferences, assumptions, and evidence across sessions.
    4 npm
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    Enables AI agents to perform corpus analysis tasks such as discovery, search, and data access via the Model Context Protocol.
    10
    MIT
  • A
    license
    Not graded
    quality
    C
    maintenance
    Enables running the same prompt(s) across roughly 300 models from Anthropic, OpenAI, Google, Meta, Mistral, DeepSeek, Qwen and others, then comparing per-model outputs, latency, token usage, error rates and billed cost side by side. Supports free cost estimates before launching, asynchronous run creation with status polling and cancellation, prepaid x402 credit top-ups, and an optional AI-written comparison summary of the results.
    142 npm
    MIT
  • A
    license
    B
    quality
    A
    maintenance
    A local stdio MCP server that gives Claude on-demand access to any Kaggle competition's brief, rules, evaluation, data description, leaderboard, top discussions and public notebooks, using the user's own Kaggle credentials and a disk cache with no hosted infrastructure. It also exposes a live tool for spotting forum topics and comments posted since the last fetch.
    4
    10
    2
    MIT
  • A
    license
    B
    quality
    D
    maintenance
    Provides AI assistants with structured, authoritative knowledge of the HICAR atmospheric model, including namelist options, physics schemes, output variables, documentation, and source code.
    24
    GPL 3.0