"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:

MCP server for file operations with non-UTF-8/Unicode encoding: Cyrillic, CP1251, CP1252, ISO-8859, KOI8 auto-detection

Enables room agents to generate or edit images (published directly into the room's Docs rather than passed through the model's context) and transcribe audio attachments, using the deployment's media providers with the room itself acting as the credential.

Manage a fleet of OPNsense firewalls from an AI agent, inside guardrails it can't drive around. MCP server for central management of OPNsense firewall fleets. 129 tools across devices, config sync, tasks, schedules, templates, backups and remote consoles - destructive actions confirmation-gated, MCP-issued tokens lifetime-bounded, backup and storage secrets excluded from the toolset entirely.

Connect to your TTRPG campaign's repository and database. Instead of retrieving prose, its 48 tools (20 read, 28 write) return typed state: 14 entity schemas (NPCs, factions, locations, sessions, lore), relationship and knowledge-graph queries, wiki blocks, and a narrative-state bundle of open threads and canon facts.

Open source MCP server specializing in easy, fast, and secure tools for Databases.

Go Development MCP Server for Claude Desktop and other AI tools

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

Verified CLI and local MCP server for Odoo Community 19/20: 1353 business operations, read-only by default.

Perform DNS lookups, WHOIS queries, connectivity testing, TLS certificate analysis, HTTP endpoint monitoring, and hostname resolution, all from your trusty AI.

An MCP server that provides read-only access to the Paprika Recipe Manager, allowing users to list and retrieve recipes, grocery items, and meal plans. It enables seamless interaction with recipe details and category information through the Paprika API.

Enables LLMs to interact with embedded devices by reading and writing Segger RTT data through a J-Link debugger.

MCP server that enables AI assistants to drive systematic literature review workflows, including screening, downloading, converting, and reviewing papers through natural language conversation.

LeanKG: Stop Burning Tokens. Start Coding Lean.

Converts URL content to Markdown, providing two tools: one for extracting main article content and one for converting the entire HTML.

Enables AI agents to communicate with business agents across company boundaries using Google's A2A protocol, with tools for discovery, messaging, and connection management.

Provides week and calendar helper tools for converting between dates and ISO weeks, performing week arithmetic, and looking up weekday names.

Enables MCP clients to read GoCD pipeline, stage, agent, and artifact state, and to trigger, pause, or unpause pipelines via GoCD's REST API with compact, context-lean responses.

CNN's Fear & Greed index for the US stock market: current score and rating, the seven component indicators, and about a year of daily history. Go standard library only, no API key required.

An MCP server for querying Grafana Loki directly with a discovery-first workflow — labels, values, series, and LogQL queries without requiring Grafana.

MCP Server for the Luno Cryptocurrency API