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
    Enables access to Usage and Billing APIs for managing accounts, products, meters, plans, and usage reporting. Supports operations like creating products/plans, reporting usage, and retrieving billing information.
    18
    MIT
  • A
    license
    C
    quality
    D
    maintenance
    Provides access to the Reuters Business and Financial News API to retrieve articles, trending news, and market data. It enables searching and filtering financial content by date, author, category, and keywords.
    20
    MIT
  • F
    license
    -
    quality
    D
    maintenance
    A FastMCP-based server designed for the banking and fintech domains, providing tools for database queries, Git operations, and deployment management. It features a modular architecture with reusable prompt templates and integrated security practices for sensitive data handling.
  • A
    license
    C
    quality
    D
    maintenance
    Enables access to the Pan Card Verification API for validating Indian PAN card details. It provides a dedicated tool for performing PAN verification through a standardized MCP interface.
    1
    MIT
  • A
    license
    D
    quality
    A
    maintenance
    A TypeScript-based MCP server that enables users to query financial news, stock data, and index information while managing text notes with creation and summarization capabilities.
    5
    561
    645
    MIT
  • F
    license
    -
    quality
    C
    maintenance
    Exposes account risk status from a fraud detection pipeline, returning risk scores, flagged transaction history, and LLM-generated explanations via the get_account_risk_status tool.
  • F
    license
    -
    quality
    D
    maintenance
    Provides real-time financial data including stock quotes, news, and market movers through a secure FastMCP gateway, enabling conversational finance queries.
    17
  • A
    license
    A
    quality
    C
    maintenance
    Provides 21 mathematical tools across 6 domains including basic calculations, array operations, statistics, financial mathematics, linear algebra, and calculus. Supports batch execution for complex multi-step workflows with intelligent dependency resolution.
    21
    6
    MIT
  • A
    license
    -
    quality
    A
    maintenance
    CNN's Fear & Greed index for the US stock market: current score and rating, the seven component indicators, and about a year of daily history. Go standard library only, no API key required.
    2
    MIT
  • F
    license
    -
    quality
    D
    maintenance
    Enables integration with financial transaction data through REST APIs, PostgreSQL databases, and document storage systems. Demonstrates agentic AI capabilities by connecting to Alpha Vantage API and managing financial data through natural language interactions.
  • F
    license
    -
    quality
    D
    maintenance
    Provides stock market data and computes technical indicators like EMA, MACD, and RSI across multiple timeframes using the LongPort API and TA-Lib. It enables users to perform detailed financial analysis and multi-timeframe market reviews through standard MCP tools.