An MCP server that enables LLMs to evaluate Lisp expressions on a Symbolics Genera machine over TCP. It bridges JSON-RPC requests to the Genera environment to return evaluation results, stdout, and stderr.
Teaches AI coding agents how to reason correctly about MetaMask Embedded Wallets / Web3Auth architecture, SDK choice, key derivation, auth flows, and common integration pitfalls.
Godot 4 MCP server with:
Test running (GUT/GdUnit4) with structured pass/fail results
API docs search with 30+ Godot 3→4 migration mappings
Script analysis detecting 10 common GDScript pitfalls
Scene/resource file parsing with antipattern detection
Viewport screenshot capture
LSP diagnostics from Godot's language server
TypeScript, cross-platform (macOS/Windows/Linux), published on npm
Provides AI-enabled access to Amazon Business API documentation, sample code, and troubleshooting resources. Enables developers to search and retrieve API documentation, generate integration code, and get guided solutions for common errors during the API integration process.
MCP server that keeps language server sessions warm and routes multiple languages through one process. Agents get persistent cross-file awareness, speculative execution (simulate edits before writing to disk), and 20 skills that encode correct multi-step operations like safe rename, blast-radius analysis, and end-to-end refactoring. Single Go binary, no runtime dependencies.
A Model Context Protocol server that provides tools to find regex pattern positions in files and list allowed directories, enabling text analysis with LSP-like functionality.
Country-agnostic MCP-callable directory for AI agents to find local SMBs — realtors, insurance agents, medical practitioners — by category, location, or natural-language query. Returns business catalog data and UTM-tagged booking URLs (zero PII).
Enables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external search services.
Bridges Claude Code to Language Server Protocol (LSP) servers to enable semantic code intelligence features like navigation, refactoring, and real-time diagnostics. It supports multiple languages including TypeScript, Python, and Rust with multi-root workspace capabilities.
Enables AI assistants to analyze weld photos for quality scoring and identify common defects like porosity or undercut. It provides practical bead-building tips and technical guidance for MIG, TIG, and Stick welding processes based on AWS/ASME standards.
Enables one-click deployment of static websites and HTML files to IPFS through Pinme. Automatically detects common build directories (build, dist, out, .next), uploads to IPFS, and provides ENS URLs for accessing deployed sites.
An MCP server that emits OpenTelemetry traces, metrics, and logs to OTLP endpoints in various formats. It includes tool-mimicry profiles to generate realistic traffic resembling common tools like nginx, postgres, and AWS Lambda for testing and demonstration purposes.
Enables AI assistants to manage todo lists through natural language by creating, listing, updating, completing, and deleting tasks stored in Firebase Firestore. Supports custom system prompts for personalized task management workflows.
An MCP server that gives Claude Code full programmatic control over Manus.im through the official Manus API v2, implementing all documented endpoints and composite tools for common workflows.
An MCP server that enables LLMs to interact with MISP for threat intelligence sharing, IOC lookups, and event management. It provides tools for investigating indicators, discovering correlations, and exporting intelligence in formats like STIX and Suricata.
A Model Context Protocol server that enables AI assistants to interact directly with Warden-managed Magento 2 development environments, automating common tasks like project initialization, environment management, database operations, and Magento CLI commands.
Enables sending emails through SMTP with support for multiple recipients, attachments, CC/BCC, and both plain text and HTML formats. Includes preset configurations for common email providers like Gmail, QQ, Outlook, and 163.
A TypeScript-based MCP server that enables users to manage tasks through natural conversation with Claude. Features complete CRUD operations, priority management, tagging, search functionality, and intelligent productivity insights with robust Zod validation.