Skip to main content
Glama
97,619 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

  • F
    license
    Not graded
    quality
    C
    maintenance
    一个基于Model Context Protocol的SQLite数据库查询服务,为AI应用提供标准化的数据库访问、安全的SQL查询执行以及表结构预览功能。
    -
  • A
    license
    A
    quality
    C
    maintenance
    Enables MCP clients to securely query databases, list tables, inspect table schemas, and test connections across Oracle, SQL Server, MySQL, PostgreSQL, and SQLite using read-only SQL tools.
    4
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    Provides structured debugging capabilities through LLDB, enabling AI assistants to set breakpoints, inspect variables, analyze crashes, disassemble code, and evaluate expressions in C/C++ programs.
    17
    3
    Apache 2.0
  • F
    license
    A
    quality
    D
    maintenance
    An MCP server that enables local AI models to receive guidance from remote 'senior' AI providers like OpenAI, Anthropic, and Gemini to solve programming problems. It features intelligent multi-turn dialogue management, context synchronization, and automated session history tracking.
    4
    11
    -
  • A
    license
    A
    quality
    A
    maintenance
    Enables AI coding agents to perform Lean 4 formal verification, navigate project symbols offline, and inspect C FFI bindings.
    5
    1
    Apache 2.0
  • A
    license
    A
    quality
    A
    maintenance
    A bounded MCP server for C++ analysis through Compiler Explorer, providing compiler discovery, compilation, assembly comparison, analyzers, and shortlink sharing.
    9
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    Connects Claude AI to Atelier B formal methods IDE, enabling typechecking, proof generation, automatic proving, and C code generation for B projects.
    18
    AGPL 3.0
  • A
    license
    Not graded
    quality
    F
    maintenance
    Execute code in 8 programming languages via gVisor-sandboxed Docker containers. Supports Python, JS, TS, Go, Java, C++, C, and Bash.
    2
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    Connects AI coding agents in the Antigravity CLI to native language servers for C#, C/C++, TypeScript/JavaScript, and Python through MCP tools, enabling precise symbol navigation, diagnostics, references, refactoring previews, and other code intelligence.
    MIT
  • A
    license
    Not graded
    quality
    Not graded
    maintenance
    An MCP server that integrates with GitHub Copilot to analyze Axivion static-analysis reports and provide MISRA C:2012 compliance assistance. It offers deep rule explanations, rationale, and confidence-scored fix suggestions for identified code violations.
    -
  • A
    license
    Not graded
    quality
    D
    maintenance
    An MCP server that exposes LLDB debugging capabilities, enabling AI-assisted interactive debugging of C/C++ applications through 40 specialized tools.
    4
    MIT