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.
Retrieve logs from an AppRun application on Sakura Cloud MCP Server by specifying the app ID, log offset, and entry limit for efficient monitoring and troubleshooting.
Retrieve console logs from the Vite Dev server to monitor real-time updates. Specify checkpoints or limit the number of logs to focus on relevant debugging information.
Enables users to control the cursor in Figma through verbal commands using an agentic AI agent, streamlining the design process with a new interaction method.
An MCP server that enables secure terminal command execution, directory navigation, and file system operations through a standardized interface for LLMs.
Enables Cursor AI to communicate with Figma for reading designs and modifying them programmatically, allowing users to automate design tasks through natural language.