Skip to main content
Glama
59,898 servers. Last updated

Matching MCP tools:

Matching MCP Connectors:

"Analyzing data in OpenSearch" matching MCP servers:

  • A
    license
    A
    quality
    C
    maintenance
    Enables LLMs to apply Martin Fowler's 71+ refactoring patterns to codebases through a pluggable, language-agnostic architecture. Supports previewing and applying refactorings, analyzing code smells, and inspecting code structure with safe-by-default operations.
    Last updated
    5
    3
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    Enables static security audit of Solidity smart contracts by analyzing source code or deployed bytecode for vulnerabilities, providing risk scores and detailed findings.
    Last updated
    1
    MIT
  • A
    license
    A
    quality
    B
    maintenance
    MCP server for verifying AI agent claims vs reality — single-transcript inline grounding-check that flags when an agent's response states facts not in the input context, when its code silently swallows exceptions and substitutes mock data, or when its multi-turn transcript contains contradictions or unverified completion claims. Sub-second, local, free, no API calls.
    Last updated
    4
    1
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    A read-only MCP server that provides LLMs with introspection data and documentation for the Freqtrade codebase. It enables AI tools to access class signatures, method details, and configuration schemas to assist in writing more reliable trading strategies.
    Last updated
    13
    12
    GPL 3.0
  • A
    license
    A
    quality
    D
    maintenance
    An intelligent debugging assistant that automates the debugging process by analyzing bugs, injecting HTTP-based debug logs into code across multiple environments (browser, Node.js, mobile, etc.), and iteratively fixing issues based on real-time feedback.
    Last updated
    8
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    Enables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external search services.
    Last updated
    23
    449
    MIT
  • A
    license
    A
    quality
    B
    maintenance
    Enables AI assistants to perform reverse engineering and debugging of Windows executables through x64dbg, with tools for loading executables, controlling execution, analyzing memory and security, and generating reports.
    Last updated
    39
    26
    3
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    An AI-powered toolkit for the M8 mobile development framework that enables automated generation of Vue pages, low-code components, and mock data. It provides real-time code standard validation and a comprehensive UI component knowledge base to streamline development in AI editors.
    Last updated
    4
    103
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    A server for analyzing technical debt across multiple programming languages, integrating with MCP-compatible tools to detect code quality issues and provide prioritized recommendations.
    Last updated
    16
    22
    7
    MIT
  • A
    license
    A
    quality
    B
    maintenance
    Topos scores code quality by analyzing the geometric and topological structure of program graphs, surfacing structural debt that conventional linters can't compute. Gives coding agents a medal-scored (SLOP → GOLD) feedback loop for writing cleaner, more composable code.
    Last updated
    17
    19
    BSD 3-Clause