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.
Remove configuration for a specific MCP server from AI client applications like Cursor, Claude Desktop, or Windsurf to manage tool access and clean up unused server entries.
Retrieve audit logs from a Discord server to track user actions, filter by user or action type, and monitor server activity for moderation and administration purposes.
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.