mcphub.in
Loading languages...
LE

lean-docker-mcp

@misanthropic-ai

MCP Lean 4 dockerised execution environment

lean4
docker
ai-agent
execution-environment
mcp-server

# mcpServer Config 

{
  "mcpServers": {
    "lean-docker-mcp": {
      "command": "uvx",
      "args": [
        "lean-docker-mcp"
      ]
    }
  }
}

# stdio 

python -m lean_docker_mcp
Transport:
stdio
Language:
Python
Created:4/8/2025
Updated:4/17/2025
Homepage:
https://github.com/misanthropic-ai/lean-docker-mcp

Recommend MCP Servers 💡

lldb_mcp

lldb_mcp

stableversion

A proper, simple LLDB MCP server with minimal dependencies, supporting commands like lldb_init and lldb, working well with o4-mini and Gemini 2.5 Pro.

2025-04-24
Python

@ip2location/mcp-ip2location-io

ip2location

IP Geolocation MCP server using IP2Location.io API

2025-07-23
python
phxdev1/archy-mcp

phxdev1/archy-mcp

phxdev1

An MCP server that generates architectural diagrams using Mermaid syntax from text descriptions or GitHub repositories

2025-04-25
TypeScript
@mcphub/gateway

@mcphub/gateway

lightconetech

A gateway service that bridges stdio-based MCP implementations with HTTP/SSE-based MCP servers

2024-12-05
JavaScript
mcp-git-commit-aider

mcp-git-commit-aider

MrOrz

A TypeScript-based MCP server that enables tracking AI contributions by committing staged Git changes with "(aider)" appended to the committer name

2025-04-22
JavaScript
figma-mcp

figma-mcp

paulvandermeijs

MCP server for Figma that provides access to Figma files and design assets via standardized interface.

2025-07-05
Rust