Chiasmus is an MCP server that gives language models access to formal verification

Atari Lynx emulator, debugger, and embedded MCP server for macOS, Windows, Linux, BSD and RetroArch.

Home Assistant MCP server agent. Enable Claude Code, Cursor, VS Code or any MCP-enabled IDE to help you vibe-code and manage Home Assistant: create and debug automations, design dashboards, tweak themes, modify configs, and deploy changes using natural language

The most powerful MCP Server for Metabase - 111+ tools for AI SQL generation, dashboard automation & enterprise BI. Works with Claude, Cursor, ChatGPT.

AI-powered browser automation MCP server for Claude Code. Navigate, click, screenshot, test — all from your terminal.

Natural Context Provider (NCP). Your MCPs, supercharged. Find any tool instantly, load on demand, run on schedule, ready for any client. Smart loading saves tokens and energy.

Structural code intelligence for AI agents — semantic search, knowledge graphs, and a built-in MCP server in one Rust binary. Give Claude, Cursor, and any MCP client a deep understanding of your codebase.

HexStrike AI MCP Agents is an advanced MCP server that lets AI agents (Claude, GPT, Copilot, etc.) autonomously run 150+ cybersecurity tools for automated pentesting, vulnerability discovery, bug bounty automation, and security research. Seamlessly bridge LLMs with real-world offensive security capabilities.

MCP server for guiding Coding Agents via end-to-end requirements to implementation plan pipeline

Local RAG MCP server for Claude Code — hybrid search (semantic + BM25), cross-encoder reranking, 13 MCP tools, 20 format parsers. Zero external servers, zero API keys.

Local codebase intelligence CLI + MCP server for AI coding agents: SQLite code graph, 28 languages, 287 commands, 246 MCP tools, change-safety gates, audit evidence, zero API keys.

Self-hosted AI agent harness in a single Go binary — writes, sandbox-tests and repairs its own tools, and lets Claude Code, Codex and any MCP client build and share them.

Self-hosted memory server for AI agents. Your brain is a git repo, served over MCP and REST.

A powerful command-line interface for Redmine, enhanced with first-class AI agent capabilities via Skills and MCP integration.

CLI, MCP server, and npm library that turns any website into an API — no docs, no SDK, no browser.

Tiger CLI is the command-line interface for Tiger Cloud. It includes an MCP server for helping coding agents write production-level Postgres code.

Powerful CLI and MCP server for WorkFlowy: reports, search/replace, backup support, and AI integration (Claude, LLMs)

Unofficial API for Yahoo Finance with CLI, MCP and Agent Skill

Real-time Slack ingest and MCP server to power your agentic Slack bots

Local code intelligence MCP server and CLI for AI coding agents

TDA - Thread Dump Analyzer (for Java). Analyze your Thread Dumps with a GUI or use it as MCP Server.

Context-Engine MCP - Agentic Context Compression Suite

Correction-first persistent memory for AI agents. MCP server + SDK + CLI. Compounds across sessions.

MCP server that lets your AI assistant remember everything about your home.