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:

  • MCP-Server-for-ISO27001

    Sushegaad
    A
    license
    -
    quality
    A
    maintenance
    Turn Claude into an ISO 27001 compliance assistant - controls, risk register, policies, evidence tracking, SoA generation, and full audit workflows in one local encrypted MCP server.
    111
    28
    MIT

  • EU Compliance Tools MCP Server

    PatrickPi1312
    A
    license
    -
    quality
    C
    maintenance
    MCP server providing EU compliance APIs for VAT validation, sanctions screening, counterparty checks, and invoice extraction. Enables AI agents to make pay-per-call requests settled in USDC on Base via x402, with no account or API key required.
    MIT

  • legalize-mcp

    legalize-kr
    A
    license
    -
    quality
    A
    maintenance
    Provides tools for querying Korean laws, precedents, administrative rules, and ordinances via GitHub REST API, enabling natural language access to legal data.
    10
    Apache 2.0

  • GDPR Compliance for AI Systems

    CSOAI-ORG
    A
    license
    A
    quality
    B
    maintenance
    Provides comprehensive GDPR compliance assessment tools for AI/ML systems, including lawful basis determination, DPIA generation, and data subject rights handling. It also crosswalks GDPR requirements to EU AI Act obligations with AI-specific considerations throughout.
    6
    9
    MIT

  • compliance-aiops

    AIops-tools
    A
    license
    A
    quality
    A
    maintenance
    Converts audit trails from AIops agents into framework-mapped, tamper-evident compliance evidence bundles for HIPAA, PCI-DSS, SOC 2, and GDPR.
    19
    MIT

  • Torify — Japanese Locale APIs

    torify-dev
    A
    license
    -
    quality
    B
    maintenance
    Torify gives AI agents the Japanese locale primitives that standard libraries lack — imperial era date conversion (wareki), qualified invoice number validation with NTA registry lookup, corporate number lookup (法人番号), postal code resolution, name romanization (Hepburn), and kanji-to-kana conversion via Yahoo! JLP. 31 endpoints total. No authentication required for MCP. Pay-per-call $0.02/call via
    MIT

  • iso27001-mcp

    samymagdy
    A
    license
    -
    quality
    B
    maintenance
    Turn Claude into an ISO 27001 compliance assistant — controls, risk register, policies, evidence tracking, SoA generation, and full audit workflows in one local encrypted MCP server.
    111
    MIT

  • Arc & Ledger Tax Tools MCP

    Bgenc48
    F
    license
    -
    quality
    B
    maintenance
    A public, no-auth remote MCP server that exposes Arc & Ledger's free tax calculators and intake funnel as tools inside AI assistants. Provides tools for IRS notice explanation, FBAR/FATCA, LLC vs S-Corp comparison, quarterly tax estimates, and more.

  • AgentBureau: The Embodiment

    JustinGuese
    F
    license
    -
    quality
    C
    maintenance
    AgentBureau provides the legal and physical infrastructure for AI agents to operate within the German jurisdiction. We bridge the gap between digital intelligence and real-world action by providing "Embodiment-as-a-Service." Through our API, agents can perform legally binding actions—like sending faxes, mailing physical letters, issuing invoices, forming entire companies (GmbH/UG), ...
    1

  • paraph-mcp

    servants-of-the-server-fire
    A
    license
    A
    quality
    D
    maintenance
    MCP server for the Paraph e-signature API that enables AI tools to fill PDF forms and manage electronic signing workflows. It provides tools for template management, document filling, sending signing requests, and tracking signing progress.
    7
    18
    MIT
  • @integraledger/lcp-mcp-server by IntegraLedger

    @integraledger/lcp-mcp-serverofficial

    IntegraLedger
    A
    license
    -
    quality
    C
    maintenance
    Read-only Model Context Protocol server exposing LCP tools to an AI agent — verify before pay, compute an atrHash, extract and place references across ten commerce protocols.
    Apache 2.0

  • @gloryfham/mcp-trust

    gloryfham
    A
    license
    -
    quality
    D
    maintenance
    MCP server for querying Glory trust products and corporate secretarial services. It enables users to search and retrieve detailed information about family trusts, employee trusts, and offshore company services across multiple jurisdictions.
    9
    MIT