misanthropic-ai/lean-docker-mcp

MCP Lean 4 dockerised execution environment

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