Skip to main content
Glama
73,156 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:

  • F
    license
    -
    quality
    B
    maintenance
    MCP server for deterministic financial transactions, providing tools to fetch account balances, check blocked PIX keys, and execute atomic PIX transfers with integer-cent precision.
  • A
    license
    -
    quality
    C
    maintenance
    Provides a three-layer payment firewall for AI agents, enabling identity verification, risk screening, and execution authorization with on-chain policy enforcement for secure and auditable transactions.
    484
    MIT
  • F
    license
    A
    quality
    B
    maintenance
    MCP server for real FDM 3D-printing slicing, quoting, and design-for-manufacturability analysis via the FabTally API, supporting 12 printer profiles and 12 materials. Includes free discovery/printability tools and paid slice/quote/orientation tools settled via x402 (USDC on Base).
    6
  • F
    license
    A
    quality
    D
    maintenance
    Enables AI agents to make payments and manage subscriptions by converting USDC stablecoin balances into virtual cards for online checkouts. It provides tools for wallet management, card issuance, and secure transaction handling through the Clawallex payment API.
    18
    88
  • A
    license
    A
    quality
    B
    maintenance
    MCP server for MeroShare, enabling AI tools to manage IPO/FPO applications, portfolio, and share transactions in Nepal's online share system.
    10
    MIT
  • A
    license
    B
    quality
    D
    maintenance
    MCP server for Xendit payment gateway (Indonesia/Philippines) that provides tools to create invoices, disbursements, virtual accounts, QR codes, e-wallet charges, and check balances.
    10
    18
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    MCP server for integrating HiPay's Enterprise payment API, providing tools for transaction management, payment processing, and hosted payment pages.
    10
    5
    MIT
  • A
    license
    -
    quality
    C
    maintenance
    MCP server for Belarus ERIP/E-POS/KROK payments via aggregator APIs, offering platform-specific tools for Express-Pay, bePaid, WEBPAY, Hutki Grosh, and Assist to manage invoices and payments.
    17
    MIT
  • A
    license
    -
    quality
    C
    maintenance
    MCP server for Korean payment gateways, providing tools to query and cancel payments for PortOne and TossPayments, and verify PortOne webhooks.
    MIT