Logic (Prover9/Mace4)
Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.
Directory
Search MCP Servers
What's Running
Live OS ground truth for agents: running agent sessions, listening TCP ports, loaded daemons and system load, read straight from the OS instead of stale docs…
Winforensics Mcp
<img src="icon.png" width="150" alt="WinForensics MCP"> # Windows Forensics MCP Server > **Windows DFIR from Linux** - A comprehensive forensics toolkit…
Confluent Cloud
# Confluent MCP Server [](https://www.npmjs.com/package/@confluentinc/mcp-confluent)…
Atlassian MCP Server Client
# Atlassian MCP Server Client A command-line client for connecting to Model Context Protocol (MCP) servers, specifically designed to work with Atlassian's…
SystemPrompt MCP Server
This TypeScript-based server implements a simple notes system, allowing users to create and manage text notes and generate summaries, showcasing core MCP…
Spaceship Mcp
# spaceship-mcp [](https://www.npmjs.com/package/spaceship-mcp) [
Xitoring Mcp
# Xitoring MCP Server [](https://modelcontextprotocol.io/) [
mcp-gitlab MCP Server (English)
[中文版](./README.md)  [
Anywhere MCP Server
AlienVault/USM Anywhere MCP Server - Threat intelligence and security monitoring
Sentinel Monitoring MCP Server
Hosted MCP server for Sentinel uptime monitoring: connect Claude or any MCP client to your monitors, SSL/DNS/domain checks, and incidents
MCP Server SSH Client
A local MCP server that securely connects to remote servers over SSH, acting as a proxy for MCP commands.
Airflow MCP Server
[](https://mseep.ai/app/yangkyeongmo-mcp-server-apac…
Jenkins Mcp
Jenkins Mcp is a Model Context Protocol (MCP) server that provides Jenkins integration tools. It allows AI assistants to interact with a Jenkins server –…
Bauta
Connect your AI client to Bauta — deploy HTML/React artifacts to hosted, share-gated URLs. Remote MCP server at https://bauta.app/mcp.
EMQX
Integrates with EMQX MQTT broker to enable real-time IoT device management, client monitoring, and message publishing for MQTT-enabled systems.
Mcp Agentbay
# Wuying AgentBay MCP Server English | [中文](README_zh.md) [](https://opensource.org/licenses…
1MCP
Aggregates multiple MCP servers into a single unified interface, reducing system resource usage and simplifying configuration management with dynamic reloading…
Aim
Market knowledge layer for AI agents. Aim monitors millions of sources (news, podcasts, social, competitor and regulatory data) and surfaces the signal shaping…
Veeam Intelligence MCP Server
The Veeam Intelligence MCP Server extends Veeam Intelligence into operational workflows by exposing it through the Model Context Protocol (MCP). It integrates…
ElevenLabs MCP Server
# ElevenLabs MCP Server A Model Context Protocol (MCP) server that integrates with ElevenLabs text-to-speech API, featuring both a server component and a…
Anomalyarmor
Data observability for engineering teams: alerts, freshness monitoring, schema drift detection, validity rules, lineage. Connect any MCP client (Claude Code…
Keycloak MCP Server
Integrates with Keycloak Admin to provide streamlined user and realm management operations for identity and access control automation.
Conduit Desktop
Cross-platform remote connection manager (SSH, RDP, VNC, web) with a built-in MCP server exposing 60+ tools. Connect Claude Code or Codex to your…