Facilitates the execution of Lean4 code in isolated Docker containers for LLM-powered agents, offering both transient and persistent environments.
All tools from misanthropic-ai/lean-docker-mcp are available through the Parfournir MCP Hub.
npx @parfournir/mcp-hub # All providers included automatically
misanthropic_ai_lean_docker_mcpFacilitates the execution of Lean4 code in isolated Docker containers for LLM-powered agents, offering both transient and persistent environments.
misanthropic_ai_lean_docker_mcpFacilitates the execution of Lean4 code in isolated Docker containers for LLM-powered agents, offering both transient and persistent environments.