misanthropic-ai/lean-docker-mcp

MCP Lean 4 dockerised execution environment

This repository also configures its own agents. See what lean-docker-mcp tells them →

2Stars on the repository
3Mods indexed here, across every type
1y agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

ddg-mcp

01

misanthropic-ai/lean-docker-mcp

MCP server Claude CodeCodexCursor +2

One of 2 in .mcp.json

DuckDuckGo search API MCP. Runs locally from the ddg-mcp Python package.

not rated 2 1y ago A tokens not measured original MIT

lean-mcp

02

misanthropic-ai/lean-docker-mcp

MCP server Claude CodeCodexCursor +2

One of 2 in .mcp.json

MCP server "lean-mcp" as configured in misanthropic-ai/lean-docker-mcp. Runs locally from the python Python package. Needs 6 environment variables to run.

not rated 2 1y ago A tokens not measured original MIT