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:

  • A
    license
    C
    quality
    D
    maintenance
    Implements a secure MCP server with API Key and JWT authentication, providing tools like echo, login, secure_action, and admin_action. Includes MCP Inspector integration for testing and debugging.
    1
    3
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    Middleware that converts a serverless handler with OpenAPI spec into an MCP endpoint following stateless MCP principles.
    11
    34
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    A comprehensive suite of HTTP and API testing tools that enables AI agents to perform requests, check endpoint health, and decode JWTs. It also provides utilities for URL parsing and detailed security analysis of HTTP response headers.
    5
    39
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    Professional security testing server with 50+ integrated tools for web application vulnerability scanning, reconnaissance, fuzzing, and API testing. Enables comprehensive bug bounty hunting workflows including subdomain enumeration, XSS/SQLi detection, and automated security assessments.
    1
    MIT
  • A
    license
    -
    quality
    A
    maintenance
    Enables AI assistants to interact with the Post For Me API, allowing them to explore endpoints, make test requests, and use documentation to help integrate this SDK into your application.
    638
    1
    Apache 2.0
  • A
    license
    -
    quality
    A
    maintenance
    An MCP server for validating JSON against schemas, checking email deliverability, verifying URLs, assessing data quality, and validating API responses using RFC-compliant checks and heuristic analysis.
    11
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    An MCP server for the YApi platform that allows AI assistants to search, create, and manage API documentation directly within tools like Cursor. It supports multi-project management and seamless integration into AI-driven programming workflows for interface maintenance.
    2,775
    113
    MIT
  • F
    license
    -
    quality
    A
    maintenance
    Webhook management and debugging. Validate signatures, log events, replay, and analyze webhook traffic.
  • F
    license
    -
    quality
    F
    maintenance
    An MCP server that integrates various penetration testing tools, enabling security professionals to perform reconnaissance, vulnerability scanning, and API testing through natural language commands in compatible LLM clients like Claude Desktop.
    7
  • -
    license
    B
    quality
    -
    maintenance
    MCP server for Akamai APIs. 198 tools covering Property Manager, Edge DNS, CPS, WAF, and reporting. Built with TypeScript, featuring modular architecture, comprehensive testing, and multi-account support. Make Akamai accessible to AI assistants.
    1
    9
    10
  • A
    license
    C
    quality
    D
    maintenance
    Provides access to Ics Ap Apis API endpoints with authentication support, enabling API interactions through the MCP protocol.
    1
    MIT