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:

  • agentic-detection-lookups

    detection-forge
    A
    license
    A
    quality
    C
    maintenance
    Machine-readable detection lookups for SIEM enrichment and AI agents. Query 800+ LOLBAS and GTFOBins binaries plus process parent-child baselines — get risk levels, abuse categories, and MITRE ATT\&CK mappings without embedding data in prompts.
    6
    Apache 2.0
  • registry-tools by NimbleBrainInc

    registry-toolsofficial

    NimbleBrainInc
    A
    license
    A
    quality
    F
    maintenance
    Search and resolve MCP server packages on the mpak registry, enabling agents to discover servers, inspect tools, and check credential requirements before installation.
    2
    MIT

  • mcp-migration-tools

    simeptk
    A
    license
    A
    quality
    C
    maintenance
    Provides AI-callable tools for modernizing legacy applications, including stack detection, API contract extraction, SQL to Flyway conversion, and migration effort estimation.
    4
    MIT

  • Godot AI

    hi-godot
    A
    license
    A
    quality
    A
    maintenance
    Connects MCP clients directly to a live Godot editor, enabling AI assistants to build scenes, edit nodes, and control the editor through over 120 operations.
    45
    1,663
    MIT

  • Math MCP Server

    DevCraftYaseen
    F
    license
    A
    quality
    C
    maintenance
    Provides four fundamental arithmetic operations (add, subtract, multiply, divide) as MCP tools with zero-division protection.
    4

  • MCP Utility Tools

    magicschoolm
    A
    license
    A
    quality
    C
    maintenance
    A lightweight MCP server providing common utility tools such as unit conversion, password generation, date calculation, hashing, Base64 encoding/decoding, UUID generation, text case conversion, and text statistics, with no external dependencies.
    8
    MIT

  • mcp-linux-tools

    gerard-kanters
    A
    license
    A
    quality
    A
    maintenance
    Enables AI assistants to perform controlled Linux system administration tasks like reading logs, managing services, cron jobs, WordPress, and executing sandboxed Python code, with strict security constraints.
    29
    2
    GPL 2.0

  • db-tools-mcp

    urjeetpatel
    A
    license
    A
    quality
    C
    maintenance
    Exposes SQL Server and Snowflake schema metadata to AI coding agents, enabling schema search, join path discovery, and stored procedure metadata retrieval without live queries.
    18
    GPL 3.0

  • MCP Server for Splunk

    deslicer
    A
    license
    A
    quality
    A
    maintenance
    Enables AI agents to interact seamlessly with Splunk environments through 20+ tools for search, analytics, data discovery, administration, and health monitoring. Features AI-powered troubleshooting workflows and supports multiple Splunk instances with production-ready security.
    53
    27
    Apache 2.0

  • IT Tools MCP Server

    wrenchpilot
    A
    license
    B
    quality
    F
    maintenance
    A comprehensive Model Context Protocol server providing access to 70+ IT tools for developers and system administrators, including encoding/decoding, text manipulation, hashing, and network utilities.
    34
    100
    179
    22
    TypeScript
    MIT