Dockerized Lean4 execution environment for AI agents
{ "command": "uvx", "args": [ "lean-docker-mcp" ] }