JO
Recommend MCP Servers 💡
GXtract
sascharo
GXtract MCP Server for VS Code, forks and other editors; provides tools for interacting with GroundX
2025-07-23
lean-lsp-mcp
oOo0oOo
MCP server that allows agentic interaction with the Lean theorem prover via the Language Server Protocol using leanclient
2025-03-29
docker-mcp
QuantGeekDev
A powerful Model Context Protocol (MCP) server for Docker operations, enabling seamless container and compose stack management through Claude AI.
2024-12-04
@octomind/octomind-mcp
OctoMind-dev
An MCP server for octomind tools, resources and prompts
2025-07-23
mcp_code_executor
bazinga012
允许LLMs在指定Conda环境中执行Python代码的MCP服务器
2025-02-06
specbridge
TBosak
An MCP server that converts OpenAPI specifications into MCP tools by scanning a folder for spec files and auto-generating tools
2025-06-12
locale:ja t: 更新日 更新日