"Common Lisp" matching MCP servers:

Enables any MCP client to evaluate Wolfram Language code in a persistent local Mathematica or Wolfram Engine kernel, export results to common file formats, and inspect or manage kernel status without cloud APIs, API keys, or runtime dependencies.

Enables AI agents to autonomously write, run, and debug NASA GMAT mission scripts, with tools for script execution, curated knowledge of common pitfalls, and semantic documentation search.

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.

Exposes TypeScript Language Server Protocol functionality to AI agents, enabling them to query types at specific positions, find definitions and references, get diagnostics, run type tests, and type-check inline code just like in an IDE.

A lightweight server that provides curated, high-quality prompts for common development tasks like UI/UX design, project setup, and debugging to enhance AI-powered development workflows.

It lets MCP clients evaluate a single Emacs Lisp form in an already-running Emacs instance through one tool, enabling agents to discover and invoke built-in, package, and user-defined capabilities from the live runtime.

A centralized Model Context Protocol server that provides common development tools (like formatting and translation) across all your Cline projects without needing to install them individually.

Enables AI agents to control Ableton Live by evaluating arbitrary Python code and using predefined tools for common tasks, supporting voice and text commands for music production.

An MCP server that exposes Language Server Protocol features to external clients, allowing access to hover information, definitions, completions, references, and rename functionalities.

Provides coding tutoring by running checks for common programming tasks (palindrome, prime, Fibonacci, GCD, etc.) and explaining the results in plain language.

Enables LLMs to execute Python code and scripts, manage Python environments and packages, and read or write files within an isolated working directory. It also provides prompt templates for common Python tasks such as function creation, refactoring, and debugging.

Enables LLMs to run Python code and scripts, manage Python environments and packages, and read or write files within an isolated working directory. It also provides prompts for common Python tasks such as function creation, refactoring, and debugging.

Enables LLMs to manage Python environments and packages, execute Python code or scripts, and read or write files within a secured working directory. It also provides prompts for common Python tasks such as function creation, refactoring, and debugging.

Enables LLMs to run Python code and scripts across available environments, manage packages, and read/write files within a secured working directory. It also provides prompts and resources for common Python development tasks.

Enables LLMs to manage Python environments, execute code and scripts, install packages, and read/write files within an isolated working directory. It also provides prompts for common tasks such as function creation, refactoring, and debugging.

Dynamically converts any REST service's OpenAPI specification into MCP tools, enabling interaction with REST endpoints through natural language. Supports Spring Boot services and includes auto-discovery for common API configurations.

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.

A collection of production-ready MCP tools for common tasks such as web search, code execution, file operations, and database queries, enabling AI agents to perform these actions through a unified interface.

Remote MCP server executor on Cloudflare Workers that runs Python-based tools from GitHub repos via a lightweight TypeScript interpreter, supporting requests and common builtins.

MCP server for agentic interaction with the Lean theorem prover via LSP, providing tools for understanding, analyzing, and interacting with Lean projects.

A multi-language code analysis server that helps LLMs or humans automatically lint, type-check, and improve code with minimal installation friction, currently supporting Python with plans for other languages.