"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP servers:

MCP server for qualifying and responding to inbound leads in seconds using a multi-agent AI pipeline.

Resolves a company domain to its LinkedIn company page URL. Lightweight enrichment tool for sales and prospecting workflows.

Enables pushing enriched leads into Instantly or Smartlead campaigns with ICP score gating, deduplication, and dry-run previews via an Apify actor.

Official Cursor plugin enabling natural-language management of your SideShift company—discovering creators, managing campaigns and contracts, communicating with your network, and inspecting analytics through a secure OAuth-linked MCP server.

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.

Provides interactive tools to explore AFAS customer data and employee leave information, including bubble charts, leave balance reports, and detailed leave cards.

An MCP server that enables AI assistants to safely query live Odoo 19 data with a defense-in-depth security layer, providing read-only tools for partners, sales, inventory, and finance.

Live LinkedIn data for AI agents: 44 tools for profiles, companies, jobs, posts, people search, job-change signals and email finding. Hosted remote server (streamable HTTP) - your agent never touches your own LinkedIn account. 300 free credits on signup, no card. Dockerfile in repo bridges stdio clients to the hosted endpoint via mcp-remote.

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.

Provides read-only operational tools (sales summaries, orders, top customers) over a multi-tenant dataset, with tenant isolation enforced server-side so no tenant parameter appears in the tool schema.

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.

Demonstrates how to expose approved internal banking tools to AI assistants via MCP, enabling secure lookups of account balances, customer names, branch details, and live exchange rate conversions.

Provides deterministic mock customer health, product usage, and recommended playbook data via three MCP tools for a Customer Success Orchestrator demo.

Enables AI assistants to identify and quantify value leaks in organizations using Melt's methodology, providing structured estimates instead of generic vendor lists.

MCP server for Apollo.io B2B data discovery and enrichment, enabling company search, people search, contact enrichment, and organization firmographics through Apollo's REST API.

Enables policy-aware access to the Productive.io API v2 for managing projects, tasks, time tracking, resource planning, financials, CRM, and reports, with safe defaults and staged writes for sensitive operations.

Enables AI assistants to enrich contacts and build audiences via the YourICP API. Provides tools to set an API token, submit contact lookups by email or LinkedIn URL, and poll for enrichment results.

Enables LLMs to read and manage Affinity CRM data including companies, persons, lists, opportunities, pipeline stages, notes, custom field details, change history, and network intelligence for warm introductions.

A locally-hosted MCP server enabling AI agents to securely interact with SmartSuite data, with configurable access modes and audit logging.

Connects AI agents to the Ploomes CRM REST API, exposing 56 tools for managing contacts, deals, tasks, pipelines, interactions, quotes, orders, products, fields, users, and account information.