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

Enables AI agents to interact seamlessly with Splunk environments through 20+ tools for search, analytics, data discovery, administration, and health monitoring. Features AI-powered troubleshooting workflows and supports multiple Splunk instances with production-ready security.

Enables LLMs to interact with Kibana through composable toolboxes for building dashboards, managing data, and handling alerts, among other operations.

An unofficial MCP server that connects AI assistants to Akamai APIs, providing tools for edge diagnostics, debugging, and network analysis.

Shows your current Claude Desktop activity as Discord Rich Presence, including model, status, usage, and subscription info.

MCP Server for notify to telegram / weixin

An MCP server implementation that integrates AI assistants with Langfuse workspaces, allowing models to query LLM metrics by time range.

MCP server that integrates with VictoriaMetrics vmanomaly API to enable AI-assisted anomaly detection, model management, and configuration generation.

Brings live project context into Slack via MCP, enabling developer teams to check service health, recall team decisions, search code, and query project context directly from chat.

Enables AI clients like Claude to triage, investigate, and operate Icinga installations through natural language, integrating with Icinga's REST APIs and providing deep awareness of monitoring plugins and historical performance data.

A secure, read-only MCP server for Microsoft SQL Server with built-in performance monitoring and lock detection.

First-party web analytics MCP server for AI agents, providing 42 tools to query traffic, events, funnels, conversions, sources, and performance data.

Enables Claude to retrieve and analyze Google Analytics 4 data through 20+ analysis tools, providing insights on traffic, user behavior, conversions, and engagement metrics in Japanese-formatted output.

Connects AI assistants like Claude to Sealmetrics analytics data, enabling natural language queries for traffic analysis, conversions, marketing performance, ROAS tracking, and funnel analysis.

Gives your AI assistant full control of a Discord server: 148 tools for chat, moderation, automod, events, and administration, up to building a complete community server from one paragraph. Every destructive action previews first and waits for your confirmation.

MCP server for Plausible Analytics, enabling querying of traffic, conversions, sources, and device breakdowns from any MCP-compatible AI assistant.

Enables AI assistants to query and analyze AI agent sessions from observability providers like Shepherd (AIOBS) and Langfuse, allowing users to debug agent runs, compare sessions, track performance, and analyze LLM usage patterns.

Bridges AI models with WinDbg to analyze Windows crash dumps and perform remote debugging through natural language queries, enabling execution of debugger commands and automated crash analysis.

A standalone Python/FastAPI server that implements the Model Context Protocol (MCP) for the OPTIX threat intelligence platform. It exposes 26 analyst-friendly tools that AI assistants and programmatic consumers can use to query threat feeds, search documents and indicators, manage watchlists, triage IOCs, generate detection rules, trigger AI research, and produce intelligence reports.

MCP server for Yandex Webmaster API v4.1 with 37 tools covering indexing, search queries, diagnostics, recrawl, sitemaps, links, and important URL monitoring.

Provides tools to search Splunk logs, inject test data, and send triage emails, enabling AI-driven incident investigation.