"A server for reasoning about code using MCP" matching MCP servers:

Provides agents with real Linux VMs to run commands, manage files, expose ports, and track costs, all through an ephemeral sandbox service.

A small MCP server that wraps MoneyMoney on macOS via AppleScript, exporting account lists and transactions (bookingDate, amount, name, purpose) as plists for invoice reconciliation, complementing a companion Apple Mail server.

Enables an AI agent to operate a spare Android phone through MCP: capture screenshots, inspect UI controls, tap/swipe, input Chinese text, launch apps, and optionally run rooted shell commands or transfer files. It also supports a live web console for remote viewing and control.

A secure, local-first MCP coding and computer-use harness for ChatGPT and Codex, enabling guarded file operations, durable terminals, Git review, local skills, and macOS computer control.

An MCP server that enables secure terminal command execution, directory navigation, and file system operations through a standardized interface for LLMs.

A server that enables programmatic interaction with an already running Abaqus/CAE GUI application, allowing users to execute Python scripts and retrieve message logs through the Model Context Protocol (MCP).

Enables Claude to see and interact with any macOS application using natural language commands. Perfect for testing Mac applications, UI automation, and app development with AI assistance.

An MCP server that provides weather alerts and forecasts, system shutdown/restart, smart browser search, and screenshot capture.

Node.js server implementing Model Context Protocol that enables seamless interaction between Windows and Linux distributions under WSL, allowing file operations like reading, writing, searching, and managing files across the WSL filesystem from Windows.

A modern, extensible server that provides a unified interface to control and interact with various macOS applications through plugins.

Enables the generation, management, and validation of Apple Shortcuts (.shortcut files) by providing tools to search actions and build control flow blocks. It allows users to programmatically create and analyze shortcut structures for deployment on iOS and macOS devices.

Enables reading, writing, and manipulation of Bike outlines on macOS through natural language, using AppleScript for local document management.

Secure AppleScript execution for AI applications via Model Context Protocol with configurable security profiles and automatic TCC permission handling.

MCP server that interacts with the Phone Link Windows app via UI Automation to read messages, calls, notifications, and photos, and perform actions like sending SMS and making calls.

一个轻量级的桌面通知工具，支持 MCP 协议集成和命令行直接调用，让 Agent 能够智能发送系统通知。

Linux system administration via AI agents — MCP server for managing services, processes, disk, network and logs on Linux systems.

MCP server for controlling the kitty terminal emulator. Exposes 40 tools for managing windows, tabs, layouts, text, appearance, and more.

MCP server for memory management with process inspection and cleanup tools.

MCP server for controlling Android devices via semantic actions with verification, enabling any MCP client to interact with phones through natural language and structured tools.

Enables remote control of Android phones via Claude Desktop, offering 45+ tools including UI automation for app interactions.