Automate and optimize Xcode builds with intelligent caching, performance tracking, and smart defaults. Learns successful configurations, suggests optimal simulators, and handles large logs efficiently for improved CLI workflows.
Generate quick instructions for using the Formath MCP server in Cursor, enabling efficient extraction and conversion of mathematical content from TeX papers to Lean code.
An MCP server that enables secure terminal command execution, directory navigation, and file system operations through a standardized interface for LLMs.
An MCP server that allows AI assistants like Claude to execute terminal commands on the user's computer and return the output, functioning like a terminal through AI.