Code Editors MCP

mcp-rocq

RoCQ (Coq Reasoning Server)

• 3
• 1
• 1

mcp-server-hello

A hello-world server for the Model Context Protocol

• 3
• 1
• 1

podman-mcp-server

Model Context Protocol (MCP) server for container runtimes (Podman and Docker)

• 2
• 1
• 1

mcp-sample-vsc-debug

Create sample MCP server and able to debug in VSCode

• 2
• 1
• 1

mcp-notify

A simple MCP server for sending desktop notifications.

• 2
• 1
• 1

MCP-Backup-Server

A Model Context Protocol (MCP) server implementation that provides file backup a...

• 2
• 1
• 1

bazel-mcp-server

MCP server for Bazel

• 2
• 1
• 1

mcp-client-server-demo

• 2
• 1
• 1

clj-kondo-MCP

• 1
• 1
• 1

apifox-mcp-server

基于MCP协议的获取ApiFox接口信息的服务

• 1
• 1
• 1

gotask-mcp

A Model Context Protocol (MCP) Server for go-task (https://taskfile.dev/)

• 1
• 1
• 1

cursor_self_meta

A stdio-based MCP Server implementation in Perl which gives cursor verbatim acce...

• 1
• 1
• 1

ProjectDocHelper

ProjectDocHelper is an MCP (Model Context Protocol) server designed to automatic...

• 1
• 1
• 1

strawhatai-dev

I am doing rapid R&D using AI, AI Agents, Claude MCP Servers and VS Code. My fin...

• 1
• 1
• 1

minimal-mcp-server

A minimal implementation of a Model Context Protocol (MCP) server

• 1
• 1
• 1

mcp-server-runner

Cursor extension to store MCP server configurations and run them

• 1
• 1
• 1

mcp_python_toolbox

A Model Context Protocol (MCP) server that provides a comprehensive set of tools...

• 1
• 1
• 1

mcp-config-manager

This package provides functionality to manage MCP server configurations for diff...

• 1
• 1
• 1

mcp-server-manager

• 1
• 1
• 1

mcp-kubernetes-server

A MCP (Model Context Protocol) server to enable Claude, Cursor and other AI tool...

• 0
• 1
• 1

css-mcp-server

• 0
• 1
• 1

typescript-definition-finder-mcp

A Model Context Protocol (MCP) server that helps AI code editors find TypeScript...

• 0
• 1
• 1

code-summarizer

A command-line tool and MCP server that summarizes code files using Gemini Flash...

• 0
• 1
• 1

ts-def-mcp

A Model Context Protocol (MCP) server that helps AI code editors find TypeScript...

• 0
• 1
• 1