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:

  • D-Tools MCP Server

    Saml1211
    A
    license
    B
    quality
    D
    maintenance
    A production-ready MCP server that connects AI assistants to the D-Tools System Integrator platform, enabling natural language management of AV projects, clients, catalogs, tasks, service orders, and purchase orders.
    25
    2
    MIT

  • mcp-clay-to-instantly

    mambalabsdev
    A
    license
    A
    quality
    B
    maintenance
    Enables pushing enriched leads into Instantly or Smartlead campaigns with ICP score gating, deduplication, and dry-run previews via an Apify actor.
    1
    85
    MIT

  • mcp-tools-salesforce

    rowellsuper
    F
    license
    -
    quality
    D
    maintenance
    Connects to Salesforce scratch orgs and allows AI to generate and insert realistic nested test records via natural language descriptions using the Composite Tree REST API.

  • HubSpot MCP Server

    adeel0x01
    A
    license
    B
    quality
    D
    maintenance
    Integrates with HubSpot CRM APIs via the Model Context Protocol, enabling management of contacts, companies, deals, tickets, notes, engagements, workflows, and more through natural language.
    82
    15
    4
    MIT

  • Nose for Leads MCP

    NoseForLeads
    A
    license
    -
    quality
    B
    maintenance
    Finds, filters, and verifies local-business leads on demand; every returned email carries a verification receipt (verifier, verdict, timestamp). Credit-based with per-key spend budgets; 25 free validated leads at signup.
    MIT

  • AFAS MCP Server for HR and

    RemseyMailjard
    A
    license
    -
    quality
    C
    maintenance
    Provides interactive tools to explore AFAS customer data and employee leave information, including bubble charts, leave balance reports, and detailed leave cards.
    128
    MIT

  • Cirrus Solar MCP

    srobbins-sfdc
    F
    license
    -
    quality
    C
    maintenance
    MCP server that enables Google ADK agents to triage solar fault signals, retrieve Salesforce diagnostics via hosted MCP prompt templates, and create WorkOrder records when replacements are needed.

  • Freento MCP Server for Magento

    Freento
    F
    license
    -
    quality
    A
    maintenance
    Freento MCP is a native Magento 2 extension that implements the Model Context Protocol (MCP) — an open standard for connecting AI assistants to external data sources. This server acts as a secure, direct bridge between your Adobe Commerce / Magento 2 store and LLM-powered assistants (like Claude, ChatGPT, and others), allowing you to manage and audit your store using natural language.
    15

  • housecallpro-mcp

    NoBanks
    A
    license
    A
    quality
    C
    maintenance
    MCP server for Housecall Pro, providing 5 tools for AI agents to register customers, schedule jobs, create estimates, log leads, and generate invoices (env-gated).
    5
    MIT

  • cosmo-mcp

    jonathanARMS23
    F
    license
    A
    quality
    C
    maintenance
    MCP server that connects Hermes Agent to ERPNext for managing stock, sales, customers, suppliers, and more via 25 tools.
    26

  • Salesforce MCP Server

    jaworjar95
    A
    license
    A
    quality
    D
    maintenance
    Enables AI tools like Claude Desktop and Cline to interact with Salesforce, providing tools for SOQL queries, Apex execution, metadata management, and more.
    17
    12
    43
    MIT

  • amocrm-mcp

    ilyaberdysh
    A
    license
    B
    quality
    D
    maintenance
    Enables users to interact with AmoCRM via Claude Desktop using natural language, with 17 tools for accessing CRM entities like leads, contacts, and pipelines.
    18
    1
    MIT

  • monica-mcp

    philipp-mlr
    A
    license
    B
    quality
    A
    maintenance
    MCP server for Monica CRM providing 29 tools to manage contacts, activities, notes, tasks, and more through all 30 API endpoints.
    29
    16
    1
    MIT
  • salesbuildr-mcp by wyre-technology

    salesbuildr-mcpofficial

    wyre-technology
    A
    license
    -
    quality
    A
    maintenance
    An MCP server for the Salesbuildr platform, providing tools to manage quotes, products, and sales operations through Salesbuildr's API.
    Apache 2.0

  • EspoCRM MCP Server

    cknebel
    A
    license
    -
    quality
    B
    maintenance
    A local, read-only MCP server for Claude Desktop that provides 16 tools to search and read EspoCRM accounts, contacts, opportunities, and related emails via a strict allowlist.
    10
    MIT