"Understanding High-Level Control Systems" matching MCP servers:

An MCP server that allows users to run and visualize systems models using the lethain:systems library, including capabilities to run model specifications and load systems documentation into the context window.

Turns any verb Registry into a real MCP server, where each verb becomes an MCP tool with its own Zod input/output schemas (zero drift).

Enables local/remote execution infrastructure through the official Codex Runtime, providing shell, files, Git, sessions, browser, computer use, recoverable tasks, multi-host routing, dynamic MCP integration, and skill lifecycle management.

An MCP (Multi-Agent Conversation Protocol) Server that enables interaction with AWS S3 Control API through natural language, auto-generated using AG2's MCP builder.

An MCP server providing AI assistants with 149 tools to fully control the Godot game engine, including runtime code execution, scene manipulation, physics, audio, networking, animation, and more.

Enables the creation and deployment of API-based MCP tools for Cursor Agent using Cloudflare Workers, streamlining development and integration of custom functionalities.

Enables AI agents to run persistent Node.js REPL sessions that preserve state across evaluations, supporting top-level await, module loading, and per-session npm package installation.

Enables AI agents to write, validate, and render high-quality PostScript by providing operator lookup, vetted PSlib fragments, cited reference search, and Ghostscript-based checking.

Enables MCP clients to connect to SAP S/4HANA on-premise systems, providing developer-grade read and write access to ABAP source, DDIC objects, table data, syntax/ATC checks, debugging, and transport management.

A local Model Context Protocol server that allows LLMs to securely execute shell commands on remote Linux and Windows systems via SSH connections.

A Model Context Protocol server that enables AI models to generate and play high-quality text-to-speech audio through your device's native audio system using Rime's voice synthesis API.

An MCP server implementing AI-user confirmation protocols, providing tools for LLMs to seek user confirmation when uncertain through yes/no questions, action confirmations, intent clarification, understanding verification, and satisfaction ratings.

Enables AI assistants to perform high-performance 3D CAD design, ultra-fast multi-view rendering, immutable versioned project management, and geometry/mesh verification for 3D printing on Windows.

All-in-one 24-tool MCP runtime and 180-skill library providing protocol-level C4 workflow gates, cognitive reasoning engines, and safe execution for AI coding agents.

MCP server for agentic interaction with the Lean theorem prover via LSP, providing tools for understanding, analyzing, and interacting with Lean projects.

Enables full ABAP development workflows against SAP systems via the ADT API, including reading and editing objects, running code, managing transports, executing tests, and performing code analysis.

A minimal integration layer exposing PyTorch Lightning via a structured, machine-readable API for tools, agents, and orchestration systems.

Provides secure mathematical computation capabilities including expression evaluation, symbolic math (derivatives, simplification), matrix operations, statistics, and unit conversion, with multi-tier acceleration through WebAssembly and WebWorkers for high-performance calculations.

A lightweight server that provides curated, high-quality prompts for common development tasks like UI/UX design, project setup, and debugging to enhance AI-powered development workflows.

Enables AI models to generate production-ready, 60fps-optimized GSAP animation code from natural language requests. It provides expert-level tools for creating complex sequences, debugging performance issues, and setting up GSAP within modern web frameworks.