Back to search
30
MCP

lean-docker-mcp

pypi/lean-docker-mcp

Dockerised Lean4 execution environment for AI agents

Uptime
0.0%
2 probes
Response
0ms
last probe
Tools
0
callable
Primary URL
—

Similar MCP servers embedding-nearest

latex-mcp
Enable AI agents to compile TeX files with LaTeX inside a Docker container.
0 tools
ccontext-mcp
MCP server for AI agents to manage project execution context
0 tools
docker/mcp-gateway
MCP Gateway for Agents
0 tools
lackey-mcp
Task chain management engine for AI agents with MCP integration
0 tools
lean-mcp
MCP server and client for Lean 4 + Mathlib formal verification
0 tools
mai-tai-mcp
MCP server for mai-tai AI agent collaboration platform
0 tools

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "lean-docker-mcp": {
      "url": "None",
      "transport": "http"
    }
  }
}