z3smt-mcp
16729MCP server Claude CodeCodexCursor +2
MCP server for Z3/SMT solver - enables constraint solving and logical reasoning. Runs locally from the z3smt-mcp Python package.
55,407 that install into Cursor. Same mod, same page, whichever agent you run: a URL per tool would split one page into five that compete.
MCP server Claude CodeCodexCursor +2
MCP server for Z3/SMT solver - enables constraint solving and logical reasoning. Runs locally from the z3smt-mcp Python package.
MCP server Claude CodeCodexCursor +2
MCP server for the Rentalot API — manage rental properties, contacts, showings, and more from AI assistants. Runs locally from the @rentalot/mcp-server npm package.
MCP server Claude CodeCodexCursor +2
MCP server providing full access to the Coda API v1. Runs locally from the coda-io-mcp npm package.
MCP server Claude CodeCodexCursor +2
MCP server brasileiro, privacy-first, CNPJ alfanumérico-ready. 14 utilities offline + 5 lookups online (CEP, banco, DDD, IBGE, cotação) para devs BR. Runs locally from the brasil-mcp-essentials Python package.
MCP server Claude CodeCodexCursor +2
MCP server for orchestrating multi-process rr debugging sessions. Runs locally from the rr-mcp Python package.
MCP server Claude CodeCodexCursor +2
MCP server for TestIT (WorkItems, TestRuns, TestPlans). Runs locally from the testit-mcp-server npm package.
MCP server Claude CodeCodexCursor +2
MCP server for Juno (junobuild) - manage satellites, hosting, functions, snapshots and more. Runs locally from the junobuild-mcp-server npm package.
MCP server Claude CodeCodexCursor +2
MCP server "soundraw-game-bgm" as configured in yksanjo/soundraw-game-bgm. Runs locally from the soundraw-game-bgm npm package.
ccollicutt/mcp-makefile-server
MCP server Claude CodeCodexCursor +2
MCP server "mcp-makefile-server" as configured in ccollicutt/mcp-makefile-server. Runs locally from the mcp-makefile-server Python package.
MCP server Claude CodeCodexCursor +2
MCP server "mcp-auth" as configured in Jason-CKY/mcp-auth. Runs locally from the mcp-auth Python package.
mister-good-deal/host-mcp-jenkins
MCP server Claude CodeCodexCursor +2
Local MCP server for Jenkins — replicates the Jenkins MCP Server Plugin by calling Jenkins REST API, no plugin installation required. Runs locally from the @mister-good-deal/host-mcp-jenkins npm package.
alanse-inc/clickup-multi-mcp-server
MCP server Claude CodeCodexCursor +2
ClickUp MCP Server with Multi-Workspace Support - Integrate multiple ClickUp workspaces with AI through Model Context Protocol. Runs locally from the @alanse/clickup-multi-mcp-server npm package.
mokemokechicken/yfinance-mcp-server
MCP server Claude CodeCodexCursor +2
unofficial Yahoo Finance API MCP Server - A Model Context Protocol server implementation for Yahoo Finance API. Runs locally from the @mokemokechicken/yfinance-mcp-server npm package.
Diegoescalonaro/local-kms-mcp-server
MCP server Claude CodeCodexCursor +2
Production-ready MCP server for secure per-agent key management (Ed25519, ECDSA, and more) with a local file-based keystore. Runs locally from the local-kms-mcp-server npm package.
MCP server Claude CodeCodexCursor +2
zenn articles & its MCP Server. Runs locally from the @sakupi01/zenn-articles npm package.
MCP server Claude CodeCodexCursor +2
MCP server wrapping MiniMax AI as autonomous code executor with agent loop for Claude Code. Runs locally from the my-minimax-mcp npm package.
MCP server Claude CodeCodexCursor +2
MCP server that stops AI agents from breaking DB schemas and config files. Diff, risk-flag, and require explicit confirmation before any write. Runs locally from the safe-migrations-mcp Python package.
AlexlaGuardia/MCP-Activecampaign
MCP server Claude CodeCodexCursor +2
Production-grade MCP server for the ActiveCampaign API — 65 tools for contacts, deals, automations, tags, pipelines, campaigns, notes, tasks, event tracking, ecommerce, lead scoring, segments, forms, goals, and templates. Runs locally from the mcp-activecampaign Python package.
MCP server Claude CodeCodexCursor +2
WikiJS MCP Server. Runs locally from the @cahaseler/wikijs-mcp npm package.
MCP server Claude CodeCodexCursor +2
MCP server "telegram-mcp" as configured in VovaVindar/telegram-mcp. Launched with .venv/bin/fastmcp run telegram_mcp_server.py.
MCP server Claude CodeCodexCursor +2
MCP server "mymore" as configured in Dante926/mymore. Runs in Docker. Needs 1 environment variable to run.
MCP server Claude CodeCodexCursor +2
MCP server that exposes Odoo database records to LLMs via Model Context Protocol. Runs locally from the odoorpc-mcp Python package.
MCP server Claude CodeCodexCursor +2
MCP server that provides AI coding agents with synthesized engineering context from SDLC tools. Runs locally from the devscontext Python package.
MCP server Claude CodeCodexCursor +2
MCP server "mcp-eplus-outputs" as configured in msweeney-pnnl/eplusout-mcp. Runs locally from the mcp-eplus-outputs Python package.