acl2-mcp
5137MCP server Claude CodeCodexCursor +2
MCP server "acl2-mcp" as configured in septract/acl2-mcp. Runs locally from the acl2-mcp Python package.
GEMINI.md context files, MCP servers, TOML commands under .gemini/commands, and the extensions that bundle them. 55,680 indexed, measured the same four ways as everything else here.
MCP server Claude CodeCodexCursor +2
MCP server "acl2-mcp" as configured in septract/acl2-mcp. Runs locally from the acl2-mcp Python package.
MCP server Claude CodeCodexCursor +2
MCP server "windbg-mcp" as configured in chensiling/Windbg-MCP. Runs locally from the windbg-mcp Python package.
knethteo/tenable-identity-exposure-mcp
MCP server Claude CodeCodexCursor +2
MCP server "tenable-tie-mcp" as configured in knethteo/tenable-identity-exposure-mcp. Runs locally from the tenable-tie-mcp Python package.
MCP server Claude CodeCodexCursor +2
MCP Server for All-Inkl.com hosting via KAS API. Runs locally from the mcp-all-inkl npm package.
iamnotagentleman/localizable-xcstrings-mcp
MCP server Claude CodeCodexCursor +2
MCP server "localizable-xcstrings-mcp" as configured in iamnotagentleman/localizable-xcstrings-mcp. Runs locally from the localizable-xcstrings-mcp Python package.
MCP server Claude CodeCodexCursor +2
MCP server "lolgpt" as configured in onepersonunicorn/lolgpt. Runs locally from the lolGPT Python package.
MCP server Claude CodeCodexCursor +2
MCP server for Microsoft SQL Server - query and manage your database with natural language in Cursor, Claude, and VS Code. Runs locally from the @eamonboyle/mssql-mcp npm package. Needs 8 environment variables to run.
MCP server Claude CodeCodexCursor +2
Query 6 search engines in Python. Runs locally from the web-search Python package.
ochen1/chrome-devtools-mcp-mux
MCP server Claude CodeCodexCursor +2
Drop-in chrome-devtools-mcp multiplexer: lets multiple MCP clients share one Chrome instance and profile, with per-client tab ownership so they don't step on each other's tabs. Runs locally from the chrome-devtools-mcp-mux npm package.
MCP server Claude CodeCodexCursor +2
A Semantic Type System for AI outputs — validate intent, not just shape. Runs locally from the semantix-ai Python package.
Monishkumarvr/agent-history-mcp
MCP server Claude CodeCodexCursor +2
MCP server "agent-history-mcp" as configured in Monishkumarvr/agent-history-mcp. Runs locally from the agent-history-mcp Python package.
MCP server Claude CodeCodexCursor +2
MCP server "drata-mcp" as configured in sderosiaux/drata-mcp. Runs locally from the drata-mcp Python package.
MCP server Claude CodeCodexCursor +2
MCP server "camunda-engine-mcp" as configured in maksdizzy/camunda-engine-mcp. Runs locally from the camunda-engine-mcp npm package.
MCP server Claude CodeCodexCursor +2
VibeGit MCP server for AI conversation logging and analysis. Runs locally from the vibegit-mcp Python package.
MCP server Claude CodeCodexCursor +2
Turn any OpenAPI/REST API into an MCP server in one command. Runs locally from the mcpify-cli Python package.
MCP server Claude CodeCodexCursor +2
MCP server exposing labgrid hardware-in-the-loop device operations to LLM agents. Runs locally from the labgrid-mcp Python package.
MCP server Claude CodeCodexCursor +2
NexMem: Shared Agent Memory for Teams — a plug-and-play MCP memory server with pluggable database backends. Runs locally from the mcp-nexmem Python package.
MCP server Claude CodeCodexCursor +2
MCP server exposing computer-use tools to LLMs. Runs locally from the @one710/computermate npm package.
MCP server Claude CodeCodexCursor +2
Lightweight code intelligence engine for AI agents. Dependency mapping, blast radius analysis, and call graph via MCP. Runs locally from the recon-mcp npm package.
MCP server Claude CodeCodexCursor +2
MCP server for project context integration - provides read-only filesystem operations for AI agents. Runs locally from the context-mcp Python package.
MCP server Claude CodeCodexCursor +2
MCP server for the OLX.ba marketplace API. Runs locally from the @omznc/olx-mcp npm package.
MCP server Claude CodeCodexCursor +2
Secure MCP server wrapping Google Gemini CLI — cross-platform, activity-based timeout, minimal token overhead. Runs locally from the @xjoker/gemini-cli-mcp npm package.
MCP server Claude CodeCodexCursor +2
MCP Server for Zendesk API with enhanced features. Runs locally from the @sshadows/zendesk-mcp-server npm package.
MCP server Claude CodeCodexCursor +2
Authentication & authorization for appium-mcp when hosted over SSE / HTTP Stream. Bearer API keys + OAuth JWT, scope-based authorization, per-caller session ownership — built entirely on the appium-mcp Plugin API (no core changes). Runs locally from the @appclaw/appium-mcp-auth npm package.