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:

  • KC AgentDock MCP

    ohaoz
    A
    license
    -
    quality
    C
    maintenance
    Combines KC Chat Panel session interaction with AgentDock computer control tools, enabling Cursor Cloud Agent to chat and operate the local machine via AgentDock.
    MIT

  • claude-database-tools

    Cyronius
    A
    license
    A
    quality
    D
    maintenance
    A SQL Server CLI and MCP server for Claude Code that supports standard SQL Server authentication for database interaction and management. It enables users to perform schema exploration, execute queries, and manage data records with built-in SQL injection prevention.
    12
    5
    MIT

  • MCP Tools

    Cloud-Temple
    A
    license
    -
    quality
    A
    maintenance
    A passive MCP server that exposes a toolbox of executable tools (shell, network, HTTP, AI search, SSH, S3 file operations) to autonomous agents via Streamable HTTP, with strong security features including Docker sandboxing and WAF.
    2
    Apache 2.0

  • claude-for-hermes

    7D-codes
    A
    license
    -
    quality
    B
    maintenance
    A local MCP server that lets Hermes supervise Claude Code, delegating focused coding, research, or review tasks to the Claude Code CLI and managing worker sessions, background jobs, cancellations, and read-only reviews.
    2
    MIT

  • Coding Tools MCP

    shelizi
    A
    license
    -
    quality
    B
    maintenance
    A Rust + Tauri 2 desktop application that turns local project folders into persistent MCP workspaces, enabling AI agents to read files, modify code, run commands and tests, check Git status, and maintain cross-conversation development context through historical checkpoints, with built-in WSS/FRP/Cloudflare tunnels and OAuth for connecting to ChatGPT.
    Apache 2.0

  • gef-mcp-for-ctf

    guaidao2
    F
    license
    -
    quality
    D
    maintenance
    GDB Enhanced Features MCP server for remote debugging and CTF exploitation with 41 specialized tools including ROP search, format-string detection, and memory patching.
    9

  • ai-cli-mcp

    mkXultra
    A
    license
    A
    quality
    B
    maintenance
    Enables running multiple AI CLI tools (Claude, Codex, Gemini, Forge, OpenCode) as background processes with automatic permission handling, allowing LLMs to execute async multitasking and combine different AI models.
    9
    188
    24
    MIT

  • mcp-taskwarrior-ai

    storypixel
    A
    license
    B
    quality
    D
    maintenance
    An AI-native Taskwarrior bridge that provides natural language task management for Claude Code and other AI systems, integrating with existing Taskwarrior infrastructure.
    7
    3
    MIT

  • Lightning Tools MCP Server

    getAlby
    A
    license
    B
    quality
    F
    maintenance
    Enables interaction with lightning addresses and common lightning tools via your LLM, providing Lightning Network functionality through natural language.
    3
    14
    1
    MIT

  • ai-mcp-terminal

    kanniganfan
    A
    license
    -
    quality
    D
    maintenance
    Multi-threaded terminal management MCP server for AI assistants, enabling async command execution, batch operations, and real-time web monitoring with up to 100 concurrent terminals.
    2
    MIT

  • Coding Tools MCP

    1510952971
    A
    license
    -
    quality
    A
    maintenance
    A local MCP server that gives AI coding assistants read, write, search, and execute capabilities within a specified project directory. This Windows GUI build simplifies setup by eliminating manual Python, Node.js, or Docker installation.
    Apache 2.0