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.
TypeScript-based MCP server designed to enhance code editing experiences by providing features such as hover information, code completion, and diagnostics.
Enables intelligent image analysis using GLM-4.5V model, specializing in extracting and analyzing code from screenshots with support for file paths and clipboard input.
Enables users to query ClinicalTrials.gov using natural language instead of complex API parameters, translating plain English requests into structured API calls and returning organized clinical trial data.
Enables semantic search and interaction with Fuel Network documentation and Sway Language resources within AI-powered development environments. It provides high-quality technical context using a local vector database to assist with smart contract development and FuelVM queries.