Skip to main content
Glama
61,266 servers. Last updated

Matching MCP tools:

Matching MCP Connectors:

"Understanding AI Thinking and Thought Processes" 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
    B
    quality
    A
    maintenance
    An AI Concierge replaces static forms with adaptive AI conversations that understand real situations, structure key information automatically, and trigger the right next step. Rigid forms cause drop-off, weaken qualification, and strip away context. Perspective uses adaptive AI to capture structured data and trigger automation, so you understand what truly matters to your customers and can make d
    Last updated
    22
    5
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    Integrates with Orca AI's HUNT Platform API to search for information about people, companies, and entities, enabling AI assistants to access investigative intelligence and due diligence data.
    Last updated
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    Enables AI assistants like Claude to run backtests, fetch market data, list strategies, and analyze trading algorithms via natural language.
    Last updated
    876
    GPL 3.0
  • F
    license
    -
    quality
    C
    maintenance
    Local MCP server that ingests and normalizes recent AI, tech, and research news from multiple sources, exposing tools for media agents to query and retrieve article content on demand.
    Last updated
  • F
    license
    -
    quality
    C
    maintenance
    Provides access to the latest AI trends by querying Google News RSS and Hacker News API, enabling AI assistants to retrieve real-time trending topics.
    Last updated
  • A
    license
    A
    quality
    C
    maintenance
    Academic peer-review (HAKEM), research-gap finding, journal recommender (1,214 venues with predatory flags), duplicate publication checker, and article writer tools from Science AI Journal. Free local FTS5 tools + LLM-backed tools that bill the caller's account.
    Last updated
    7
    96
    1
    MIT
  • 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.
    Last updated
    6
    1
    MIT
  • A
    license
    B
    quality
    C
    maintenance
    Enables AI agents to interact with the AI-Archive platform for research paper discovery through semantic search, paper submission and management, peer review with structured scoring, and citation generation in multiple formats.
    Last updated
    54
    44
    1
    MIT
  • A
    license
    B
    quality
    D
    maintenance
    Enables real-time tracking of AI/LLM research progress by searching and aggregating content from arXiv, GitHub, Hugging Face, and Papers with Code. Supports intelligent search, automated daily/weekly research summaries, and covers 15+ AI research areas with smart caching.
    Last updated
    8
    MIT