Skip to main content
Glama
60,649 servers. Last updated

Matching MCP tools:

Matching MCP Connectors:

"Improved thinking frameworks and methodologies beyond sequential thinking" matching MCP servers:

  • A
    license
    -
    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.
    Last updated
    1
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    An open-source deep research MCP server that provides multi-source web search and synthesis with citations, enabling agents to perform citation-backed research using Qwen3-30B-A3B-Thinking and other models.
    Last updated
    6
    41
    MIT
  • A
    license
    -
    quality
    C
    maintenance
    A self-contained MCP server that gives AI agents the ability to calculate high-precision astronomical data. It provides tropical zodiac coordinates, planetary speeds, retrograde detection, and house cusps using the trusted Swiss Ephemeris engine. 100%
    Last updated
    2
    AGPL 3.0
  • A
    license
    -
    quality
    D
    maintenance
    Enables simulation and analysis of M/M/1 and M/M/c queuing systems using SimPy, with tools for parameter validation, theoretical metric calculation, simulation execution, and comparison of separate vs pooled queue strategies.
    Last updated
    MIT
  • A
    license
    -
    quality
    C
    maintenance
    Enables Codex to delegate deep research, PRD drafting, design thinking, and current-information lookups to ChatGPT Web/App via a local MCP connector, saving Markdown results to the filesystem.
    Last updated
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    A research tool that performs comprehensive, in-depth research on complex topics by combining sequential thinking with Brave Search capabilities to provide detailed, well-sourced reports.
    Last updated
    48
    3
    MIT
  • F
    license
    -
    quality
    D
    maintenance
    Provides cognitive tools for critical thinking and multi-perspective analysis of current affairs through structured prompts, including claim deconstruction, perspective comparison, and analysis through 9 analytical lenses (historical, economic, geopolitical, etc.).
    Last updated
    1
  • F
    license
    -
    quality
    C
    maintenance
    Enables searching and accessing ArXiv research papers with advanced query capabilities, and provides sequential thinking tools for structured problem-solving. Supports Boolean operators, field-specific searches, author lookups, and dynamic thought processes through a modular Docker-based architecture.
    Last updated
  • F
    license
    -
    quality
    D
    maintenance
    An MCP-native pipeline for collecting structured intelligence on higher education institutions using the WHED schema, enabling scraping, extraction, validation, and saving of profiles.
    Last updated
  • A
    license
    A
    quality
    F
    maintenance
    For AI agents and humans: Discover researchers, publications, datasets, and code repositories across a federated network of researcher digital twins. Compute S-Index impact metrics combining citation data from Semantic Scholar and Google Scholar with code and dataset quality scores from GitHub and Figshare.
    Last updated
    8
    1
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    Enables searching and retrieving articles, citations, and structured content from Grokipedia for research and information retrieval. It provides specialized tools for section extraction, related page discovery, and filtered search results.
    Last updated
    7
    MIT