View and list bugs for a specific product in ZenTao project management. Requires product ID from zentao_products_list to display issues with pagination control.
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.
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.
Enables interaction with ZenTao bug tracking system to search products, query assigned bugs, view bug details with extracted images, and mark bugs as resolved through natural language commands.
An MCP server that enables secure terminal command execution, directory navigation, and file system operations through a standardized interface for LLMs.