An MCP server enabling MCP clients to execute Mathematica code and verify derivations via stdio.

MCP server providing structured access to Xcode development tools including xcrun, xcodebuild, and xctrace

A Model Context Protocol (MCP) server that provides tools for developing and running MATLAB files.

A secure sandbox environment for executing code within Docker containers, providing AI applications with isolated code execution.

An MCP server enabling LLMs to interact with GDB for binary debugging and analysis.

An intelligent MCP server for analyzing and fixing TypeScript 'any' types, offering fast, extensible, and React-aware capabilities.