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:

  • auto-knowledge-base

    guyeyouhun
    A
    license
    A
    quality
    B
    maintenance
    基于MCP协议的知识库服务器，内置LLM层，提供结构化知识存储、语义搜索和主动知识推送，支持通过工具进行知识学习、搜索和关联推理。
    6
    1
    MIT

  • Agentic AI System with MCP

    pratyush-usc-mba
    F
    license
    -
    quality
    D
    maintenance
    Enables integration with financial transaction data through REST APIs, PostgreSQL databases, and document storage systems. Demonstrates agentic AI capabilities by connecting to Alpha Vantage API and managing financial data through natural language interactions.

  • MCP HTTP with SSE transport

    junjiem
    F
    license
    -
    quality
    C
    maintenance
    A plugin that allows Dify to connect to multiple MCP (Model Control Protocol) servers using HTTP with Server-Sent Events transport, supporting custom configurations for URLs, headers, and timeouts.
    187

  • InfiniteMCP

    day50-dev
    F
    license
    -
    quality
    C
    maintenance
    A meta-MCP server that acts as a universal gateway, allowing users to discover and execute tools from thousands of other MCP servers through semantic search. It dynamically loads servers on demand and provides standardized functions for searching, discovering, and running tools across the entire MCP ecosystem.
    6

  • Agentic AI with MCP

    dev484p
    F
    license
    B
    quality
    D
    maintenance
    A Model Context Protocol server that enhances LLM capabilities by connecting to Wikipedia, internet search (Tavily), and financial data (Yahoo Finance) tools, enabling contextual responses to user queries.
    3

  • TurboQuant Tools

    FreezeVII
    A
    license
    -
    quality
    A
    maintenance
    MCP server for compressing AI embeddings by 5-7x using TurboQuant (PolarQuant + QJL), with tools to compress, decompress, estimate savings, and embed+compress vectors.
    MIT

  • agent-tools

    garnetlyx
    A
    license
    -
    quality
    C
    maintenance
    A multi-function Streamable HTTP MCP tool aggregation server that provides web search via Brave, Exa, and SearXNG with multi-key rotation and cross-provider fallback, and supports extensible tool families (URL fetch, code search, RAG) through a pluggable architecture.
    MIT

  • MCP RAG with ChromaDB

    CyprianFusi
    A
    license
    -
    quality
    D
    maintenance
    Provides retrieval-augmented generation (RAG) capabilities by ingesting various document formats into a persistent ChromaDB vector store. It enables semantic search and retrieval using either OpenAI or Ollama embeddings for processing local files, directories, and URLs.
    1
    MIT

  • openevidence-tools

    drpwchen
    A
    license
    -
    quality
    A
    maintenance
    Enables clinical question answering via OpenEvidence with citation verification, including tools to ask questions, retrieve results, and follow up, plus an integrated skill to check citations against primary sources.
    3
    MIT

  • exa-mcp-server-for-operit

    x15907982411
    A
    license
    A
    quality
    A
    maintenance
    An Operit-compatible adapter of the Exa MCP server, enabling web search, code search, and company research capabilities in AI assistants. It fixes MCP handshake compatibility issues, allowing tools like web_search_exa and web_fetch_exa to load and run reliably.
    2
    27,145
    MIT

  • ai-r

    pro-target
    A
    license
    A
    quality
    B
    maintenance
    Provides a read-only interface to audit and continue coding agent sessions by extracting plans, intents, and edit authorship from history across multiple agents (Claude, Codex, OpenCode, Antigravity, Pi) via MCP, CLI, and Python SDK.
    18
    3
    MIT

  • Specialized AI Search Tools

    brendon92
    F
    license
    A
    quality
    -
    maintenance
    Provides specialized search capabilities across e-commerce platforms, scientific publications, code repositories, social media, and general web with advanced filtering, including product comparison, research aggregation, and developer tool discovery.
    3