lean-mcp
18265MCP server Claude CodeCodexCursor +2
MCP server and client for Lean 4 + Mathlib formal verification. Runs locally from the lean-mcp Python package. Needs 1 environment variable to run.
55,413 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 and client for Lean 4 + Mathlib formal verification. Runs locally from the lean-mcp Python package. Needs 1 environment variable to run.
MCP server Claude CodeCodexCursor +2
MCP server "geant4-simulation" as configured in abhich2507/geant4-mcp. Runs in Docker (/workspace/mcp_server.py). Needs 1 environment variable to run.
rc-ventura/fantasy-gamebook-engine
MCP server Claude CodeCodexCursor +2
MCP server "gamebook" as configured in rc-ventura/fantasy-gamebook-engine. Runs locally from the python Python package.
MCP server Claude CodeCodexCursor +2
MCP server "gemini-mcp-server" as configured in salviz/gemini-mcp-server. Runs locally from the @salviz/gemini-mcp-server npm package.
MCP server Claude CodeCodexCursor +2
MCP server "gitlab-server" as configured in Foxhunt/gitlab-mcp-server. Runs locally from the gitlab-server npm package.
JacobStephens2/magisterium-mcp-server
MCP server Claude CodeCodexCursor +2
MCP server "magisterium-mcp-server" as configured in JacobStephens2/magisterium-mcp-server. Runs locally from the magisterium-mcp-server npm package.
MCP server Claude CodeCodexCursor +2
MCP server "simple-outlook-mcp" as configured in Ricardoran/simple-outlook-mcp. Runs locally from the simple-outlook-mcp npm package.
MCP server Claude CodeCodexCursor +2
MCP server for Yandex Cloud — compute, storage, serverless infrastructure (Russia). Runs locally from the @theyahia/yandex-cloud-mcp npm package.
MCP server Claude CodeCodexCursor +2
Azure PIM role activation library and MCP server - activate roles programmatically or via AI assistants. Runs locally from the pim-me-mcp npm package.
MCP server Claude CodeCodexCursor +2
MCP server "hypothesis-mcp" as configured in imankgoyal/hypothesis-mcp. Runs locally from the hypothesis-mcp Python package.
MCP server Claude CodeCodexCursor +2
A Bilibili Video MCP Server. Runs locally from the mcp-server-bilibili npm package.
MCP server Claude CodeCodexCursor +2
MCP server "ask-user-mcp-app" as configured in ergunsh/ask-user-mcp-app. Runs locally from the ask-user-mcp-app npm package.
MCP server Claude CodeCodexCursor +2
MCP server "tamacodechi" as configured in preptique/tamacodechi. Runs locally from the tamacodechi npm package.
MCP server Claude CodeCodexCursor +2
MCP server "tinytask" as configured in ericroliver/tinytask. Runs locally from the tinytask npm package.
MCP server Claude CodeCodexCursor +2
MCP server "multimodal-imessage-mcp" as configured in tszaks/imessage-mcp. Runs locally from the multimodal-imessage-mcp npm package.
MCP server Claude CodeCodexCursor +2
MCP server for Overleaf integration - read LaTeX files, analyze document structure, and manage Overleaf projects via Git. Runs locally from the @markfu909/overleaf-mcp npm package.
MCP server Claude CodeCodexCursor +2
CodeGuardian MCP - Automated Quality Assurance for Vibe Coding with AI Hallucination Prevention. Runs locally from the codeguardian-mcp npm package.
MCP server Claude CodeCodexCursor +2
MCP server "skills-search-mcp" as configured in artur282/skills-mcp. Runs locally from the skills-search-mcp Python package.
MCP server Claude CodeCodexCursor +2
MCP server "arxivsmart" as configured in florianbuetow/arxiv-smart-mcp. Runs locally from the arxivsmart Python package.
jus1-c/mem-forensics-mcp-server
MCP server Claude CodeCodexCursor +2
MCP server "mem-forensics-mcp-server" as configured in jus1-c/mem-forensics-mcp-server. Runs locally from the mem-forensics-mcp-server Python package.
MCP server Claude CodeCodexCursor +2
MCP server for Oura API integration. Runs locally from the oura-mcp-server Python package.
MCP server Claude CodeCodexCursor +2
MCP server "apple-music-mcp" as configured in Pallas-Labs/apple-music-mcp. Runs locally from the @pallas-labs/apple-music-mcp npm package.
MCP server Claude CodeCodexCursor +2
MCP server "ppt-processor" as configured in HADDADSOHAIB/ppt-mcp-server. Launched with /Users/haddad/ppt-mcp-server/run_mcp_server.sh. Needs 1 environment variable to run.
MCP server Claude CodeCodexCursor +2
MCP server for SwitchBot API — control devices by name, no IDs exposed. Runs locally from the ruru-swbot-mcp npm package.