MCPHUB LogoMCPHUB
Back to directory
lean-docker-mcp

lean-docker-mcp

@misanthropic-ai1

A Dockerized Lean4 execution environment MCP server for AI agents, providing isolated code execution with transient or persistent environments.

lean4dockerai-agentexecution-environmentmcp-servertool

Installation & Configuration

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

Information

Transport
stdio
Language
Python
Created
2025/4/7
Updated
2026/6/7
Homepage
https://github.com/misanthropic-ai/lean-docker-mcp