Facilitates the execution of Lean4 code in isolated Docker containers for LLM-powered agents, offering both transient and persistent environments.
Browse this MCP server in the TensorBlock MCP Index.