Create, open, list, or delete electronic design automation projects for formal verification, equivalence checking, power analysis, security verification, and FPGA design on the Arcas OnlineEDA platform.
Create and organize tags for tasks in the Task Master MCP server, enabling efficient categorization, task copying, and project management in AI-driven workflows.
A comprehensive and efficient Model Context Protocol server for task management that works with Claude, Cursor, and other MCP clients, providing powerful search, filtering, and organization capabilities across multiple file formats.