"Information about Proxmox virtualization and server management" matching MCP servers:

Bridges Claude and OpenAI's Codex CLI for AI-powered code analysis, generation, and review, with support for session management, web search, and structured output.

Unified capability catalogue with formally verified cartridges, distributed community hosting, and the Teranga menu system for single gateway access to a vast rabbfe of MCP, LSP, NeSy and related servers.!

Enables intelligent task management, multi-agent workflows, and cross-IDE project management through the BMAD methodology, with features like time tracking, quality gates, and project templates.

Production-ready MCP server starter templates in TypeScript and Python. Includes tool, resource, and prompt patterns with Claude Desktop integration configs.

Enables remote control of AI coding assistants (Claude Code/Codex) via Telegram, allowing you to manage long-running tasks, send commands, and receive notifications from anywhere. Supports unattended mode with smart polling for up to 7 days and multi-session management.

Provides AI coding agents a full abap2UI5 development loop—writing ABAP classes, validating views, deploying, and running apps headless with screenshots—all locally without an SAP system.

MCP server for DeepSeek AI models (Chat + Reasoner). Supports multi-turn sessions, model fallback with circuit breaker, function calling, thinking mode, JSON output, multimodal input, and cost tracking.

Unofficial MCP server for Google's Jules AI coding agent that lets AI assistants create and manage asynchronous coding tasks through the Jules API v1alpha.

A Model Context Protocol server that provides integration with LeetCode APIs, enabling automated interaction with programming problems, contests, solutions, and user data across both leetcode.com and leetcode.cn platforms.

An MCP server that enables local AI models to receive guidance from remote 'senior' AI providers like OpenAI, Anthropic, and Gemini to solve programming problems. It features intelligent multi-turn dialogue management, context synchronization, and automated session history tracking.

Enables a supervisor agent to create, coordinate, steer, inspect, and interrupt multiple Codex agents as a subagent pool within an MCP host, running them alongside the host's own subagents.

A Model Context Protocol (MCP) server that helps AI coding assistants identify critical design issues in code, rather than just focusing on cosmetic problems when asked to improve code.

Official implementation of Anthropic's 'think' tool that provides Claude with a dedicated space for structured reasoning, improving performance by up to 54% on complex tasks requiring multi-step problem solving.

A Model Context Protocol server that routes tasks to Z.ai's GLM-4.7 model, enabling Claude Code to delegate work to a more cost-efficient AI model without sacrificing quality.

An MCP server that allows coding agents to look up contextual rules and patterns on demand, providing just-in-time guidance for specific tasks like writing tests or authoring UI.

Local-first MCP server for agent skills. Validate, lint, diff, and convert agent skill files across Cursor, Claude, Kiro, Windsurf, VS Code, and Amazon Q — no account required. Optional cloud sync with ModelBound.

ast-mcp-server gives coding agents compact, type-aware access to TypeScript and JavaScript projects, providing structural code tools based on the real compiler project model through ts-morph for declarations, references, renames, and diagnostics, with safe prepare → review → apply mutation semantics and immutable hash-bound plans.

Enables programmatic interaction with Happy AI sessions, allowing users to list, create, monitor, send messages to, and manage AI coding sessions across multiple machines.

A personal AI coding assistant that connects to various development environments and helps automate tasks, provide codebase insights, and improve coding decisions by leveraging the Model Context Protocol.

An MCP server that enables AI clients to autonomously discover, analyze, fix, test, submit, and track open-source contributions on GitHub through specialized tools.