"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP connectors:
GET /v1/connectors – MCP directory API referenceMatching Connector Tools:
Ask about your own Meta (Facebook and Instagram) ad account right in Claude, ChatGPT or Cursor. Run1Ads checks your ads, Pixel and store every hour and tells you the one fix that matters today, ranked by buyers lost, with exact steps. It advises only and never changes your ads. Free for a limited time.
Audit MCP configs and skill files for over-broad scope and injection risk. 6 of 8 free.
Website QA for your coding agent: audit SEO, performance, security, accessibility over MCP.
Ask what an online store sells, what it charges and what changed since the last time anyone looked.
Audits any remote agent or MCP URL for JSON-RPC compliance, latency SLA, OpenAPI schema, and HTTP.
DMARC analytics for AI assistants: SPF/DKIM, compliance, anomalies, p=reject readiness, onboarding.
Uptime monitoring for developers — monitors, incidents, heartbeats, maintenance, status pages
290+ quality-scored API capabilities for AI agents across 27 countries via MCP.
Vigilia watches your live app, explains every problem in plain language and writes the fix prompt. Your AI fixes it; Vigilia confirms with real traffic. Vigilia watches web apps that are live with real users, including apps built with Lovable, Bolt, v0, Cursor and Claude Code. It catches errors, failed requests and downtime, explains each problem in plain language, and writes a fix prompt for it. Connect Vigilia to Claude and ask what's broken. Claude lists your open incidents worst first. For each one it reads the plain-language diagnosis, who it affects, the technical evidence (error, page, failing request, stack frames and what the visitor did right before) and Vigilia's fix prompt. In Claude Code or another coding agent, Claude can then fix the cause in your own codebase. Once you've deployed, it marks the incident fixed, and Vigilia watches real traffic to confirm the error stayed away. If it comes back, the incident reopens as a regression. You can also ask how an app is doing (uptime, open incidents, today's traffic), get the exact install snippet for a new project, and check that a live site is running Vigilia. Vigilia never reads or changes your code: the fixing happens in your session, by your AI, in front of you. The only tool that changes anything is marking an incident fixed (the install check just records its result on the app), and you can connect with read-only access. Your data is stored in the EU. Emails, tokens and card numbers are stripped from what visitors' browsers send, and only that scrubbed error context is sent to Anthropic to write the diagnosis. Requires a Vigilia account. The free plan covers one app; reporting backend errors (Supabase, Next.js routes, Workers) is part of Pro.
Uptime monitoring, status pages and on-call in one place. Create and tune monitors for HTTP, TCP, DNS, ping, TLS certificates, domain expiry, heartbeats and scripted browser logins. Run a check on demand, read uptime and response-time history, acknowledge and resolve incidents, post incident updates, schedule maintenance windows and edit public status pages. Read-only until you grant write access.
Free SEO & AI-search (AEO) audits for any site or Shopify store, with emailed weekly score reports.
Read a tool-call log from an AI agent run and see which calls failed, looped or were slow.
Check one web page for broken links, redirect chains hop by hop and mixed content. Free, no key.
Mador checks whether AI assistants name your business. Read-only tools for your Mador account: results, competitors named, questions measured, pages and to-dos.
SEO and AI search tools for your AI assistant. Audit any page's SEO, read your Google Search Console and GA4 data, research keywords and backlinks, and run PageSpeed Insights, all from the chat. Free checks for meta tags, robots.txt, schema, Open Graph and hreflang. Sign in with your DidYouSEO account.
Understand who uses your MCP servers, what they’re trying to accomplish, and where workflows get stuck. Analyze tool adoption, user journeys, reported outcomes, and business signals directly from your AI assistant, with evidence from individual sessions.
SEO audits, Search Console, GA4, keyword and backlink data for Claude, ChatGPT and Cursor.
Read-only access to an ET Ducky organization's Windows and Linux agents, alerts, and fleet summary. Four tools list agents, get one agent with its latest health sample, list alerts, and summarize the fleet. Hosted Streamable HTTP endpoint, authenticated with an organization API token sent as a Bearer header.
Uptime monitoring and a public status page for Brazilian teams. Create HTTP monitors and down/up alerts (email, Telegram, Slack, Discord, Google Chat, webhook), check uptime and past outages, and manage the status page and incidents from your agent. OAuth 2.1 with dynamic client registration; API key as Bearer also works. Free plan available.
Converra (converra.ai), not Convera, fixes the behavior, not the code. Diagnoses production agent failures, tests bounded prompt or configuration fixes head-to-head, ships what you approve, and reports a production verdict on every fix. Streamable HTTP; OAuth or API-key bearer auth. Docs: https://converra.ai/docs/mcp/coding-agents?utm_source=glama&utm_medium=referral&utm_campaign=mcp_registry_2026_10 . Full tool catalog and install commands: https://github.com/converra/converra-agent-kit/blob/main/SUBMISSION.md
