Proxy tool enables dynamic access to MCP servers by listing, retrieving detailed info, or calling tools, resources, and prompts. Provides a unified interface with JSON-encoded results for client interpretation.
Terminate the PureScript IDE server to release system resources after completing tasks like type checking or switching projects, disabling related IDE tools.
Retrieve and organize all available tools from connected MCP servers for toolset creation. Access detailed metadata and reference tools using 'namespacedName' or 'refId' for streamlined integration.
Search for MCP tools using keywords or regex patterns to identify available tools for specific tasks. Filter results by name, description, or both, and toggle case sensitivity.
Enables LLM-powered agents to generate, execute, and analyze Alloy modeling language code for software modeling and formal verification. Provides tools to run Alloy models, access documentation and examples, and generate models from system descriptions.
Enables searching for upcoming academic conferences and events from WikiCFP by keywords, returning detailed information including dates, locations, submission deadlines, and related resources.
Provides AI-powered tools to apply UX/UI best practices, Nielsen's heuristics, cognitive biases, and Material-UI patterns to React components. Enables automated application of responsive design, Apple design patterns, and complete UX guidelines through natural language commands.