"Common Lisp" matching MCP servers:

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.

Enables managing a local supplier directory with contacts, payment terms, lead times, and review stamps, including adding, updating, searching, exporting, and tracking stale records.

MCP server that lets AI assistants read and query Dwarf Fortress world legends: search events, objects, and properties, or read summaries and base rates to distinguish real patterns from common traits.

Connects MISP to MCP clients, enabling threat indicator lookups and submissions in plain language.

Enables LLM agents to fetch live Yandex Market data via plain HTTP, with honest labeling of prices (pay-card vs plain vs discounted), sponsored tiles, seller and model-group ratings, reviews, questions, and seller legal details. It avoids common scraped-data traps such as misleading discounts, captcha pages, and cross-border or conditional offers.

A local-first MCP server that indexes code repositories and enables AI assistants to search, fetch, and navigate code using BM25 hybrid retrieval, supporting common languages and tools like Codex and ChatGPT.

Gives AI assistants read-only access to the Plugolis directory so users can search for MCP servers with install commands and ready-to-paste configs, and look up step-by-step fixes for common MCP errors.

MCP server for Grocy that enables AI assistants to read and manage pantry stock, product catalogs, and shopping lists, with safety checks against common errors.

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).

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 read-only Model Context Protocol server that lets an AI agent answer questions about unit balances, overdue fees and common-area bookings for the signed-in user. Row Level Security and a read-only database role scope every answer to that person's building and unit, so staff, residents and other tenants see only what they are allowed to see.

Enables users to perform common laboratory calculations—reconstitution concentration, unit conversion, C1V1 dilution, molarity, percent w/v, and serial dilution—through MCP tools, with input validation and no network calls or stored data.

Enables agents and users to validate Kubernetes manifests (YAML/JSON, multi-document) against the API of a chosen Kubernetes version without needing a cluster. It reports removed or deprecated APIs with replacements, unknown or misspelt fields, misconfigurations the API server would reject, Pod Security Standard violations, and common risks, each with file, line, and fix.

A Model Context Protocol server that connects to a WISP game panel, letting AI clients inspect and manage game servers (state, files, console, backups, databases) with read-only defaults and opt-in capabilities.

An MCP server for rendering common ECharts visualizations from structured tool arguments, exposing per-chart opener tools that map to independent HTML app resources.

A curated Islamic MCP server for AI agents. It returns Quran verses in Arabic with the Pickthall English translation, 440 du'as with source and grading where recorded, and the 99 Names of Allah. Every response instructs the agent to quote sacred text exactly. The server recognises common crisis and abuse phrasing and returns curated support resources alongside the answer.

A MCP server that provides timezone-aware date and time operations. This server addresses the common issue where AI assistants provide incorrect date information due to timezone confusion.

Enables AI agents to read chain data, execute transactions, swap tokens, and manage wallets on Solana through 38 tools across 7 modules. Supports write operations with a private key and includes built-in prompts for common workflows.

Enables coding agents to perform advisory runtime safety checks by inspecting proposed file paths and shell commands, tracking caller budgets, detecting repeated actions, and masking common credentials in output without executing commands or opening target files.

Verified, version-pinned records of new dependency bugs. When your coding agent hits an error it cannot fix in one try, it looks the error up here before searching the web: on 56 fresh bugs it said correctly whether the bug was known or fixed 91% of the time with Cairn, 68% without. Read-only by default. Benchmark and data (CC BY 4.0): https://cairncommons.dev/benchmark

MCP server that tells AI assistants when a Mercedes-Benz is due for Service A or B, explains what each service covers, gives cautious guidance on common warning lights, and shares contact details for SilberArrows, an independent Mercedes-Benz specialist in Al Quoz, Dubai.

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.

Enables agents to search and validate electronic parts from the DigiKey catalog, compare alternatives, and prepare or update private MyLists with current pricing, stock, MOQ, and packaging details for human-reviewed checkout.

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

A Model Context Protocol server that provides tools to interact with Adobe Experience Manager instances, allowing users to manage packages, check status, create pages, replicate content, and perform other common AEM development tasks.

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.

AI-powered Kubernetes diagnostics that analyzes pod crashes, logs, and cluster health to provide root cause analysis and actionable solutions for common issues like CrashLoopBackOff, OOM kills, and connection errors.

Enables WhatsApp Business messaging through Evolution API with support for creating instances, sending messages using dynamic templates, and managing contacts and groups. Includes 10+ predefined message templates for common business scenarios like order confirmations, appointment reminders, and promotional messages.

Lets multiple AI agents and parallel coding sessions share one memory and task ledger, so they can claim work instead of duplicating it, resume each other's handoffs and reasoning, and use credentials without ever seeing the keys. Connects assistants such as Claude Code, Codex, Cursor, Gemini, ChatGPT and custom agents over MCP, backed by a single local SQLite file or a self-hosted Postgres hub.

Adds interactive widgets to LLM chats for common tasks like timers, stopwatches, unit conversions, and displaying facts. Breaks away from text-only interfaces by providing visual, interactive components similar to Google's search result widgets.